| 2016 | Learning programs from noisy data. | Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause |
| 2016 | Scaling network verification using symmetry and surgery. | Gordon D. Plotkin, Nikolaj S. Bjrner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese |
| 2016 | A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions. | Jean Pichon-Pharabod, Peter Sewell |
| 2016 | Decidability of inferring inductive invariants. | Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv |
| 2016 | Effects as sessions, sessions as effects. | Dominic A. Orchard, Nobuko Yoshida |
| 2016 | Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis. | Damien Octeau, Somesh Jha, Matthew L. Dering, Patrick D. McDaniel, Alexandre Bartel, Li Li, Jacques Klein, Yves Le Traon |
| 2016 | Synthesis of reactive controllers for hybrid systems (keynote). | Richard M. Murray |
| 2016 | Memoryful geometry of interaction II: recursion and adequacy. | Koko Muroya, Naohiko Hoshino, Ichiro Hasuo |
| 2016 | Temporal verification of higher-order functional programs. | Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno |
| 2016 | Programming the world of uncertain things (keynote). | Kathryn S. McKinley |
| 2016 | Sound type-dependent syntactic language extension. | Florian Lorenzen, Sebastian Erdweg |
| 2016 | Automatic patch generation by learning correct code. | Fan Long, Martin C. Rinard |
| 2016 | String solving with word equations and transducers: towards a logic for analysing mutation XSS. | Anthony Widjaja Lin, Pablo Barcel |
| 2016 | A program logic for concurrent objects under fair scheduling. | Hongjin Liang, Xinyu Feng |
| 2016 | Chapar: certified causally consistent distributed key-value stores. | Mohsen Lesani, Christian J. Bell, Adam Chlipala |
| 2016 | The hardness of data packing. | Rahman Lavaee |
| 2016 | Taming release-acquire consistency. | Ori Lahav, Nick Giannarakis, Viktor Vafeiadis |
| 2016 | Reducing crash recoverability to reachability. | Eric Koskinen, Junfeng Yang |
| 2016 | Estimating types in binaries using predictive modeling. | Omer Katz, Ran El-Yaniv, Eran Yahav |
| 2016 | Lightweight verification of separate compilation. | Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
| 2016 | Monitors and blame assignment for higher-order session types. | Limin Jia, Hannah Gommerstadt, Frank Pfenning |
| 2016 | Lattice-theoretic progress measures and coalgebraic model checking. | Ichiro Hasuo, Shunsuke Shimizu, Corina Crstea |
| 2016 | Unboundedness and downward closures of higher-order pushdown automata. | Matthew Hague, Jonathan Kochems, C.-H. Luke Ong |
| 2016 | Abstraction refinement guided by a learnt probabilistic model. | Radu Grigore, Hongseok Yang |
| 2016 | Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. | Niels Bjrn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Sholm, Sebastian Paaske Trholm |