| 2015 | Tree-Like Grammars and Separation Logic. | Christoph Matheja, Christina Jansen, Thomas Noll |
| 2015 | Abstraction of Optional Numerical Values. | Jiangchao Liu, Xavier Rival |
| 2015 | A Secure Compiler for ML Modules. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2015 | Decision Algorithms for Checking Definability of Order-2 Finitary PCF. | Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi |
| 2015 | Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. | Guilhem Jaber, Nicolas Tabareau |
| 2015 | A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. | Hiroaki Inoue, Atsushi Igarashi |
| 2015 | Objects in Polynomial Time. | Emmanuel Hainry, Romain Pchoux |
| 2015 | Bottom-Up Context-Sensitive Pointer Analysis for Java. | Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig |
| 2015 | Randomized Resource-Aware Path-Sensitive Static Analysis. | Tomasz Dudziak |
| 2015 | Programming Techniques for Reversible Comparison Sorts. | Holger Bock Axelsen, Tetsuo Yokoyama |
| 2015 | Transactions on Mergeable Objects. | Deepthi Devaki Akkoorath, Annette Bieniusa |
| 2015 | Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. | Assal Adj, Pierre-Loc Garoche, Alexis Werey |
| 2015 | A Strong Distillery. | Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
| 2014 | A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. | Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan |
| 2014 | The Essence of Ruby. | Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori |
| 2014 | A ZDD-Based Efficient Higher-Order Model Checking Algorithm. | Taku Terao, Naoki Kobayashi |
| 2014 | Automatic Memory Management Based on Program Transformation Using Ownership. | Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi |
| 2014 | Model-Checking for Android Malware Detection. | Fu Song, Tayssir Touili |
| 2014 | Address Chain: Profiling Java Objects without Overhead in Java Heaps. | Xiaohua Shi, Junru Xie, Hengyang Yu |
| 2014 | Necessary and Sufficient Preconditions via Eager Abstraction. | Mohamed Nassim Seghir, Peter Schrammel |
| 2014 | Call-by-Value in a Basic Logic for Interaction. | Ulrich Schpp |
| 2014 | Syntax-Directed Divide-and-Conquer Data-Flow Analysis. | Shigeyuki Sato, Akimasa Morihata |
| 2014 | Types for Flexible Objects. | Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith |
| 2014 | Functional Pearl: Nearest Shelters in Manhattan. | Shin-Cheng Mu, Ting-Wei Chen |
| 2014 | Optimized Compilation of Multiset Rewriting with Comprehensions. | Edmund Soon Lee Lam, Iliano Cervesato |