| 2015 | Deductive Program Repair. | Etienne Kneuss, Manos Koukoutos, Viktor Kuncak |
| 2015 | Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
| 2015 | Property-Directed Inference of Universal Invariants or Proving Their Absence. | Aleksandr Karbyshev, Nikolaj S. Bjrner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham |
| 2015 | Adaptive Concretization for Parallel Program Synthesis. | Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster |
| 2015 | Skipping Refinement. | Mitesh Jain, Panagiotis Manolios |
| 2015 | The Open-Source LearnLib - A Framework for Active Automata Learning. | Malte Isberner, Falk Howar, Bernhard Steffen |
| 2015 | Automated and Modular Refinement Reasoning for Concurrent Programs. | Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran |
| 2015 | The SeaHorn Verification Framework. | Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas |
| 2015 | Tree Buffers. | Radu Grigore, Stefan Kiefer |
| 2015 | OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. | Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hhnle |
| 2015 | Symbolic Polytopes for Quantitative Interpolation and Verification. | Klaus von Gleissenthall, Boris Kpf, Andrey Rybalchenko |
| 2015 | Learning Commutativity Specifications. | Timon Gehr, Dimitar Dimitrov, Martin T. Vechev |
| 2015 | A Trusted Mechanised Specification of JavaScript: One Year On. | Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood |
| 2015 | Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain. | Yang Gao, Martin Frnzle |
| 2015 | Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. | Jasmin Fisher, Ali Sinan Kksal, Nir Piterman, Steven Woodhouse |
| 2015 | Algorithms for Model Checking HyperLTL and HyperCTL ^*. | Bernd Finkbeiner, Markus N. Rabe, Csar Snchez |
| 2015 | Adam: Causality-Based Synthesis of Distributed Systems. | Bernd Finkbeiner, Manuel Gieseking, Ernst-Rdiger Olderog |
| 2015 | Measuring with Timed Patterns. | Thomas Ferrre, Oded Maler, Dejan Nickovic, Dogan Ulus |
| 2015 | Finding Bounded Path in Graph Using SMT for Automatic Clock Routing. | Amit Erez, Alexander Nadel |
| 2015 | Model Checking Parameterized Asynchronous Shared-Memory Systems. | Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar |
| 2015 | Meeting a Powertrain Verification Challenge. | Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan |
| 2015 | Conflict-Driven Conditional Termination. | Vijay D'Silva, Caterina Urban |
| 2015 | Fairness Modulo Theory: A New Approach to LTL Software Model Checking. | Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski |
| 2015 | Quantifying Conformance Using the Skorokhod Metric. | Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu |
| 2015 | Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. | Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson |