| 2016 | Call graphs for languages with parametric polymorphism. | Dmitry Petrashko, Vlad Ureche, Ondrej Lhotk, Martin Odersky |
| 2016 | OrcO: a concurrency-first approach to objects. | Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook |
| 2016 | Model driven software engineering in the large: experiences at the Dutch tax and customs service (industry talk). | Betsy Pepels, Gert Veldhuijzen van Zanten |
| 2016 | Automated reasoning for web page layout. | Pavel Panchekha, Emina Torlak |
| 2016 | A compiler for throughput optimization of graph algorithms on GPUs. | Sreepathi Pai, Keshav Pingali |
| 2016 | Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect. | Leo Osvald, Grgory M. Essertel, Xilun Wu, Lilliam I. Gonzlez Alayn, Tiark Rompf |
| 2016 | Prioritized garbage collection: explicit GC support for software caches. | Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger |
| 2016 | The left hand of equals. | James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller |
| 2016 | An operational semantics for C/C++11 concurrency. | Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell |
| 2016 | libDSU: towards hot-swapping dynamically linked libraries on stock Linux. | Martin Alexander Neumann, Christoph Tobias Bach, Stefan Kratochwil, Marcel Kost, Michael Beigl |
| 2016 | Towards practical release-level dynamic software updating on stock Java: evaluating an efficient and safely programmable Java dynamic updating system. | Martin Alexander Neumann |
| 2016 | CPAL: high-level abstractions for safe embedded systems. | Nicolas Navet, Loc Fejoz |
| 2016 | I now pronounce you reactive and consistent: handling distributed and replicated state in reactive programming. | Florian Myter, Tim Coppieters, Christophe Scholliers, Wolfgang De Meuter |
| 2016 | Extensible access control with authorization contracts. | Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong |
| 2016 | Scaling testing of refactoring engines. | Melina Mongiovi |
| 2016 | Supporting resource bounded multitenancy in Akka. | Ahmed Abdel Moamen, Nadeem Jamali |
| 2016 | Exploring cheap type inference heuristics in dynamically typed languages. | Nevena Milojkovic, Oscar Nierstrasz |
| 2016 | Function passing: a model for typed, distributed functional programming. | Heather Miller, Philipp Haller, Normen Mller, Jocelyn Boullier |
| 2016 | GUI and usage model-based test case generation for Android applications with change analysis. | Jose Lorenzo San Miguel, Shingo Takada |
| 2016 | Udapt: edapt extensions for industrial application. | Josh Mengerink, Alexander Serebrenik, Mark van den Brand, Ramon R. H. Schiffelers |
| 2016 | Object spreadsheets: a new computational model for end-user development of data-centric web applications. | Matt McCutchen, Shachar Itzhaky, Daniel Jackson |
| 2016 | Lightweight programming experiments without programmers and programs: an example study on the effect of similarity and number of object identifiers on the readability of source code using natural texts. | Tim Marter, Paul Babucke, Philipp Lembken, Stefan Hanenberg |
| 2016 | Beyond native apps: web technologies to the rescue! (keynote). | Ivano Malavolta |
| 2016 | A web application is a domain-specific language. | David H. Lorenz, Boaz Rosenan |
| 2016 | First-class effect reflection for effect-guided programming. | Yuheng Long, Yu David Liu, Hridesh Rajan |