- Proving Conditional Termination Byron Cook1
- Leaping Loops in the Presence of Abstraction Thomas Ball1
- Constructing Specialized Shape Analyses for Uniform Change
- Shape Analysis by Graph Decomposition R. Manevich1,
- Modular Shape Analysis for Dynamically Encapsulated Programs
- Thread-Modular Shape Analysis Alexey Gotsman
- Comparison Under Abstraction for Verifying Linearizability
- Revamping TVLA: Making Parametric Shape Analysis Competitive
- Labelled Clauses Tal Lev-Ami1,
- Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time
- Deriving Specialized Program Analyses for Certifying Component-Client Conformance
- Local Reasoning for Storable Locks and Threads Alexey Gotsman1
- Nordic Journal of Computing 5(1998), 361--386. BUILDING A BRIDGE BETWEEN
- Checking Cleanness in Linked Lists Nurit Dor 1? , Michael Rodeh 2 , and Mooly Sagiv 1
- Cleanness Checking of String Manipulations in C Programs via Integer Analysis
- A Kleene Analysis of Mobile Ambients Flemming Nielson 1 Hanne Riis Nielson 1 Mooly Sagiv 2
- Numeric Domains with Summarized Dimensions Denis Gopan 1 , Frank DiMaio 1 , Nurit Dor 2 , Thomas Reps 1 , and Mooly Sagiv 2
- Solving ShapeAnalysis Problems in Languages with Destructive Updating
- On the Effectiveness of GC in Java TelAviv University and
- TVLA: A System for Implementing Static Analyses ?
- Compactly Representing FirstOrder Structures for Static Analysis
- Automatic Removal of Array Memory Leaks in Java
- CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C
- Partially Disjunctive Heap Abstraction Roman Manevich1
- J. Parallel Distrib. Comput. 67 (2007) 536550 www.elsevier.com/locate/jpdc
- Ranking Abstractions Aziem Chawdhary1
- Parametric Shape Analysis via 3-Valued Logic
- Thread Quantification for Concurrent Shape Analysis J. Berdine1
- Cartesian Partial-Order Reduction , Cormac Flanagan2
- On the Complexity of Partially-Flow-Sensitive Alias Analysis
