Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Paperback)

Invited Talks.- Algorithmic Program Synthesis with Partial Programs and Decision Procedures.- Algorithmic Verification of Systems Software Using SMT Solvers.- Contributed Papers.- Abstraction Refinement for Quantified Array Assertions.- Inferring Dataflow Properties of User Defined Table Processors.- Polymorphic Fractional Capabilities.- Automatic Parallelization and Optimization of Programs by Proof Rewriting.- Refinement of Trace Abstraction.- The Causal Graph Revisited for Directed Model Checking.- Proving the Correctness of the Implementation of a Control-Command Algorithm.- Abstract Interpretation of FIFO Replacement.- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.- Increasing the Scope and Resolution of Interprocedural Static Single Assignment.- Region Analysis for Race Detection.- Bottom-Up Shape Analysis.- The Complexity of Andersen's Analysis in Practice.- Optimizing Pointer Analysis Using Bisimilarity.- Type Analysis for JavaScript.- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology.- Creating Transformations for Matrix Obfuscation.- Abstract Interpretation from a Topological Perspective.- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.- Invariant Checking for Programs with Procedure Calls.- Inter-program Properties.