Invited Talk.- Type Systems for XML.- The Essence of Dataflow Programming.- Data Refinement with Low-Level Pointer Operations.- A Simple Semantics for Polymorphic Recursion.- Symbolic Execution with Separation Logic.- An Abstract Interpretation Perspective on Linear vs. Branching Time.- The Parallel Implementation of the Astrée Static Analyzer.- Using Datalog with Binary Decision Diagrams for Program Analysis.- Loop Invariants on Demand.- Invited Talk.- Integrating Physical Systems in the Static Analysis of Embedded Control Software.- Reflection Analysis for Java.- Lightweight Family Polymorphism.- A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting.- Race Conditions in Message Sequence Charts.- Invited Talk.- A Next-Generation Platform for Analyzing Executables.- Calculating Polynomial Runtime Properties.- Resource Bound Certification for a Tail-Recursive Virtual Machine.- A Path Sensitive Type System for Resource Usage Verification of C Like Languages.- Termination Analysis of Higher-Order Functional Programs.- Heterogeneous Fixed Points with Application to Points-To Analysis.- Register Allocation Via Coloring of Chordal Graphs.- Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis.- Abstract Dependences for Alarm Diagnosis.- A Typed, Compositional Logic for a Stack-Based Abstract Machine.- A New Occurrence Counting Analysis for BioAmbients.- A Parametric Model for the Analysis of Mobile Ambients.- On the Rôle of Abstract Non-interference in Language-Based Security.
