| 2016 | A compiler for throughput optimization of graph algorithms on GPUs. Sreepathi Pai, Keshav Pingali |
| 2016 | A practical framework for type inference error explanation. Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan |
| 2016 | Accelerating program analyses by cross-program training. Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik |
| 2016 | An improved algorithm for slicing machine code. Venkatesh Srinivasan, Thomas W. Reps |
| 2016 | An operational semantics for C/C++11 concurrency. Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell |
| 2016 | Apex: automatic programming assignment error explanation. Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera |
| 2016 | Asserting reliable convergence for configuration management scripts. Oliver Hanappi, Waldemar Hummer, Schahram Dustdar |
| 2016 | Automated reasoning for web page layout. Pavel Panchekha, Emina Torlak |
| 2016 | Automatic enforcement of expressive security policies using enclaves. Anitha Gollamudi, Stephen Chong |
| 2016 | Automatic parallelization of pure method calls via conditional future synthesis. Rishi Surendran, Vivek Sarkar |
| 2016 | Call graphs for languages with parametric polymorphism. Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky |
| 2016 | Chain: tasks and channels for reliable intermittent programs. Alexei Colin, Brandon Lucia |
| 2016 | Computing repair alternatives for malformed programs using constraint attribute grammars. Friedrich Steimann, Jörg Hagemann, Bastian Ulke |
| 2016 | Dependent partitioning. Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken |
| 2016 | Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury |
| 2016 | Directed synthesis of failing concurrent executions. Malavika Samak, Omer Tripp, Murali Krishna Ramanathan |
| 2016 | Dynamically diagnosing type errors in unsafe code. Stephen Kell |
| 2016 | Efficient and thread-safe objects for dynamically-typed languages. Benoit Daloze, Stefan Marr, Daniele Bonetta, Hanspeter Mössenböck |
| 2016 | Extensible access control with authorization contracts. Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong |
| 2016 | FIDEX: filtering spreadsheet data using examples. Xinyu Wang, Sumit Gulwani, Rishabh Singh |
| 2016 | Finding compiler bugs via live code mutation. Chengnian Sun, Vu Le, Zhendong Su |
| 2016 | Finding resume and restart errors in Android applications. Zhiyong Shan, Tanzirul Azim, Iulian Neamtiu |
| 2016 | First-class effect reflection for effect-guided programming. Yuheng Long, Yu David Liu, Hridesh Rajan |
| 2016 | GEMs: shared-memory parallel programming for Node.js. Daniele Bonetta, Luca Salucci, Stefan Marr, Walter Binder |
| 2016 | Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect. Leo Osvald, Grégory M. Essertel, Xilun Wu, Lilliam I. González Alayón, Tiark Rompf |
| 2016 | Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco |
| 2016 | Hybrid STM/HTM for nested transactions on OpenJDK. Keith Chapman, Antony L. Hosking, J. Eliot B. Moss |
| 2016 | Incremental forest: a DSL for efficiently managing filestores. Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster |
| 2016 | Java and scala's type systems are unsound: the existential crisis of null pointers. Nada Amin, Ross Tate |
| 2016 | LaCasa: lightweight affinity and object capabilities in Scala. Philipp Haller, Alexander Loiko |
| 2016 | Low-overhead and fully automated statistical debugging with abstraction refinement. Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu |
| 2016 | Makalu: fast recoverable allocation of non-volatile memory. Kumud Bhandari, Dhruva R. Chakrabarti, Hans-Juergen Boehm |
| 2016 | Maximal causality reduction for TSO and PSO. Shiyou Huang, Jeff Huang |
| 2016 | Modeling and analysis of remote memory access programming. Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev |
| 2016 | OrcO: a concurrency-first approach to objects. Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook |
| 2016 | Parallel incremental whole-program optimizations for Scala.js. Sébastien Doeraene, Tobias Schlatter |
| 2016 | Parsing with first-class derivatives. Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann |
| 2016 | Portable inter-workgroup barrier synchronisation for GPUs. Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
| 2016 | Precise and maximal race detection from incomplete traces. Jeff Huang, Arun K. Rajagopalan |
| 2016 | Prioritized garbage collection: explicit GC support for software caches. Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger |
| 2016 | Probabilistic model for code with decision trees. Veselin Raychev, Pavol Bielik, Martin T. Vechev |
| 2016 | Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016 Eelco Visser, Yannis Smaragdakis |
| 2016 | Purposes, concepts, misfits, and a redesign of git. Santiago Perez De Rosso, Daniel Jackson |
| 2016 | Ringer: web automation by demonstration. Shaon Barman, Sarah E. Chasins, Rastislav Bodík, Sumit Gulwani |
| 2016 | Scalable verification of border gateway protocol configurations with an SMT solver. Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock |
| 2016 | Semantic subtyping for imperative object-oriented languages. Davide Ancona, Andrea Corradi |
| 2016 | Semantics-based program verifiers for all languages. Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu |
| 2016 | Speeding up machine-code synthesis. Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps |
| 2016 | Stateless model checking with data-race preemption points. Ben Blum, Garth A. Gibson |
| 2016 | The missing link: explaining ELF static linking, semantically. Stephen Kell, Dominic P. Mulligan, Peter Sewell |
| 2016 | To be precise: regression aware debugging. Rohan Bavishi, Awanish Pandey, Subhajit Roy |
| 2016 | Type inference for static compilation of JavaScript. Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi |
| 2016 | Type soundness for dependent object types (DOT). Tiark Rompf, Nada Amin |