| 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 | An improved algorithm for slicing machine code. | Venkatesh Srinivasan, Thomas W. Reps |
| 2016 | Portable inter-workgroup barrier synchronisation for GPUs. | Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
| 2016 | Instance modeling assisted by an optional meta level. | Riccardo Solmi |
| 2016 | Synchronous-reactive web programming. | Rmy El Sibae, Emmanuel Chailloux |
| 2016 | Integrated simulation of CIF3 and simulink models. | Abhishek Sharma, Michel A. Reniers |
| 2016 | Finding resume and restart errors in Android applications. | Zhiyong Shan, Tanzirul Azim, Iulian Neamtiu |
| 2016 | Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. | Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germn Andrs Delbianco |
| 2016 | Improving maintenance by creating a DSL for configuring a fieldbus. | Mathijs Schuts, Jozef Hooman |
| 2016 | Name resolution strategies in variability realization languages for software product lines. | Sven Schuster, Michael Nieke, Ina Schaefer |
| 2016 | A domain specific language for optimal pumping systems. | Benjamin Saul, Christian Berg, Wolf Zimmermann |
| 2016 | Directed synthesis of failing concurrent executions. | Malavika Samak, Omer Tripp, Murali Krishna Ramanathan |
| 2016 | What do we really know about data flow languages? | Guido Salvaneschi |
| 2016 | Purposes, concepts, misfits, and a redesign of git. | Santiago Perez De Rosso, Daniel Jackson |
| 2016 | Type soundness for dependent object types (DOT). | Tiark Rompf, Nada Amin |
| 2016 | Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle. | Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Wrthinger, Hanspeter Mssenbck |
| 2016 | Gramada: immediacy in programming language development. | Patrick Rein, Robert Hirschfeld, Marcel Taeumel |
| 2016 | Deducing classes: integrating the domain models of object-oriented applications. | Patrick Rein |
| 2016 | Probabilistic model for code with decision trees. | Veselin Raychev, Pavol Bielik, Martin T. Vechev |
| 2016 | AngularJS in the wild: a survey with 460 developers. | Miguel Ramos, Marco Tlio Valente, Ricardo Terra, Gustavo Santos |
| 2016 | Persistent contextual values as inter-process layers. | Markus Raab |
| 2016 | Towards predicting feature defects in software product lines. | Rodrigo Queiroz, Thorsten Berger, Krzysztof Czarnecki |
| 2016 | sk_p: a neural program corrector for MOOCs. | Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay |
| 2016 | The science of deep specification (keynote). | Benjamin C. Pierce |