| 2014 | Measurements in Proof Nets as Higher-Order Quantum Circuits. | Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago |
| 2014 | An Abstract Domain to Infer Ordinal-Valued Ranking Functions. | Caterina Urban, Antoine Min |
| 2014 | Gradual Typing for Annotated Type Systems. | Peter Thiemann, Luminous Fennell |
| 2014 | Impredicative Concurrent Abstract Predicates. | Kasper Svendsen, Lars Birkedal |
| 2014 | An Array-Oriented Language with Static Rank Polymorphism. | Justin Slepak, Olin Shivers, Panagiotis Manolios |
| 2014 | Deriving Pretty-Big-Step Semantics from Small-Step Semantics. | Casper Bach Poulsen, Peter D. Mosses |
| 2014 | Verifying an Open Compiler Using Multi-language Semantics. | James T. Perconti, Amal Ahmed |
| 2014 | Communicating State Transition Systems for Fine-Grained Concurrent Resources. | Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germn Andrs Delbianco |
| 2014 | REAP: Reporting Errors Using Alternative Paths. | Joo Matos, Joo Garcia, Paolo Romano |
| 2014 | A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. | Ravi Mangal, Mayur Naik, Hongseok Yang |
| 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 | Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries. | Aparna Kotha, Kapil Anand, Timothy Creech, Khaled Elwazeer, Matthew Smithson, Rajeev Barua |
| 2014 | Composable Transactional Objects: A Position Paper. | Maurice Herlihy, Eric Koskinen |
| 2014 | Bounded Linear Types in a Resource Semiring. | Dan R. Ghica, Alex I. Smith |
| 2014 | The Network as a Language Construct. | Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2014 | Local Reasoning for the POSIX File System. | Philippa Gardner, Gian Ntzik, Adam Wright |
| 2014 | Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis. | Zhoulai Fu |
| 2014 | Staged Composition Synthesis. | Boris Ddder, Moritz Martens, Jakob Rehof |
| 2014 | The Duality of Construction. | Paul Downen, Zena M. Ariola |
| 2014 | On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. | Raphalle Crubill, Ugo Dal Lago |
| 2014 | Overlapping and Order-Independent Patterns - Definitional Equality for All. | Jesper Cockx, Frank Piessens, Dominique Devriese |
| 2014 | A Core Quantitative Coeffect Calculus. | Alos Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic |
| 2014 | Model and Proof Generation for Heap-Manipulating Programs. | Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel |
| 2014 | Resolving Non-determinism in Choreographies. | Laura Bocchi, Hernn C. Melgratti, Emilio Tuosto |