Proceedings of the 32nd Conference on Object-Oriented Programming, Systems, Languages and Applications
OOPSLA, 2017.

@proceedings{OOPSLA-2017,
	journal       = "{Proceedings of the ACM on Programming Languages}",
	month         = "October",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 32nd Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	volume        = 1,
	year          = 2017,
}

Contents (66 items)

OOPSLA-2017-SantolucitoZDSP #learning #specification

Synthesizing configuration file specifications with association rule learning (MS, EZ, RD, AS, RP), p. 20.

OOPSLA-2017-AdamsenMT #concurrent #detection #javascript #web

Practical initialization race detection for JavaScript web applications (CQA, AM, FT), p. 22.

OOPSLA-2017-RiceAJJPA #detection #fault

Detecting argument selection defects (AR, EA, CJ, EJ, MP, YAP), p. 22.

OOPSLA-2017-BaumanBST #type system

Sound gradual typing: only mostly dead (SB, CFBT, JGS, STH), p. 24.

OOPSLA-2017-CohenFL #memory management #performance #protocol

Efficient logging in non-volatile memory by exploiting coherency protocols (NC, MF, JRL), p. 24.

OOPSLA-2017-HajjJMH

SAVI objects: sharing and virtuality incorporated (IEH, TBJ, DSM, WMWH), p. 24.

OOPSLA-2017-MadsenLT #javascript #reasoning

A model for reasoning about JavaScript promises (MM, OL, FT), p. 24.

OOPSLA-2017-Reid #architecture #specification #validation

Who guards the guards? formal validation of the Arm v8-m architecture specification (AR), p. 24.

OOPSLA-2017-RingerGST #generative

A solver-aided language for test input generation (TR, DG, DSN, ST), p. 24.

OOPSLA-2017-AdamsM #automaton #strict

Restricting grammars with tree automata (MDA, MM), p. 25.

OOPSLA-2017-CelikPKG #bound #generative

Bounded exhaustive test-input generation on GPUs (AÇ, SP, SK, MG), p. 25.

OOPSLA-2017-ChaeOHY #automation #generative #heuristic #learning #program analysis

Automatically generating features for learning program analysis heuristics for C-like languages (KC, HO, KH, HY), p. 25.

OOPSLA-2017-KristensenM #testing #typescript

Type test scripts for TypeScript testing (EKK, AM), p. 25.

OOPSLA-2017-LiuMM #virtual machine

A volatile-by-default JVM for server applications (LL, TDM, MM), p. 25.

OOPSLA-2017-ParkinsonVVCDMB #dot-net #memory management

Project snowflake: non-blocking safe manual memory management in .NET (MJP, DV, KV, MC, PD, DM, AB, JB), p. 25.

OOPSLA-2017-AnconaDZ #axiom #reasoning

Reasoning on divergent computations with coaxioms (DA, FD, EZ), p. 26.

OOPSLA-2017-BernsteinBBCFKK

Geo-distribution of actor-based services (PAB, SB, SB, NC, JMF, GK, AK, MRR, VS0, AS, JT), p. 26.

OOPSLA-2017-CogumbreiroSMSV #concurrent #parallel #source code #why

Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers (TC, RS, FM, VS, VTV, MG), p. 26.

OOPSLA-2017-ScottLDN #composition #monad #parallel

Monadic composition for deterministic, parallel batch processing (RGS, OSNL, JD, RRN), p. 26.

OOPSLA-2017-SrinivasanVR #synthesis

Model-assisted machine-code synthesis (VS, AV, TWR), p. 26.

OOPSLA-2017-Swasey0D #composition #robust #verification

Robust and compositional verification of object capability patterns (DS, DG0, DD), p. 26.

OOPSLA-2017-UgawaAM #concurrent #garbage collection #memory management #model checking #modelling

Model checking copy phases of concurrent copying garbage collection with various memory models (TU, TA0, TM), p. 26.

OOPSLA-2017-WangDS #automaton #finite #synthesis #using

Synthesis of data completion scripts using finite tree automata (XW0, ID, RS), p. 26.

OOPSLA-2017-WangWC #analysis #complexity #functional #invariant #named

TiML: a functional language for practical complexity analysis with invariants (PW0, DW, AC), p. 26.

OOPSLA-2017-Yaghmazadeh0DD #named #natural language #query #synthesis

SQLizer: query synthesis from natural language (NY, YW0, ID, TD), p. 26.

OOPSLA-2017-YangO #type system

Unifying typing and subtyping (YY, BCdSO), p. 26.

OOPSLA-2017-YuanMJ #source code

Abridging source code (BY, VM, CMJ), p. 26.

OOPSLA-2017-BakstGKJ #canonical #distributed #source code #verification

Verifying distributed programs via canonical sequentialization (AB, KvG, RGK, RJ), p. 27.

OOPSLA-2017-BarrettBKMT #virtual machine

Virtual machine warmup blows hot and cold (EB, CFBT, RK, SM, LT), p. 27.

OOPSLA-2017-CavalcantiBA

Evaluating and improving semistructured merge (GC, PB, PRGA), p. 27.

OOPSLA-2017-GrechFFS

Heaps don't lie: countering unsoundness with heap snapshots (NG, GF, AF, YS), p. 27.

OOPSLA-2017-RapoportKHL #proving

A simple soundness proof for dependent object types (MR, IK, PH, OL), p. 27.

OOPSLA-2017-RichardsAT #type system #virtual machine

