| 2003 | The Java System Dependence Graph. | Neil Walkinshaw, Marc Roper, Murray Wood |
| 2003 | Managing Multi-Billion Dollar IT Budgets using Source Code Analysis. | Chris Verhoef |
| 2003 | Design and Implementation of Bytecode-based Java Slicing System. | Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Katsuro Inoue |
| 2003 | Online Cycle Detection and Difference Propagation for Pointer Analysis. | David J. Pearce, Paul H. J. Kelly, Chris Hankin |
| 2003 | Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave. | Karina Olmos, Eelco Visser |
| 2003 | Towards managing environment dependence during legacy systems renovation and maintenance. | Maxim Mossienko, Oleg Khaschansky, Dmitriy Antonov, Oleg Smirnov, Anton Gubanov |
| 2003 | Checking Program Profiles. | Patrick Moseley, Saumya K. Debray, Gregory R. Andrews |
| 2003 | Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. | Matthieu Martel |
| 2003 | Detection of Redundant Code using R2D2. | Antnio Menezes Leito |
| 2003 | Static Slicing of Reactive Programs. | Aditya Rajeev Kulkarni, S. Ramesh |
| 2003 | Barrier Slicing and Chopping. | Jens Krinke |
| 2003 | Parse-Tree Annotations Meet Re-Engineering Concerns. | Jan Kort, Ralf Lmmel |
| 2003 | Interprocedural Static Slicing of Binary Executables. | kos Kiss, Judit Jsz, Gbor Lehotai, Tibor Gyimthy |
| 2003 | Unique Renaming of Java Using Source Transformation. | Xinping Guo, James R. Cordy, Thomas R. Dean |
| 2003 | CPP Denotational Semantics. | Jean-Marie Favre |
| 2003 | Applying Meyer's Taxonomy to Object-Oriented Software Systems. | Michael English, Jim Buckley, Tony Cahill |
| 2003 | Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. | David W. Binkley, Mark Harman |
| 2003 | Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. | Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser |
| 2003 | XOgastan: XML-Oriented gcc AST Analysis and Transformations. | Giuliano Antoniol, Massimiliano Di Penta, Gianluca Masone, Umberto Villano |
| 2002 | Mechanized Operational Semantics of WSL. | Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu |
| 2002 | Dynamic Slicing Object-Oriented Programs for Debugging. | Baowen Xu, Zhenqiang Chen, Hongji Yang |
| 2002 | Predicate-Based Dynamic Slicing of Message Passing Programs. | Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami |
| 2002 | Construction of the System Dependence Graph for Web Application Slicing. | Filippo Ricca, Paolo Tonella |
| 2002 | A Simple Mathematically Based Framework for Rule Extraction Using Wide Spectrum Language. | Frederick V. Ramsey, James J. Alpigini |
| 2002 | Precise Call Graph Construction in the Presence of Function Pointers. | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |