| 2015 | Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis. Isil Dillig |
| 2015 | Accelerating Invariant Generation. Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas |
| 2015 | An SMT-based Approach to Fair Termination Analysis. Javier Esparza, Philipp J. Meyer |
| 2015 | Better Lemmas with Lambda Extraction. Mathias Preiner, Aina Niemetz, Armin Biere |
| 2015 | CAQE: A Certifying QBF Solver. Markus N. Rabe, Leander Tentrup |
| 2015 | Comparing Different Functional Allocations in Automated Air Traffic Control Design. Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier |
| 2015 | Compositional Reasoning Gotchas in Practice. Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson, Vigyan Singhal |
| 2015 | Compositional Recurrence Analysis. Azadeh Farzan, Zachary Kincaid |
| 2015 | Compositional Safety Verification with Max-SMT. Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio |
| 2015 | Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. Anvesh Komuravelli, Nikolaj S. Bjørner, Arie Gurfinkel, Kenneth L. McMillan |
| 2015 | Democratization of Formal Verification with Collective Intelligence. Ziyad Hanna |
| 2015 | Detecting Hardware Trojans: A Tale of Two Techniques. Sharad Malik |
| 2015 | Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. Moritz Sinn, Florian Zuleger, Helmut Veith |
| 2015 | Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. Roope Kaivola, Thomas Wahl |
| 2015 | Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation. Priyank Kalla |
| 2015 | Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. Dmitry Burlyaev, Pascal Fradet |
| 2015 | IC3 Software Model Checking on Control Flow Automata. Tim Lange, Martin R. Neuhäußer, Thomas Noll |
| 2015 | Pattern-based Synthesis of Synchronization for the C++ Memory Model. Yuri Meshman, Noam Rinetzky, Eran Yahav |
| 2015 | Proving Hybrid Systems. André Platzer |
| 2015 | Pushing to the Top. Arie Gurfinkel, Alexander Ivrii |
| 2015 | Reactive Synthesis. Roderick Bloem |
| 2015 | Simulation Graphs for Reverse Engineering. Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton |
| 2015 | Skolem Functions for Factored Formulas. Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay |
| 2015 | Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik |
| 2015 | The FMCAD 2015 Graduate Student Forum. Georg Weissenbacher |
| 2015 | The Genesis and Development of Model Checking: Fact vs. Fiction. Allan Emerson |
| 2015 | Theory-Aided Model Checking of Concurrent Transition Systems. Guy Katz, Clark W. Barrett, David Harel |
| 2015 | Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. Murali Talupur, Sandip Ray, John Erickson |
| 2015 | Universal Boolean Functional Vectors. Jesse Bingham |
| 2015 | Verification of Cache Coherence Protocols wrt. Trace Filters. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu |