| 2014 | Widening for Control-Flow. | Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap |
| 2014 | Timing Analysis of Parallel Software Using Abstract Execution. | Andreas Gustavsson, Jan Gustafsson, Bjrn Lisper |
| 2014 | Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java. | Zhoulai Fu |
| 2014 | Generic Combination of Heap and Value Analyses in Abstract Interpretation. | Pietro Ferrara |
| 2014 | Monitoring Parametric Temporal Logic. | Peter Faymonville, Bernd Finkbeiner, Doron A. Peled |
| 2014 | Synthesis with Identifiers. | Rdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit |
| 2014 | A Logic-Based Framework for Verifying Consensus Algorithms. | Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey |
| 2014 | Doomsday Equilibria for Omega-Regular Games. | Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-Franois Raskin |
| 2014 | Refuting Heap Reachability. | Bor-Yuh Evan Chang |
| 2014 | Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. | Marius Bozga, Radu Iosif, Filip Konecn |
| 2014 | SAT-Based Synthesis Methods for Safety Specs. | Roderick Bloem, Robert Knighofer, Martina Seidl |
| 2014 | Verifying Array Programs by Transforming Verification Conditions. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2014 | Parameterized Model Checking of Token-Passing Systems. | Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin |
| 2014 | Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach. | Vicente Acua, Andrs Aravena, Alejandro Maass, Anne Siegel |
| 2013 | Compositional and Lightweight Dependent Type Inference for ML. | He Zhu, Suresh Jagannathan |
| 2013 | State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. | Manchun Zheng, David Sann, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu |
| 2013 | Abstraction-Guided Synthesis. | Eran Yahav |
| 2013 | Reduced Product Combination of Abstract Domains for Shapes. | Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival |
| 2013 | ClabureDB: Classified Bug-Reports Database. | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2013 | Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. | Yassamine Seladji, Olivier Bouissou |
| 2013 | Logico-Numerical Max-Strategy Iteration. | Peter Schrammel, Pavle Subotic |
| 2013 | Robustness Analysis of Networked Systems. | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
| 2013 | Complete Abstractions Everywhere. | Francesco Ranzato |
| 2013 | Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. | Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan |
| 2013 | Automata as Proofs. | Andreas Podelski |