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, Canada

OOPSLA – Journal Issue

Contents - Abstracts - Authors

Frontmatter

Title Page

Types

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; Multicoreware, USA; Hewlett Packard Labs, USA)
Article Search
A Simple Soundness Proof for Dependent Object Types
Marianna Rapoport, Ifaz Kabir, Paul He, and Ondřej Lhoták
(University of Waterloo, Canada)
Article Search Artifacts Functional
Unifying Typing and Subtyping
Yanpeng Yang and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Preprint Info Artifacts Available 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)
Article Search Artifacts Functional

Performance

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)
Article Search Artifacts Functional
Static Placement of Computation on Heterogeneous Devices
Gabriel Poesia, Breno Campos, Fabrício Ferracioli, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil; LG Electronics, Brazil)
Preprint Info Artifacts Available 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)
Article Search
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)
Article Search Artifacts Available Artifacts Functional

Gradual Types and Memory

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)
Article Search Artifacts Available Artifacts Functional
Sound Gradual Typing: Only Mostly Dead
Spenser Andrew Bauman, Sam Tobin-Hochstadt, Jeremy G. Siek, and Carl Friedrich Bolz-Tereick
(Indiana University, USA; King's College London, UK)
Article Search Artifacts Available
The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing
Gregor Richards, Ellen Arteca, and Alexi Turcotte
(University of Waterloo, Canada)
Article Search Archive submitted (12999 MB) Artifacts Available Artifacts Functional
Sound Gradual Typing is Nominally Alive and Well
Fabian Muehlboeck and Ross Tate
(Cornell University, USA)
Preprint Info Artifacts Available Artifacts Functional

Tools

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)
Article Search Artifacts Functional
Abridging Source Code
Binhang Yuan, Vijayaraghavan Murali, and Christopher Jermaine
(Rice University, USA)
Article Search
Evaluating and Improving Semistructured Merge
Guilherme Cavalcanti, Paulo Borba, and Paola Accioly
(Federal University of Pernambuco, Brazil)
Article Search Info Artifacts Available 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)
Article Search Artifacts Available Artifacts Functional

Synthesis

Model-Assisted Machine-Code Synthesis
Venkatesh Srinivasan, Ara Vartanian, and Thomas Reps
(University of Wisconsin-Madison, USA; GrammaTech, USA)
Article Search
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)
Article Search
SQLizer: Query Synthesis from Natural Language
Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, and Thomas Dillig
(University of Texas at Austin, USA)
Article Search
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)
Article Search
Natural Synthesis of Provably-Correct Data-Structure Manipulations
Xiaokang Qiu and Armando Solar-Lezama
(Purdue University, USA; Massachusetts Institute of Technology, USA)
Preprint Artifacts Available

Dynamic Analysis

Practical Initialization Race Detection for JavaScript Web Applications
Christoffer Quist Adamsen, Anders Møller, and Frank Tip
(Aarhus University, Denmark; Northeastern University, USA)
Article Search Artifacts Functional
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
Nachshon Cohen, Michal Friedman, and James Larus
(EPFL, Switzerland; Technion, Israel)
Article Search Artifacts Available 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)
Article Search 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)
Article Search Artifacts Functional

Types and Language Design

Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
Yizhou Zhang and Andrew C. Myers
(Cornell University, USA)
Article Search Artifacts Available
Static Stages for Heterogeneous Programming
Adrian Sampson, Kathryn S. McKinley, and Todd Mytkowicz
(Cornell University, USA; Google, USA; Microsoft Research, USA)
Article Search Info Artifacts Available 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)
Article Search
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)
Article Search Archive submitted (5264 MB) Artifacts Available Artifacts Functional

Optimizing Compilation

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

Verification

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)
Article Search Artifacts Available 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)
Preprint Info Artifacts Available 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)
Article Search
Reasoning on Divergent Computations with Coaxioms
Davide Ancona, Francesco Dagnino, and Elena Zucca
(University of Genoa, Italy)
Article Search

Mining Software Repositories and Parsing

Restricting Grammars with Tree Automata
Michael D. Adams and Matthew Might
(University of Utah, USA)
Article Search
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)
Article Search
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)
Article Search Info Artifacts Available 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)
Article Search Info Artifacts Functional

Verification in Practice

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

Testing

Type Test Scripts for TypeScript Testing
Erik Krogh Kristensen and Anders Møller
(Aarhus University, Denmark)
Article Search 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, n.n.)
Article Search
Transforming Programs and Tests in Tandem for Fault Localization
Xia Li and Lingming Zhang
(University of Texas at Dallas, USA)
Preprint
Automated Testing of Graphics Shader Compilers
Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, and Paul Thomson
(Imperial College London, UK)
Preprint Video
Bounded Exhaustive Test-Input Generation on GPUs
Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, and Milos Gligoric
(University of Texas at Austin, USA)
Article Search

Language Design

Project Snowflake: Non-blocking Safe Manual Memory Management in .NET
Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Jonathan Balkind, and Aaron Blankstein
(Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA)
Article Search
Alpaca: Intermittent Execution without Checkpoints
Kiwan Maeng, Alexei Colin, and Brandon Lucia
(Carnegie Mellon University, USA)
Article Search 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)
Article Search Artifacts Available Artifacts Functional
Reliable and Automatic Composition of Language Extensions to C: The ableC Extensible Language Framework
Ted Kaminski, Lucas Kramer, Travis Carlson, and Eric Van Wyk
(University of Minnesota, USA)
Preprint Info Artifacts Available Artifacts Functional

Static Analysis

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)
Article Search Artifacts Available Artifacts Functional
Data-Driven Context-Sensitivity for Points-to Analysis
Sehun Jeong, Minseok Jeon, Sungdeok Cha, and Hakjoo Oh
(Korea University, South Korea)
Article Search Artifacts Available 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)
Article Search
P/Taint: Unified Points-to and Taint Analysis
Neville Grech and Yannis Smaragdakis
(University of Athens, Greece; University of Malta, Malta)
Article Search Artifacts Functional

Usability and Deadlock

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)
Article Search 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)
Article Search Artifacts Available Artifacts Functional
How Type Errors Were Fixed and What Students Did?
Baijun Wu and Sheng Chen
(University of Louisiana at Lafayette, USA)
Article Search
Learning User Friendly Type-Error Messages
Baijun Wu, John Peter Campora, and Sheng Chen
(University of Louisiana at Lafayette, USA)
Article Search

Distributed Systems

Geo-Distribution of Actor-Based Services
Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose 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)
Article Search
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)
Article Search 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)
Preprint Info Artifacts Available Artifacts Functional
Verifying Distributed Programs via Canonical Sequentialization
Alexander Bakst, Klaus v. Gleissenthall, Ranjit Jhala, and Rami Gökhan Kıcı
(University of California at San Diego, USA)
Article Search Archive submitted (3437 MB) Artifacts Available Artifacts Functional

proc time: 6.08