Static Analysis

- 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