| 2015 | A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken |
| 2015 | A Semantics for Propositions as Sessions. Sam Lindley, J. Garrett Morris |
| 2015 | A Separation Logic for Fictional Sequential Consistency. Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod |
| 2015 | A Theory of Name Resolution. Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
| 2015 | A Verified Compiler for Probability Density Functions. Manuel Eberl, Johannes Hölzl, Tobias Nipkow |
| 2015 | Analysis of Asynchronous Programs with Event-Based Synchronization. Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo |
| 2015 | Automatic Static Cost Analysis for Parallel Programs. Jan Hoffmann, Zhong Shao |
| 2015 | Binding Structures as an Abstract Data Type. Wilmer Ricciotti |
| 2015 | CoLoSL: Concurrent Local Subjective Logic. Azalea Raad, Jules Villard, Philippa Gardner |
| 2015 | Composite Replicated Data Types. Alexey Gotsman, Hongseok Yang |
| 2015 | Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival |
| 2015 | Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo |
| 2015 | Full Reduction in the Face of Absurdity. Gabriel Scherer, Didier Rémy |
| 2015 | Inter-procedural Two-Variable Herbrand Equalities. Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl |
| 2015 | IsoLATE: A Type System for Self-recursion. Ravi Chugh |
| 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 | Monotonic References for Efficient Gradual Typing. Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia |
| 2015 | Probabilistic Programs as Spreadsheet Queries. Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow |
| 2015 | Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings Jan Vitek |
| 2015 | Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. Cristina David, Daniel Kroening, Matt Lewis |
| 2015 | Refinement Types for Incremental Computational Complexity. Ezgi Çiçek, Deepak Garg, Umut A. Acar |
| 2015 | Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement. Tachio Terauchi, Hiroshi Unno |
| 2015 | Running Probabilistic Programs Backwards. Neil Toronto, Jay McCarthy, David Van Horn |
| 2015 | Segment Abstraction for Worst-Case Execution Time Analysis. Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr |
| 2015 | Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs. Willem Penninckx, Bart Jacobs, Frank Piessens |
| 2015 | Spatial Interpolants. Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid |
| 2015 | Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity. Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee |
| 2015 | Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection. Tie Cheng, Xavier Rival |
| 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 | The Problem of Programming Language Concurrency Semantics. Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell |
| 2015 | Type Targeted Testing. Eric L. Seidel, Niki Vazou, Ranjit Jhala |
| 2015 | Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond |
| 2015 | Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. Cristina David, Daniel Kroening, Matt Lewis |
| 2015 | Witnessing (Co)datatypes. Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel |