| 2016 | A Classical Realizability Model for a Semantical Value Restriction. | Rodolphe Lepigre |
| 2016 | On the Relative Expressiveness of Higher-Order Session Processes. | Dimitrios Kouzapas, Jorge A. Prez, Nobuko Yoshida |
| 2016 | Needle & Knot: Binder Boilerplate Tied Up. | Steven Keuchel, Stephanie Weirich, Tom Schrijvers |
| 2016 | Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations. | Hideyuki Kawabata, Hideya Iwasaki |
| 2016 | Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo |
| 2016 | An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages. | Daniel Huang, Greg Morrisett |
| 2016 | Coordinated Concurrent Programming in Syndicate. | Tony Garnock-Jones, Matthias Felleisen |
| 2016 | Probabilistic NetKAT. | Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva |
| 2016 | Automatically Splitting a Two-Stage Lambda Calculus. | Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian |
| 2016 | Visible Type Application. | Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed |
| 2016 | Call-By-Push-Value from a Linear Logic Point of View. | Thomas Ehrhard |
| 2016 | On Hierarchical Communication Topologies in the \pi -calculus. | Emanuele D'Osualdo, C.-H. Luke Ong |
| 2016 | Computing with Semirings and Weak Rig Groupoids. | Jacques Carette, Amr Sabry |
| 2016 | A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). | Emile Bres, Rob J. van Glabbeek, Peter Hfner |
| 2016 | Practical Optional Types for Clojure. | Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt |
| 2016 | Regular Programming for Quantitative Properties of Data Streams. | Rajeev Alur, Dana Fisman, Mukund Raghothaman |
| 2015 | Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. | Pedro B. Vasconcelos, Steffen Jost, Mrio Florido, Kevin Hammond |
| 2015 | Running Probabilistic Programs Backwards. | Neil Toronto, Jay McCarthy, David Van Horn |
| 2015 | Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement. | Tachio Terauchi, Hiroshi Unno |
| 2015 | Monotonic References for Efficient Gradual Typing. | Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia |
| 2015 | A Separation Logic for Fictional Sequential Consistency. | Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod |
| 2015 | Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity. | Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee |
| 2015 | Type Targeted Testing. | Eric L. Seidel, Niki Vazou, Ranjit Jhala |
| 2015 | Full Reduction in the Face of Absurdity. | Gabriel Scherer, Didier Rmy |
| 2015 | Binding Structures as an Abstract Data Type. | Wilmer Ricciotti |