Proceedings of the 33rd Conference on Object-Oriented Programming, Systems, Languages and Applications
OOPSLA, 2018.

@proceedings{OOPSLA-2018,
	journal       = "{Proceedings of the ACM on Programming Languages}",
	month         = "November",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 33rd Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	volume        = 2,
	year          = 2018,
}

Contents (60 items)

OOPSLA-2018-CohenAL #memory management #object-oriented

Object-oriented recovery for non-volatile memory (NC, DTA, JRL), p. 22.

OOPSLA-2018-BezansonCCKSVZ #design #named #performance

Julia: dynamism and performance reconciled by design (JB, JC, BC, SK, VBS, JV, LZ), p. 23.

OOPSLA-2018-XuCBZY #implementation #jit #named #process

ShareJIT: JIT code cache sharing across processes and its practical implementation (XX, KC, JB, YZ, HY), p. 23.

OOPSLA-2018-Cohen #data type #memory management

Every data structure deserves lock-free memory reclamation (NC), p. 24.

OOPSLA-2018-DegenbaevEHHLP #component #garbage collection

Cross-component garbage collection (UD, JE, KH, MH, ML, HP), p. 24.

OOPSLA-2018-EzudheenND0M #contract #invariant #learning

Horn-ICE learning for synthesizing invariants and contracts (PE, DN, DD, PG0, PM), p. 25.

OOPSLA-2018-MeierRG #design #parallel #programming language #virtual machine

Virtual machine design for parallel dynamic programming languages (RM, AR, TRG), p. 25.

OOPSLA-2018-PradelS #approach #debugging #detection #learning #named

DeepBugs: a learning approach to name-based bug detection (MP, KS), p. 25.

OOPSLA-2018-VazouTH #type inference

Gradual liquid type inference (NV, ÉT, DVH), p. 25.

OOPSLA-2018-WangCB #query #reasoning #relational

Speeding up symbolic reasoning for relational queries (CW, AC, RB), p. 25.

OOPSLA-2018-ZhuH #algebra

Conflict resolution for structured merge via version space algebra (FZ, FH), p. 25.

OOPSLA-2018-AlimadadiZMT #javascript #source code

Finding broken promises in asynchronous JavaScript programs (SA, DZ, MM, FT), p. 26.

OOPSLA-2018-AlpernasFFRSSW #data flow #information management #using

Secure serverless computing using dynamic information flow control (KA, CF, SF, LR, MS, TS, KW), p. 26.

OOPSLA-2018-BarowyBZ #automation #fault #named #spreadsheet

ExceLint: automatically finding spreadsheet formula errors (DWB, EDB, BGZ), p. 26.

OOPSLA-2018-BornholtT #evaluation #symbolic computation

Finding code that explodes under symbolic evaluation (JB, ET), p. 26.

OOPSLA-2018-DietzA #library #multi

Software multiplexing: share your libraries and statically link them too (WD, VSA), p. 26.

OOPSLA-2018-LiZ #framework #security

A derivation framework for dependent security label inference (PL, DZ), p. 26.

OOPSLA-2018-BrachthauserSO

Effect handlers for the masses (JIB, PS, KO), p. 27.

OOPSLA-2018-FelteyGSFS #contract #type system

Collapsible contracts: fixing a pathology of gradual typing (DF, BG, CS, RBF, VSA), p. 27.

OOPSLA-2018-GrechKJBSS #contract #named

MadMax: surviving out-of-gas conditions in Ethereum smart contracts (NG, MK, AJ, LB, BS, YS), p. 27.

OOPSLA-2018-KakiESJ #bound #concurrent #replication #verification

Safe replication through bounded concurrency verification (GK, KE, KCS, SJ), p. 27.

OOPSLA-2018-NardelliBPCBV #re-engineering #type system

Julia subtyping: a rational reconstruction (FZN, JB, AP, BC, JB, JV), p. 27.

OOPSLA-2018-RaadV #memory management #persistent #semantics

Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model (AR, VV), p. 27.

OOPSLA-2018-RamaKS #analysis #points-to #refinement #slicing

Refinement in object-sensitivity points-to analysis via slicing (GMR, RK, HS), p. 27.

OOPSLA-2018-SelakovicPKT #generative #higher-order #testing

Test generation for higher-order functions in dynamic languages (MS, MP, RK, FT), p. 27.

OOPSLA-2018-WangWD #relational #synthesis

Relational program synthesis (YW, XW, ID), p. 27.

OOPSLA-2018-BlackshearGOS #composition #concurrent #detection #named

RacerD: compositional static race detection (SB, NG, PWO, IS), p. 28.

OOPSLA-2018-BurckhardtC

Reactive caching for composed services: polling at the speed of push (SB, TC), p. 28.

OOPSLA-2018-KoppelPS #incremental #parametricity #syntax

One tool, many languages: language-parametric transformation with incremental parametric syntax (JK, VP, ASL), p. 28.

OOPSLA-2018-LeeHJLRL #low level #optimisation

Reconciling high-level optimizations and low-level code in LLVM (JL, CKH, RJ0, ZL, JR, NPL), p. 28.

OOPSLA-2018-MayerKC #bidirectional #evaluation

Bidirectional evaluation with direct manipulation (MM, VK, RC), p. 28.

OOPSLA-2018-MendisA #framework #named #parallel

goSLP: globally optimized superword level parallelism framework (CM, SPA), p. 28.

OOPSLA-2018-OzkanMNBW #distributed #probability #random #testing

Randomized testing of distributed systems with probabilistic guarantees (BKO, RM, FN, MTB, GW), p. 28.

OOPSLA-2018-PadhiJPPGM #framework #named

FlashProfile: a framework for synthesizing data profiles (SP, PJ0, DP, OP, SG, TDM), p. 28.

OOPSLA-2018-VeduradaN #identification #refactoring #subclass

Identifying refactoring opportunities for replacing type code with subclass and state (JV, VKN), p. 28.

OOPSLA-2018-AbdullaAJN #model checking #semantics

Optimal stateless model checking under the release-acquire semantics (PAA, MFA, BJ, TPN), p. 29.

OOPSLA-2018-BielikFV #android #layout #relational #robust #synthesis

Robust relational layout synthesis from examples for Android (PB, MF, MTV), p. 29.

OOPSLA-2018-GongCS0SWMPVNT #compilation #empirical

An empirical study of the effect of source-level loop transformations on compiler stability (ZG, ZC0, JJS, DCW0, ZS, NW, SM, DAP, AVV, AN, JT), p. 29.

OOPSLA-2018-JeonJO #analysis #data-driven #points-to #precise #scalability

Precise and scalable points-to analysis via data-driven context tunneling (MJ, SJ, HO), p. 29.

OOPSLA-2018-KalhaugeP #concurrent #predict

Sound deadlock prediction (CGK, JP), p. 29.

OOPSLA-2018-LiTMS #analysis #context-sensitive grammar #pointer

Precision-guided context sensitivity for pointer analysis (YL0, TT0, AM, YS), p. 29.

OOPSLA-2018-MathurK0 #concurrent #detection #power of #predict #what

What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection (UM, DK, MV0), p. 29.

OOPSLA-2018-MuehlboeckT #type system

Empowering union and intersection types with integrated subtyping (FM, RT), p. 29.

OOPSLA-2018-OuD #comprehension #cost analysis #towards

Towards understanding the costs of avoiding out-of-thin-air results (PO, BD), p. 29.

OOPSLA-2018-SousaDL

Verified three-way program merge (MS, ID, SKL), p. 29.

OOPSLA-2018-SzaboBEV #analysis #datalog

Incrementalizing lattice-based program analyses in Datalog (TS, GB, SE, MV), p. 29.

OOPSLA-2018-WilliamsMW #contract #using

The root cause of blame: contracts for intersection and union types (JW, JGM, PW), p. 29.

OOPSLA-2018-AntwerpenPRV

Scopes as types (HvA, CBP, AR, EV), p. 30.

OOPSLA-2018-BostonGC #execution #fault tolerance #hardware #modelling #named #programmable #verification

Leto: verifying application-specific hardware fault tolerance with programmable execution models (BB, ZG, MC), p. 30.

OOPSLA-2018-ChouKA #abstraction #algebra #compilation

Format abstraction for sparse tensor algebra compilers (SC, FK, SPA), p. 30.

OOPSLA-2018-DalozeTMMP #parallel

Parallelization of dynamic languages: synchronizing built-in collections (BD, AT, SM, HM, EP), p. 30.

OOPSLA-2018-DesaiPQS #composition #distributed #programming #testing

Compositional programming and testing of dynamic distributed systems (AD, AP, SQ, SAS), p. 30.

OOPSLA-2018-DrechslerMSM #programming #thread

Thread-safe reactive programming (JD, RM, GS, MM), p. 30.

OOPSLA-2018-FaesG #object-oriented #programming

Concurrency-aware object-oriented programming with roles (MF, TRG), p. 30.

OOPSLA-2018-LeeSSO #automation #fault #functional #logic #programming

Automatic diagnosis and correction of logical errors for functional programming assignments (JL, DS, SS, HO), p. 30.

OOPSLA-2018-LeissaBHPMSMS #framework #library #named #partial evaluation #programming

AnyDSL: a partial evaluation framework for programming high-performance libraries (RL, KB, SH, APG, RM, PS, AM, BS), p. 30.

OOPSLA-2018-WeisenburgerKS #development #distributed

Distributed system development with ScalaLoci (PW, MK, GS), p. 30.

OOPSLA-2018-WongMLK #bytecode #execution #performance #program transformation

Faster variational execution with transparent bytecode transformation (CPW, JM, LL, CK), p. 30.

OOPSLA-2018-ZhangYBKSA #domain-specific language #graph #named

GraphIt: a high-performance graph DSL (YZ, MY, RB, SK, JS, SPA), p. 30.

OOPSLA-2018-OttLCLB #named #programming

BioScript: programming safe chemistry on laboratories-on-a-chip (JO, TL, CC, ML, PB), p. 31.