| 2016 | A Debugger-Cooperative Higher-Order Contract System in Python. Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki |
| 2016 | A Realizability Interpretation for Intersection and Union Types. Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze |
| 2016 | A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. Taichi Yachi, Eijiro Sumii |
| 2016 | AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code. Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan |
| 2016 | AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications. Andrea Rosà, Lydia Y. Chen, Walter Binder |
| 2016 | Binary Session Types for Psi-Calculi. Hans Hüttel |
| 2016 | Completeness for a First-Order Abstract Separation Logic. Zhe Hou, Alwen Tiu |
| 2016 | DOM: Specification and Client Reasoning. Azalea Raad, José Fragoso Santos, Philippa Gardner |
| 2016 | Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin |
| 2016 | Eliom: A Core ML Language for Tierless Web Programming. Gabriel Radanne, Jérôme Vouillon, Vincent Balat |
| 2016 | Higher-Order Model Checking in Direct Style. Taku Terao, Takeshi Tsukada, Naoki Kobayashi |
| 2016 | Implementing Cantor's Paradise. Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
| 2016 | Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. Sooyoung Cha, Sehun Jeong, Hakjoo Oh |
| 2016 | Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. Tatsuya Abe, Toshiyuki Maeda |
| 2016 | Open Call-by-Value. Beniamino Accattoli, Giulio Guerrieri |
| 2016 | Probabilistic Programming Language and its Incremental Evaluation. Oleg Kiselyov |
| 2016 | Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings Atsushi Igarashi |
| 2016 | Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo |
| 2016 | SPEC: An Equivalence Checker for Security Protocols. Alwen Tiu, Nam Nguyen, Ross Horne |
| 2016 | Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. Kai Stadtmüller, Martin Sulzmann, Peter Thiemann |
| 2016 | Substructural Proofs as Automata. Henry DeYoung, Frank Pfenning |
| 2016 | Unified Syntax with Iso-types. Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira |
| 2016 | Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi |
| 2016 | Verifying Concurrent Graph Algorithms. Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner |