| 2016 | A Classical Realizability Model for a Semantical Value Restriction. Rodolphe Lepigre |
| 2016 | A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs. Yuting Wang, Gopalan Nadathur |
| 2016 | A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). Emile Bres, Rob J. van Glabbeek, Peter Höfner |
| 2016 | Actor Services - Modular Verification of Message Passing Programs. Alexander J. Summers, Peter Müller |
| 2016 | An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. Antoine Miné, Jason Breck, Thomas W. Reps |
| 2016 | An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages. Daniel Huang, Greg Morrisett |
| 2016 | Automatically Splitting a Two-Stage Lambda Calculus. Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian |
| 2016 | Call-By-Push-Value from a Linear Logic Point of View. Thomas Ehrhard |
| 2016 | Classical By-Need. Pierre-Marie Pédrot, Alexis Saurin |
| 2016 | Computing with Semirings and Weak Rig Groupoids. Jacques Carette, Amr Sabry |
| 2016 | Coordinated Concurrent Programming in Syndicate. Tony Garnock-Jones, Matthias Felleisen |
| 2016 | Extensible and Efficient Automation Through Reflective Tactics. Gregory Malecha, Jesper Bengtson |
| 2016 | Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto |
| 2016 | Functional Big-Step Semantics. Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan |
| 2016 | Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations. Hideyuki Kawabata, Hideya Iwasaki |
| 2016 | Macrofication: Refactoring by Reverse Macro Expansion. Christopher Schuster, Tim Disney, Cormac Flanagan |
| 2016 | Modular Termination Verification for Non-blocking Concurrency. Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland |
| 2016 | Needle & Knot: Binder Boilerplate Tied Up. Steven Keuchel, Stephanie Weirich, Tom Schrijvers |
| 2016 | On Hierarchical Communication Topologies in the \pi -calculus. Emanuele D'Osualdo, C.-H. Luke Ong |
| 2016 | On the Relative Expressiveness of Higher-Order Session Processes. Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida |
| 2016 | Practical Optional Types for Clojure. Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt |
| 2016 | Probabilistic Functions and Cryptographic Oracles in Higher Order Logic. Andreas Lochbihler |
| 2016 | Probabilistic NetKAT. Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva |
| 2016 | Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Peter Thiemann |
| 2016 | Regular Programming for Quantitative Properties of Data Streams. Rajeev Alur, Dana Fisman, Mukund Raghothaman |
| 2016 | Simulating Cities: A Software Engineering Perspective. Cristina V. Lopes |
| 2016 | The Expressive Power of Monotonic Parallel Composition. Johannes Åman Pohjola, Joachim Parrow |
| 2016 | Transfinite Step-Indexing: Decoupling Concrete and Logical Steps. Kasper Svendsen, Filip Sieczkowski, Lars Birkedal |
| 2016 | Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. Alejandro Serrano, Jurriaan Hage |
| 2016 | Visible Type Application. Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed |
| 2016 | Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo |