| 2014 | A Coq Formalization of the Relational Data Model. Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava |
| 2014 | A Core Quantitative Coeffect Calculus. Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic |
| 2014 | A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. Ravi Mangal, Mayur Naik, Hongseok Yang |
| 2014 | Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries. Aparna Kotha, Kapil Anand, Timothy Creech, Khaled ElWazeer, Matthew Smithson, Rajeev Barua |
| 2014 | An Abstract Domain to Infer Ordinal-Valued Ranking Functions. Caterina Urban, Antoine Miné |
| 2014 | An Array-Oriented Language with Static Rank Polymorphism. Justin Slepak, Olin Shivers, Panagiotis Manolios |
| 2014 | Application-Scale Secure Multiparty Computation. John Launchbury, Dave Archer, Thomas Dubuisson, Eric Mertens |
| 2014 | Automatic Termination Verification for Higher-Order Functional Programs. Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi |
| 2014 | Bounded Linear Types in a Resource Semiring. Dan R. Ghica, Alex I. Smith |
| 2014 | Checking Linearizability of Encapsulated Extended Operations. Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv |
| 2014 | Communicating State Transition Systems for Fine-Grained Concurrent Resources. Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco |
| 2014 | Composable Transactional Objects: A Position Paper. Maurice Herlihy, Eric Koskinen |
| 2014 | Deriving Pretty-Big-Step Semantics from Small-Step Semantics. Casper Bach Poulsen, Peter D. Mosses |
| 2014 | Gradual Typing for Annotated Type Systems. Peter Thiemann, Luminous Fennell |
| 2014 | Grounding Synchronous Deterministic Concurrency in Sequential Programming. Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann |
| 2014 | Impredicative Concurrent Abstract Predicates. Kasper Svendsen, Lars Birkedal |
| 2014 | Local Reasoning for the POSIX File System. Philippa Gardner, Gian Ntzik, Adam Wright |
| 2014 | Measurements in Proof Nets as Higher-Order Quantum Circuits. Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago |
| 2014 | Model and Proof Generation for Heap-Manipulating Programs. Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel |
| 2014 | On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. Raphaëlle Crubillé, Ugo Dal Lago |
| 2014 | Overlapping and Order-Independent Patterns - Definitional Equality for All. Jesper Cockx, Frank Piessens, Dominique Devriese |
| 2014 | Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings Zhong Shao |
| 2014 | REAP: Reporting Errors Using Alternative Paths. João Matos, João Garcia, Paolo Romano |
| 2014 | Resolving Non-determinism in Choreographies. Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto |
| 2014 | Staged Composition Synthesis. Boris Düdder, Moritz Martens, Jakob Rehof |
| 2014 | Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis. Zhoulai Fu |
| 2014 | The Duality of Construction. Paul Downen, Zena M. Ariola |
| 2014 | The Network as a Language Construct. Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2014 | Verified Compilation for Shared-Memory C. Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel |
| 2014 | Verifying an Open Compiler Using Multi-language Semantics. James T. Perconti, Amal Ahmed |