| 2016 | Maximal specification synthesis. | Aws Albarghouthi, Isil Dillig, Arie Gurfinkel |
| 2016 | Principal type inference for GADTs. | Sheng Chen, Martin Erwig |
| 2016 | Learning invariants using decision trees and implication counterexamples. | Pranav Garg, Daniel Neider, P. Madhusudan, Dan Roth |
| 2015 | Opening remarks. | |
| 2015 | How to give a good research talk. | Stephanie Weirich |
| 2015 | How to write a good research paper. | Stephanie Weirich |
| 2015 | Repeatability, reproducibility and rigor in CS research. | Jan Vitek |
| 2015 | Data-Parallel String-Manipulating Programs. | Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits |
| 2015 | Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. | Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli |
| 2015 | Separation logic for weak memory models. | Viktor Vafeiadis |
| 2015 | A Meta Lambda Calculus with Cross-Level Computation. | Kazunori Tobisawa |
| 2015 | Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks. | Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie, Lu Zhang, Hong Mei |
| 2015 | Compositional CompCert. | Gordon Stewart, Lennart Beringer, Santiago Cullar, Andrew W. Appel |
| 2015 | Algebraic Effects, Linearity, and Quantum Programming Languages. | Sam Staton |
| 2015 | Higher Inductive Types as Homotopy-Initial Algebras. | Kristina Sojakova |
| 2015 | Programming up to Congruence. | Vilhelm Sjberg, Stephanie Weirich |
| 2015 | Manifest Contracts for Datatypes. | Taro Sekiyama, Yuki Nishida, Atsushi Igarashi |
| 2015 | Equations, Contractions, and Unique Solutions. | Davide Sangiorgi |
| 2015 | Predicting Program Properties from "Big Code". | Veselin Raychev, Martin T. Vechev, Andreas Krause |
| 2015 | Safe & Efficient Gradual Typing for TypeScript. | Aseem Rastogi, Nikhil Swamy, Cdric Fournet, Gavin M. Bierman, Panagiotis Vekris |
| 2015 | Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. | Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni |
| 2015 | Coinductive techniques, from automata to coalgebra. | Damien Pous |
| 2015 | Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests. | Damien Pous |
| 2015 | Proof theory and its role in programming language research. | Frank Pfenning |
| 2015 | Decentralizing SDN Policies. | Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, Sharon Shoham |