| 2015 | CoLoSL: Concurrent Local Subjective Logic. | Azalea Raad, Jules Villard, Philippa Gardner |
| 2015 | Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs. | Willem Penninckx, Bart Jacobs, Frank Piessens |
| 2015 | A Theory of Name Resolution. | Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
| 2015 | A Semantics for Propositions as Sessions. | Sam Lindley, J. Garrett Morris |
| 2015 | Composite Replicated Data Types. | Alexey Gotsman, Hongseok Yang |
| 2015 | Probabilistic Programs as Spreadsheet Queries. | Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgstrm, Nicolas Rolland, Thore Graepel, Daniel Tarlow |
| 2015 | Inter-procedural Two-Variable Herbrand Equalities. | Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl |
| 2015 | Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. | Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler |
| 2015 | Analysis of Asynchronous Programs with Event-Based Synchronization. | Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo |
| 2015 | A Verified Compiler for Probability Density Functions. | Manuel Eberl, Johannes Hlzl, Tobias Nipkow |
| 2015 | Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. | Cristina David, Daniel Kroening, Matt Lewis |
| 2015 | Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. | Cristina David, Daniel Kroening, Matt Lewis |
| 2015 | Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. | Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival |
| 2015 | Refinement Types for Incremental Computational Complexity. | Ezgi iek, Deepak Garg, Umut A. Acar |
| 2015 | IsoLATE: A Type System for Self-recursion. | Ravi Chugh |
| 2015 | Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection. | Tie Cheng, Xavier Rival |
| 2015 | Segment Abstraction for Worst-Case Execution Time Analysis. | Pavol Cern, Thomas A. Henzinger, Laura Kovcs, Arjun Radhakrishna, Jakob Zwirchmayr |
| 2015 | A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. | Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Vronique Benzaken |
| 2015 | Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. | Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo |
| 2015 | Witnessing (Co)datatypes. | Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel |
| 2015 | The Problem of Programming Language Concurrency Semantics. | Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell |
| 2015 | Spatial Interpolants. | Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid |
| 2015 | The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong |
| 2015 | Automatic Static Cost Analysis for Parallel Programs. | Jan Hoffmann, Zhong Shao |
| 2014 | Checking Linearizability of Encapsulated Extended Operations. | Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv |