OOPSLA 2017
Proceedings of the ACM on Programming Languages, Volume 1, Number OOPSLA
Powered by
Conference Publishing Consulting
Proceedings of the ACM on Programming Languages, Volume 1, Number OOPSLA, October 22–27, 2017, Vancouver, BC, Canada

OOPSLA – Journal Issue

 Contents - Abstracts - Authors

Frontmatter

Title Page

Types
Wed, Oct 25, 10:30 - 12:00, Regency A

SAVI Objects: Sharing and Virtuality Incorporated
Izzat El Hajj, Thomas B. Jablin, Dejan Milojicic, and Wen-mei Hwu
(University of Illinois at Urbana-Champaign, USA; Hewlett Packard Labs, USA; Multicoreware, USA)
A Simple Soundness Proof for Dependent Object Types
Marianna Rapoport, Ifaz Kabir, Paul He, and Ondřej Lhoták
(University of Waterloo, Canada)
Artifacts Functional
Unifying Typing and Subtyping
Yanpeng Yang and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Info Artifacts Functional
Fast and Precise Type Checking for JavaScript
Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, and Gabriel Levi
(Facebook, USA; University of California at San Diego, USA)
Artifacts Functional

Performance
Wed, Oct 25, 10:30 - 12:00, Regency B

A Volatile-by-Default JVM for Server Applications
Lun Liu, Todd Millstein, and Madanlal Musuvathi
(University of California at Los Angeles, USA; Microsoft Research, USA)
Artifacts Functional
Static Placement of Computation on Heterogeneous Devices
Gabriel Poesia, Breno Guimarães, Fabrício Ferracioli, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil; LG Electronics, Brazil)
Info Artifacts Functional
Skip Blocks: Reusing Execution History to Accelerate Web Scripts
Sarah Chasins and Rastislav Bodik
(University of California at Berkeley, USA; University of Washington, USA)
Virtual Machine Warmup Blows Hot and Cold
Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, and Laurence Tratt
(King's College London, UK; Lancaster University, UK)
Artifacts Functional

Gradual Types and Memory
Wed, Oct 25, 13:30 - 15:00, Regency A

Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
Tomoharu Ugawa, Tatsuya Abe, and Toshiyuki Maeda
(Kochi University of Technology, Japan; Chiba Institute of Technology, Japan)
Artifacts Functional
Sound Gradual Typing: Only Mostly Dead
Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy Siek, and Sam Tobin-Hochstadt
(Indiana University, USA; King's College London, UK)
The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing
Gregor Richards, Ellen Arteca, and Alexi Turcotte
(University of Waterloo, Canada)
Artifacts Functional
Sound Gradual Typing is Nominally Alive and Well
Fabian Muehlboeck and Ross Tate
(Cornell University, USA)
Info Artifacts Functional

Tools
Wed, Oct 25, 13:30 - 15:00, Regency B

Effective Interactive Resolution of Static Analysis Alarms
Xin Zhang, Radu Grigore, Xujie Si, and Mayur Naik
(Georgia Institute of Technology, USA; University of Kent, UK; University of Pennsylvania, USA)
Artifacts Functional
Abridging Source Code
Binhang Yuan, Vijayaraghavan Murali, and Christopher Jermaine
(Rice University, USA)
Evaluating and Improving Semistructured Merge
Guilherme Cavalcanti, Paulo Borba, and Paola Accioly
(Federal University of Pernambuco, Brazil)
Info Artifacts Functional
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, and Ranjit Jhala
(University of California at San Diego, USA; University of Virginia, USA)
Artifacts Functional

Synthesis
Wed, Oct 25, 15:30 - 17:23, Regency A

Model-Assisted Machine-Code Synthesis
Venkatesh Srinivasan, Ara Vartanian, and Thomas Reps
(University of Wisconsin-Madison, USA; GrammaTech, USA)
Synthesis of Data Completion Scripts using Finite Tree Automata
Xinyu Wang, Isil Dillig, and Rishabh Singh
(University of Texas at Austin, USA; Microsoft Research, USA)
SQLizer: Query Synthesis from Natural Language
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, and Thomas Dillig
(University of Texas at Austin, USA)
Synthesizing Configuration File Specifications with Association Rule Learning
Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, and Ruzica Piskac
(Yale University, USA; MongoDB, USA; Microsoft, USA)
Natural Synthesis of Provably-Correct Data-Structure Manipulations
Xiaokang Qiu and Armando Solar-Lezama
(Purdue University, USA; Massachusetts Institute of Technology, USA)

Dynamic Analysis
Wed, Oct 25, 15:30 - 17:00, Regency B

Practical Initialization Race Detection for JavaScript Web Applications
Christoffer Quist Adamsen, Anders Møller, and Frank Tip
(Aarhus University, Denmark; Northeastern University, USA)
Artifacts Functional
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
Nachshon Cohen, Michal Friedman, and James R. Larus
(EPFL, Switzerland; Technion, Israel)
Artifacts Functional
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis
(University of Athens, Greece; University of Malta, Malta)
Artifacts Functional
Instrumentation Bias for Dynamic Data Race Detection
Benjamin P. Wood, Man Cao, Michael D. Bond, and Dan Grossman
(Wellesley College, USA; Google, USA; Ohio State University, USA; University of Washington, USA)
Artifacts Functional

Types and Language Design
Thu, Oct 26, 10:30 - 12:00, Regency A

Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
Yizhou Zhang and Andrew C. Myers
(Cornell University, USA)
Static Stages for Heterogeneous Programming
Adrian Sampson, Kathryn S. McKinley, and Todd Mytkowicz
(Cornell University, USA; Google, USA; Microsoft Research, USA)
Info Artifacts Functional
Orca: GC and Type System Co-Design for Actor Languages
Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek
(Microsoft Research, UK; Imperial College London, UK; Uppsala University, Sweden; Northeastern University, USA)
Monadic Composition for Deterministic, Parallel Batch Processing
Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, and Ryan R. Newton
(Indiana University, USA; University of Pennsylvania, USA)
Artifacts Functional

Optimizing Compilation
Thu, Oct 26, 10:30 - 12:00, Regency B

GLORE: Generalized Loop Redundancy Elimination upon LER-Notation
Yufei Ding and Xipeng Shen
(North Carolina State University, USA)
Verifying Spatial Properties of Array Computations
Dominic Orchard, Mistral Contrastin, Matthew Danish, and Andrew Rice
(University of Kent, UK; University of Cambridge, UK)
Artifacts Functional
TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
Laith Sakka, Kirshanthan Sundararajah, and Milind Kulkarni
(Purdue University, USA)
The Tensor Algebra Compiler
Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Adobe, USA; CEA, France)
Info Artifacts Functional

Verification
Thu, Oct 26, 13:30 - 15:00, Regency A

Seam: Provably Safe Local Edits on Graphs
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, and Pat Hanrahan
(Stanford University, USA; Microsoft Research, India)
Artifacts Functional
TiML: A Functional Language for Practical Complexity Analysis with Invariants
Peng Wang, Di Wang, and Adam Chlipala
(Massachusetts Institute of Technology, USA; Peking University, China)
Info Artifacts Functional
FairSquare: Probabilistic Verification of Program Fairness
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, and Aditya V. Nori
(University of Wisconsin-Madison, USA; Microsoft Research, UK)
Reasoning on Divergent Computations with Coaxioms
Davide Ancona, Francesco Dagnino, and Elena Zucca
(University of Genoa, Italy)

Mining Software Repositories and Parsing
Thu, Oct 26, 13:30 - 15:00, Regency B

Restricting Grammars with Tree Automata
Michael D. Adams and Matthew Might
(University of Utah, USA)
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Samantha Syeda Khairunnesa, Hoan Anh Nguyen, Tien N. Nguyen, and Hridesh Rajan
(Iowa State University, USA; University of Texas at Dallas, USA)
DéjàVu: A Map of Code Duplicates on GitHub
Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek
(University of California at Irvine, USA; Czech Technical University, Czechia; Microsoft Research, USA; Northeastern University, USA)
Info Artifacts Functional
Understanding the Use of Lambda Expressions in Java
Davood Mazinanian, Ameya Ketkar, Nikolaos Tsantalis, and Danny Dig
(Concordia University, Canada; Oregon State University, USA)
Info Artifacts Functional

Verification in Practice
Thu, Oct 26, 15:30 - 17:00, Regency A

A Model for Reasoning About JavaScript Promises
Magnus Madsen, Ondřej Lhoták, and Frank Tip
(University of Waterloo, Canada; Northeastern University, USA)
A Verified Messaging System
William Mansky, Andrew W. Appel, and Aleksey Nogin
(Princeton University, USA; HRL Labs, USA)
Who Guards the Guards? Formal Validation of the Arm v8-M Architecture Specification
Alastair Reid
(ARM, UK)
Robust and Compositional Verification of Object Capability Patterns
David Swasey, Deepak Garg, and Derek Dreyer
(MPI-SWS, Germany)
Info Artifacts Functional

Testing
Thu, Oct 26, 15:30 - 17:23, Regency B

Type Test Scripts for TypeScript Testing
Erik Krogh Kristensen and Anders Møller
(Aarhus University, Denmark)
Artifacts Functional
A Solver-Aided Language for Test Input Generation
Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, and Serdar Tasiran
(University of Washington, USA; Amazon, USA)
Transforming Programs and Tests in Tandem for Fault Localization
Xia Li and Lingming Zhang
(University of Texas at Dallas, USA)
Automated Testing of Graphics Shader Compilers
Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, and Paul Thomson
(Imperial College London, UK)
Video
Bounded Exhaustive Test-Input Generation on GPUs
Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, and Milos Gligoric
(University of Texas at Austin, USA)

Language Design
Fri, Oct 27, 10:30 - 12:00, Regency A

Project Snowflake: Non-blocking Safe Manual Memory Management in .NET
Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, and Jonathan Balkind
(Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA)
Alpaca: Intermittent Execution without Checkpoints
Kiwan Maeng, Alexei Colin, and Brandon Lucia
(Carnegie Mellon University, USA)
Info
An Auditing Language for Preventing Correlated Failures in the Cloud
Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, and Xi Wang
(Yale University, USA; Columbia University, USA)
Artifacts Functional
Reliable and Automatic Composition of Language Extensions to C: The ᴀʙʟᴇC Extensible Language Framework
Ted Kaminski, Lucas Kramer, Travis Carlson, and Eric Van Wyk
(University of Minnesota, USA)
Info Artifacts Functional

Static Analysis
Fri, Oct 27, 10:30 - 12:00, Regency B

IDEal: Efficient and Precise Alias-Aware Dataflow Analysis
Johannes Späth, Karim Ali, and Eric Bodden
(Fraunhofer IEM, Germany; University of Alberta, Canada; University of Paderborn, Germany)
Artifacts Functional
Data-Driven Context-Sensitivity for Points-to Analysis
Sehun Jeong, Minseok Jeon, Sungdeok Cha, and Hakjoo Oh
(Korea University, South Korea)
Artifacts Functional
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Kwonsoo Chae, Hakjoo Oh, Kihong Heo, and Hongseok Yang
(Korea University, South Korea; Seoul National University, South Korea; University of Oxford, UK)
P/Taint: Unified Points-to and Taint Analysis
Neville Grech and Yannis Smaragdakis
(University of Athens, Greece; University of Malta, Malta)
Artifacts Functional

Usability and Deadlock
Fri, Oct 27, 13:30 - 15:00, Regency A

Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, and Max Grossman
(Rice University, USA; University of Lisbon, Portugal)
Info
Detecting Argument Selection Defects
Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, and Yulissa Arroyo-Paredes
(University of Cambridge, UK; Google, USA; TU Darmstadt, Germany; Columbia University, USA)
Artifacts Functional
How Type Errors Were Fixed and What Students Did?
Baijun Wu and Sheng Chen
(University of Louisiana at Lafayette, USA)
Learning User Friendly Type-Error Messages
Baijun Wu, John Peter Campora III, and Sheng Chen
(University of Louisiana at Lafayette, USA)

Distributed Systems
Fri, Oct 27, 13:30 - 15:00, Regency B

Geo-Distribution of Actor-Based Services
Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin
(Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA)
Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Oded Padon, Giuliano Losa, Mooly Sagiv, and Sharon Shoham
(Tel Aviv University, Israel; University of California at Los Angeles, USA)
Info
Verifying Strong Eventual Consistency in Distributed Systems
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford
(University of Cambridge, UK)
Info Artifacts Functional
Verifying Distributed Programs via Canonical Sequentialization
Alexander Bakst, Klaus v. Gleissenthall, Rami Gökhan Kıcı, and Ranjit Jhala
(University of California at San Diego, USA)
Artifacts Functional

proc time: 0.1