| 2016 | A practical framework for type inference error explanation. | Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan |
| 2016 | Higher-order delta modeling for software product line evolution. | Sascha Lity, Matthias Kowal, Ina Schaefer |
| 2016 | Improving live debugging of concurrent threads. | Max Leske |
| 2016 | Fine-grained test case prioritization for integration testing of delta-oriented software product lines. | Remo Lachmann, Sascha Lity, Mustafa Al-Hajjaji, Franz Frchtegott, Ina Schaefer |
| 2016 | Discount method for programming language evaluation. | Svetomir Kurtev, Tommy Aagaard Christensen, Bent Thomsen |
| 2016 | Nez: practical open grammar language. | Kimio Kuramitsu |
| 2016 | Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift. | Ivan Kuraj, Daniel Jackson |
| 2016 | Accelerating program analyses by cross-program training. | Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik |
| 2016 | FeatureCoPP: compositional annotations. | Jacob Krger, Ivonne Schrter, Andy Kenner, Christopher Kruczek, Thomas Leich |
| 2016 | Parallel evaluation of a DSP algorithm using julia. | Peter Kourzanov |
| 2016 | What is a programming language, really? | Amy J. Ko |
| 2016 | A human view of programming languages (keynote). | Amy J. Ko |
| 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 | The missing link: explaining ELF static linking, semantically. | Stephen Kell, Dominic P. Mulligan, Peter Sewell |
| 2016 | Dynamically diagnosing type errors in unsafe code. | Stephen Kell |
| 2016 | Introducing lightweight reactive values to Java. | Tetsuo Kamina |
| 2016 | Integrating concerns with development environments. | Jn Juhr |
| 2016 | Scaling Android user interfaces: a case study of Squid. | David S. Janzen, Andrew Hughes, Anthony Lenz |
| 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 | A world of active objects for work and play: the first ten years of lively. | Daniel Ingalls, Tim Felgentreff, Robert Hirschfeld, Robert Krahn, Jens Lincke, Marko Rder, Antero Taivalsaari, Tommi Mikkonen |
| 2016 | Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks. | Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras |
| 2016 | Formula choice calculus. | Spencer Hubbard, Eric Walkingshaw |
| 2016 | Precise and maximal race detection from incomplete traces. | Jeff Huang, Arun K. Rajagopalan |
| 2016 | Maximal causality reduction for TSO and PSO. | Shiyou Huang, Jeff Huang |
| 2016 | Reconsidering reliability in distributed actor systems. | Raphael Hiesgen, Dominik Charousset, Thomas C. Schmidt |