| 2015 | A Calculus for Relaxed Memory. Karl Crary, Michael J. Sullivan |
| 2015 | A Coalgebraic Decision Procedure for NetKAT. Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson |
| 2015 | A Formally-Verified C Static Analyzer. Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie |
| 2015 | A Meta Lambda Calculus with Cross-Level Computation. Kazunori Tobisawa |
| 2015 | A Scalable, Correct Time-Stamped Stack. Mike Dodds, Andreas Haas, Christoph M. Kirsch |
| 2015 | Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni |
| 2015 | Algebraic Effects, Linearity, and Quantum Programming Languages. Sam Staton |
| 2015 | Analyzing Program Analyses. Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato |
| 2015 | Automating Repetitive Tasks for the Masses. Sumit Gulwani |
| 2015 | Coding by Everyone, Every Day. Peter Lee |
| 2015 | Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli |
| 2015 | Compositional CompCert. Gordon Stewart, Lennart Beringer, Santiago Cuéllar, Andrew W. Appel |
| 2015 | Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
| 2015 | DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. Rajeev Alur, Loris D'Antoni, Mukund Raghothaman |
| 2015 | Data-Parallel String-Manipulating Programs. Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits |
| 2015 | Databases and Programming: Two Subjects Divided by a Common Language? Peter Buneman |
| 2015 | Decentralizing SDN Policies. Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, Sharon Shoham |
| 2015 | Deep Specifications and Certified Abstraction Layers. Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo |
| 2015 | Dependent Information Flow Types. Luísa Lourenço, Luís Caires |
| 2015 | Differential Privacy: Now it's Getting Personal. Hamid Ebadi, David Sands, Gerardo Schneider |
| 2015 | Equations, Contractions, and Unique Solutions. Davide Sangiorgi |
| 2015 | Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal |
| 2015 | Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant. Benjamin Delaware, Clément Pit-Claudel, Jason Gross, Adam Chlipala |
| 2015 | From Communicating Machines to Graphical Choreographies. Julien Lange, Emilio Tuosto, Nobuko Yoshida |
| 2015 | From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification. Adam Chlipala |
| 2015 | Full Abstraction for Signal Flow Graphs. Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2015 | Functors are Type Refinement Systems. Paul-André Melliès, Noam Zeilberger |
| 2015 | Higher Inductive Types as Homotopy-Initial Algebras. Kristina Sojakova |
| 2015 | Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub |
| 2015 | Integrating Linear and Dependent Types. Neelakantan R. Krishnaswami, Cécilia Pradic, Nick Benton |
| 2015 | Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer |
| 2015 | K-Java: A Complete Semantics of Java. Denis Bogdanas, Grigore Rosu |
| 2015 | Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems. Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang |
| 2015 | Manifest Contracts for Datatypes. Taro Sekiyama, Yuki Nishida, Atsushi Igarashi |
| 2015 | On Characterizing the Data Access Complexity of Programs. Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan |
| 2015 | Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate |
| 2015 | Predicting Program Properties from "Big Code". Veselin Raychev, Martin T. Vechev, Andreas Krause |
| 2015 | Principal Type Schemes for Gradual Programs. Ronald Garcia, Matteo Cimini |
| 2015 | Probabilistic Termination: Soundness, Completeness, and Compositionality. Luis María Ferrer Fioriti, Holger Hermanns |
| 2015 | Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015 Sriram K. Rajamani, David Walker |
| 2015 | Program Boosting: Program Synthesis via Crowd-Sourcing. Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes |
| 2015 | Programming up to Congruence. Vilhelm Sjöberg, Stephanie Weirich |
| 2015 | Proof Spaces for Unbounded Parallelism. Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
| 2015 | Quantitative Interprocedural Analysis. Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner |
| 2015 | Runtime Enforcement of Security Policies on Black Box Reactive Programs. Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens |
| 2015 | Safe & Efficient Gradual Typing for TypeScript. Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris |
| 2015 | Self-Representation in Girard's System U. Matt Brown, Jens Palsberg |
| 2015 | Sound Modular Verification of C Code Executing in an Unverified Context. Pieter Agten, Bart Jacobs, Frank Piessens |
| 2015 | Space-Efficient Manifest Contracts. Michael Greenberg |
| 2015 | Specification Inference Using Context-Free Language Reachability. Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | Succinct Representation of Concurrent Trace Sets. Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach |
| 2015 | Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks. Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie, Lu Zhang, Hong Mei |
| 2015 | Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests. Damien Pous |
| 2015 | Towards the Essence of Hygiene. Michael D. Adams |
| 2015 | Tractable Refinement Checking for Concurrent Objects. Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2015 | Ur/Web: A Simple Model for Programming the Web. Adam Chlipala |