| 2013 | A Hoare Logic for SIMT Programs. Kensuke Kojima, Atsushi Igarashi |
| 2013 | Ambivalent Types for Principal Type Inference with GADTs. Jacques Garrigue, Didier Rémy |
| 2013 | Automated Inference of Library Specifications for Source-Sink Property Verification. Haiyan Zhu, Thomas Dillig, Isil Dillig |
| 2013 | Bi-Abduction with Pure Properties for Specification Inference. Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin |
| 2013 | Brzozowski's and Up-To Algorithms for Must Testing. Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva |
| 2013 | Dynamic Alias Protection with Aliasing Contracts. Janina Voigt, Alan Mycroft |
| 2013 | Environmental Bisimulations for Delimited-Control Operators. Dariusz Biernacki, Sergueï Lenglet |
| 2013 | Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr. |
| 2013 | GDSL: A Universal Toolkit for Giving Semantics to Machine Language. Julian Kranz, Alexander Sepp, Axel Simon |
| 2013 | Generalized Quantitative Analysis of Metric Transition Systems. Uli Fahrenberg, Axel Legay |
| 2013 | Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). Cristina Cifuentes, Nathan Keynes |
| 2013 | Laws of Programming for References. Giovanny Lucero, David A. Naumann, Augusto Sampaio |
| 2013 | Model Checking Dynamic Pushdown Networks. Fu Song, Tayssir Touili |
| 2013 | On Bar Recursion and Choice in a Classical Setting. Valentin Blot, Colin Riba |
| 2013 | Paragon for Practical Programming with Information-Flow Control. Niklas Broberg, Bart van Delft, David Sands |
| 2013 | Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. Koichi Fujima, Sohei Ito, Naoki Kobayashi |
| 2013 | Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings Chung-chieh Shan |
| 2013 | Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus. Matthias Puech |
| 2013 | Robustness Analysis of Finite Precision Implementations. Eric Goubault, Sylvie Putot |
| 2013 | Secure Compilation of Object-Oriented Components to Protected Module Architectures. Marco Patrignani, Dave Clarke, Frank Piessens |
| 2013 | Semantics of Probabilistic Programs: A Weak Limit Approach. Alessandra Di Pierro, Herbert Wiklicky |
| 2013 | Separation Logic Modulo Theories. Juan Antonio Navarro Pérez, Andrey Rybalchenko |
| 2013 | Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. Fritz Henglein, Ralf Hinze |
| 2013 | Temporal Specification Mining for Anomaly Analysis. Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li |
| 2013 | The Proof Assistant as an Integrated Development Environment. Nick Benton |
| 2013 | The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. Holger Siegel, Bogdan Mihaila, Axel Simon |
| 2013 | ThisJava: An Extension of Java with Exact Types. Hyunik Na, Sukyoung Ryu |