"A Transformational Approach for Generating Non-Linear Invariants." Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech.
"Abstract Interpretation Based Semantics of Sequent Calculi." Gianluca Amato, Giorgio Levi.
"Abstract Interpretation of Game Properties." Thomas A. Henzinger, Rupak Majumdar, Freddy Y.C. Mang, Jean-Francois Raskin.
"Abstract domains for sharing analysis by optimal semantics." Francesca Scozzari.
"Abstract interpretation of probabilistic semantics." David Monniaux.
"Checking Cleanness in Linked Lists." Nurit Dor, Michael Rodeh, Mooly Sagiv.
"Code Specialization Based on Value Profiles." Robert Muth, Scott Watterson, Saumya Debray.
"Concurrency Analysis for Java." Cristian Ungureanu, Suresh Jagannathan.
"Confidentiality Analysis of Mobile Systems." Jerome Feret.
"Deriving Parallel Codes via Invariants." Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi.
"Efficient Inference of Static Types for Java Bytecode." Etienne Gagnon, Laurie Hendren.
"FULLDOC: A Full Reporting Debugger for Optimized Code." Clara Jaramillo, Rajiv, Gupta, Mary Lou Soffa.
"Flattening is an Improvement." James Riely, Jan Prins.
"Model Checking Guided Abstraction and Analysis." Hassen Saidi.
"Partial Redundancy Elimination on Predicated Code." Jens Knoop, Jean-Francois Collard, Roy Dz-ching Ju.
"Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C." Jeffrey Foster, Manuel Faehndrich, Alexander Aiken.
"Safety of Strictness Analysis via Term Graph Rewriting." David Clark, Chris Hankin, Sebastian Hunt.
"TVLA: A System for Implementing Static Analyses." Tal Lev-Ami, Mooly Sagiv.
"Tree Schemata and Fair Termination." Laurent Mauborgne.
"Unified Analysis of Array and Object References in Strongly Typed Languages." Stephen Fink, Kathleen Knobe, Vivek Sarkar.