| 2007 | A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen |
| 2007 | A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. Francesco Banterle, Roberto Giacobazzi |
| 2007 | A Framework for End-to-End Verification and Evaluation of Register Allocators. V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg |
| 2007 | A New Algorithm for Identifying Loops in Decompilation. Tao Wei, Jian Mao, Wei Zou, Yu Chen |
| 2007 | Abstract Error Projection. Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
| 2007 | Accelerated Data-Flow Analysis. Jérôme Leroux, Grégoire Sutre |
| 2007 | Arithmetic Strengthening for Shape Analysis. Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook |
| 2007 | Astrée: From Research to Industry. David Delmas, Jean Souyris |
| 2007 | Compositional Verification and 3-Valued Abstractions Join Forces. Sharon Shoham, Orna Grumberg |
| 2007 | Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. Ben Hardekopf, Calvin Lin |
| 2007 | Fixpoint-Guided Abstraction Refinements. Patrick Cousot, Pierre Ganty, Jean-François Raskin |
| 2007 | Footprint Analysis: A Shape Analysis That Discovers Preconditions. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2007 | Formalised Inductive Reasoning in the Logic of Bunched Implications. James Brotherston |
| 2007 | Guided Static Analysis. Denis Gopan, Thomas W. Reps |
| 2007 | Hierarchical Pointer Analysis for Distributed Programs. Amir Kamil, Katherine A. Yelick |
| 2007 | Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. Tristan Le Gall, Bertrand Jeannet |
| 2007 | Magic-Sets Transformation for the Analysis of Java Bytecode. Étienne Payet, Fausto Spoto |
| 2007 | Modular Safety Checking for Fine-Grained Concurrency. Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis |
| 2007 | Optimal Abstraction on Real-Valued Programs. David Monniaux |
| 2007 | Precise Thread-Modular Verification. Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
| 2007 | Program Analysis Using Symbolic Ranges. Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2007 | Programming Language Design and Analysis Motivated by Hardware Evolution. Alan Mycroft |
| 2007 | Refactoring Using Type Constraints. Frank Tip |
| 2007 | Semantics-Based Transformation of Arithmetic Expressions. Matthieu Martel |
| 2007 | Shape Analysis with Structural Invariant Checkers. Bor-Yuh Evan Chang, Xavier Rival, George C. Necula |
| 2007 | Static Analysis of Dynamic Communication Systems by Partner Abstraction. Jörg Bauer, Reinhard Wilhelm |
| 2007 | Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings Hanne Riis Nielson, Gilberto Filé |
| 2007 | Taming the Wrapping of Integer Arithmetic. Axel Simon, Andy King |
| 2007 | Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. Eric Goubault, Sylvie Putot |