Data-Flow Analysis |
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing |
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa |
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form / Kathleen Knobe ; Vivek Sarkar |
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses / Michael Hind ; Anthony Pioli |
Logic Programming |
Analysis of Normal Logic Programs / François Fages ; Roberta Gori |
The Correctness of Set-Sharing / Patricia M. Hill ; Roberto Bagnara ; Enea Zaffanella |
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing / Valérie Gouranton |
Concurrency |
A Symbolic Semantics for Abstract Model Checking / Francesca Levi |
Automatic Determination of Communication Topologies in Mobile Systems / Arnaud Venet |
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation / Chiara Bodei ; Pierpaolo Degano ; Corrado Priami |
Abstract Domains |
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs / Paolo Volpe |
Refining Static Analyses by Trace-Based Partinioning Using Control Flow / Maria Handjieva ; Stanislav Tzolovski |
Building Complete Abstract Interpretations in a Linear Logic-Based Setting / Roberto Giacobazzi ; Francesco Ranzato ; Francesca Scozzari |
Partial Evaluation |
On the Power of Homeomorphic Embedding for Online Termination / Michael Leuschel |
Analysis of Imperative Programs through Analysis of Constraint Logic Programs / Julio C. Peralta ; John P. Gallagher ; Huseyin SaGlam |
Improving Control in Functional Logic Program Specialization / E. Albert ; M. Alpuente ; M. Falaschi ; P. Julián ; G. Vidal |
Type Inference |
Directional Type Inference for Logic Programs / Witold Charatonik ; Andreas Podelski |
Finite Subtype Inference with Explicit Polymorphism / Dominic Duggan |
Optimization |
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis / M. Tadjouddine ; F. Eyssette ; C. Faure |
A New Solution to the Hidden Copy Problem / Deepak Goyal ; Robert Paige |
Tutorials |
A Tutorial on Domain Theory in Abstract Interpretation |
Program Analysis as Model Checking of Abstract Interpretations / David Schmidt ; Bernhard Steffen |
Invited Talks |
Certifying, Optimizing Compilation / Peter Lee |
Author Index |
Data-Flow Analysis |
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing |
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa |
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form / Kathleen Knobe ; Vivek Sarkar |
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses / Michael Hind ; Anthony Pioli |
Logic Programming |