The VM already knew that: leveraging compile-time knowledge to optimize gradual typing (GR, EA, AT), p. 27.

OOPSLA-2017-SampsonMM #programming

Static stages for heterogeneous programming (AS, KSM, TM), p. 27.

OOPSLA-2017-SeidelSCWJ #data-driven #fault #learning

Learning to blame: localizing novice type errors with data-driven diagnosis (ELS, HS, KC, WW, RJ), p. 27.

OOPSLA-2017-SpathAB #alias #analysis #data flow #named #performance #precise

IDEal: efficient and precise alias-aware dataflow analysis (JS, KA0, EB), p. 27.

OOPSLA-2017-WuC #fault #how #question #student #what

How type errors were fixed and what students did? (BW, SC0), p. 27.

OOPSLA-2017-ChasinsB #execution #reuse #web

Skip blocks: reusing execution history to accelerate web scripts (SC, RB), p. 28.

OOPSLA-2017-ClebschFDYWV #co-evolution #design #garbage collection #named #type system

Orca: GC and type system co-design for actor languages (SC, JF, SD, AMY, TW, JV), p. 28.

OOPSLA-2017-DingS #named

GLORE: generalized loop redundancy elimination upon LER-notation (YD, XS), p. 28.

OOPSLA-2017-GomesKMB #consistency #distributed #verification

Verifying strong eventual consistency in distributed systems (VBFG, MK, DPM, ARB), p. 28.

OOPSLA-2017-GrechS #analysis #named #points-to

P/Taint: unified points-to and taint analysis (NG, YS), p. 28.

OOPSLA-2017-JeongJCO #analysis #context-sensitive grammar #data-driven #points-to

Data-driven context-sensitivity for points-to analysis (SJ, MJ, SDC, HO), p. 28.

OOPSLA-2017-LopesMMSYZSV #git #named

DéjàVu: a map of code duplicates on GitHub (CVL, PM, PM0, VS, DY, JZ, HS, JV), p. 28.

OOPSLA-2017-ManskyAN

A verified messaging system (WM, AWA, AN), p. 28.

OOPSLA-2017-PoesiaGFP

Static placement of computation on heterogeneous devices (GP, BCFG, FF, FMQP), p. 28.

OOPSLA-2017-QiuS #synthesis

Natural synthesis of provably-correct data-structure manipulations (XQ, ASL), p. 28.

OOPSLA-2017-ZhaiPGLW #correlation #in the cloud

An auditing language for preventing correlated failures in the cloud (EZ, RP, RG, XL, XW), p. 28.

OOPSLA-2017-DonaldsonELT #automation #compilation #testing

Automated testing of graphics shader compilers (AFD, HE, AL, PT), p. 29.

OOPSLA-2017-KaminskiKCW #automation #composition #framework #reliability

Reliable and automatic composition of language extensions to C: the ableC extensible language framework (TK, LK, TC, EVW), p. 29.

OOPSLA-2017-KjolstadKCLA #algebra #compilation

The tensor algebra compiler (FK, SK, SC, DL, SPA), p. 29.

OOPSLA-2017-PapadakisB0AH #graph #named

Seam: provably safe local edits on graphs (MP, GLB, RS0, AA, PH), p. 29.

OOPSLA-2017-SamanthaNNR #mining #problem #specification

Exploiting implicit beliefs to resolve sparse usage problem in usage-based specification mining (SKS, HAN, TNN, HR), p. 29.

OOPSLA-2017-WuCC #error message #learning

Learning user friendly type-error messages (BW, JPCI, SC0), p. 29.

OOPSLA-2017-AlbarghouthiDDN #named #probability #verification

FairSquare: probabilistic verification of program fairness (AA, LD, SD, AVN), p. 30.

OOPSLA-2017-ChaudhuriVGRL #javascript #performance #precise #type checking

Fast and precise type checking for JavaScript (AC, PV, SG, MR, GL), p. 30.

OOPSLA-2017-LiZ #fault #locality #source code #testing

Transforming programs and tests in tandem for fault localization (XL, LZ), p. 30.

OOPSLA-2017-MaengCL #execution #named

Alpaca: intermittent execution without checkpoints (KM, AC, BL), p. 30.

OOPSLA-2017-MuehlboeckT #type system

Sound gradual typing is nominally alive and well (FM, RT), p. 30.

OOPSLA-2017-OrchardCDR #array #verification

Verifying spatial properties of array computations (DAO, MC, MD, ACR), p. 30.

OOPSLA-2017-SakkaS0 #framework #named #recursion #traversal

TreeFuser: a framework for analyzing and fusing general recursive tree traversals (LS, KS, MK0), p. 30.

OOPSLA-2017-ZhangGSN #effectiveness #interactive #static analysis

Effective interactive resolution of static analysis alarms (XZ, RG, XS, MN), p. 30.

OOPSLA-2017-MazinanianKTD #comprehension #java #using

Understanding the use of lambda expressions in Java (DM, AK, NT, DD), p. 31.

OOPSLA-2017-PadonLSS #decidability #distributed #protocol #reasoning

Paxos made EPR: decidable reasoning about distributed protocols (OP, GL, MS, SS), p. 31.

OOPSLA-2017-WoodCBG #bias #concurrent #detection

Instrumentation bias for dynamic data race detection (BPW, MC, MDB, DG), p. 31.

OOPSLA-2017-ZhangM #interface #morphism #named #polymorphism #product line

Familia: unifying interfaces, type classes, and family polymorphism (YZ, ACM), p. 31.