| 2014 | A Formalized Proof of Strong Normalization for Guarded Recursive Types. Andreas Abel, Andrea Vezzosi |
| 2014 | A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan |
| 2014 | A Precise and Abstract Memory Model for C Using Symbolic Values. Frédéric Besson, Sandrine Blazy, Pierre Wilke |
| 2014 | A Translation of Intersection and Union Types for the λμ-Calculus. Kentaro Kikuchi, Takafumi Sakurai |
| 2014 | A ZDD-Based Efficient Higher-Order Model Checking Algorithm. Taku Terao, Naoki Kobayashi |
| 2014 | Address Chain: Profiling Java Objects without Overhead in Java Heaps. Xiaohua Shi, Junru Xie, Hengyang Yu |
| 2014 | Automatic Constrained Rewriting Induction towards Verifying Procedural Programs. Cynthia Kop, Naoki Nishida |
| 2014 | Automatic Memory Management Based on Program Transformation Using Ownership. Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi |
| 2014 | Call-by-Value in a Basic Logic for Interaction. Ulrich Schöpp |
| 2014 | Compositional Entailment Checking for a Fragment of Separation Logic. Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar |
| 2014 | Functional Pearl: Nearest Shelters in Manhattan. Shin-Cheng Mu, Ting-Wei Chen |
| 2014 | Hereditary History-Preserving Bisimilarity: Logics and Automata. Paolo Baldan, Silvia Crafa |
| 2014 | Inferring Grammatical Summaries of String Values. Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu |
| 2014 | Logic Programming and Logarithmic Space. Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller |
| 2014 | Model-Checking for Android Malware Detection. Fu Song, Tayssir Touili |
| 2014 | Necessary and Sufficient Preconditions via Eager Abstraction. Mohamed Nassim Seghir, Peter Schrammel |
| 2014 | NetKAT - A Formal System for the Verification of Networks. Dexter Kozen |
| 2014 | Optimized Compilation of Multiset Rewriting with Comprehensions. Edmund Soon Lee Lam, Iliano Cervesato |
| 2014 | Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings Jacques Garrigue |
| 2014 | Resource Analysis of Complex Programs with Cost Equations. Antonio Flores-Montoya, Reiner Hähnle |
| 2014 | Resource Protection Using Atomics - Patterns and Verification. Afshin Amighi, Stefan Blom, Marieke Huisman |
| 2014 | Simple and Efficient Algorithms for Octagons. Aziem Chawdhary, Edward Robbins, Andy King |
| 2014 | Suppl: A Flexible Language for Policies. Robert Dockins, Andrew Tolmach |
| 2014 | Syntax-Directed Divide-and-Conquer Data-Flow Analysis. Shigeyuki Sato, Akimasa Morihata |
| 2014 | The Essence of Ruby. Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori |
| 2014 | Types for Flexible Objects. Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith |