| 2005 | A Generic Framework for Interprocedural Analysis of Numerical Properties. Markus Müller-Olm, Helmut Seidl |
| 2005 | A Relational Abstraction for Functions. Bertrand Jeannet, Denis Gopan, Thomas W. Reps |
| 2005 | Abstraction Refinement for Termination. Byron Cook, Andreas Podelski, Andrey Rybalchenko |
| 2005 | Algorithmic Game Semantics and Static Analysis. Samson Abramsky |
| 2005 | Banshee: A Scalable Constraint-Based Analysis Toolkit. John Kodumal, Alex Aiken |
| 2005 | Boolean Heaps. Andreas Podelski, Thomas Wies |
| 2005 | Data-Abstraction Refinement: A Game Semantic Approach. Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic |
| 2005 | Exploiting Sparsity in Polyhedral Analysis. Axel Simon, Andy King |
| 2005 | Finding Basic Block and Variable Correspondence. Iman Narasamdya, Andrei Voronkov |
| 2005 | From Typed Process Calculi to Source-Based Security. Andrew D. Gordon |
| 2005 | Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella |
| 2005 | Inference of Well-Typings for Logic Programs with Application to Termination Analysis. Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck |
| 2005 | Interprocedural Shape Analysis for Cutpoint-Free Programs. Noam Rinetzky, Mooly Sagiv, Eran Yahav |
| 2005 | Locality-Based Abstractions. Javier Esparza, Pierre Ganty, Stefan Schwoon |
| 2005 | Memory Space Conscious Loop Iteration Duplication for Reliable Execution. Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy |
| 2005 | Memory Usage Verification for OO Programs. Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard |
| 2005 | Pair-Sharing Analysis of Object-Oriented Programs. Stefano Secci, Fausto Spoto |
| 2005 | Secure Information Flow as a Safety Problem. Tachio Terauchi, Alex Aiken |
| 2005 | Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings Chris Hankin, Igor Siveroni |
| 2005 | Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi |
| 2005 | The PER Model of Abstract Non-interference. Sebastian Hunt, Isabella Mastroeni |
| 2005 | Type-Safe Optimisation of Plugin Architectures. Neal Glew, Jens Palsberg, Christian Grothoff |
| 2005 | Understanding the Origin of Alarms in Astrée. Xavier Rival |
| 2005 | Using Dependent Types to Certify the Safety of Assembly Code. Matthew Harren, George C. Necula |
| 2005 | Widening Operators for Weakly-Relational Numeric Abstractions. Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella |