- A Local Shape Analysis based on Separation Dino Distefano1
- Research On Program Analysis System National Creative Research Initiative Center 1998-2003
- On Scalable Shape Analysis ISSN 1470-5559
- An example of local reasoning in BI pointer logic: the SchorrWaite graph marking algorithm
- Modular verification of preemptive OS kernels Alexey Gotsman
- Liveness-preserving atomicity abstraction Alexey Gotsman1
- A Local Shape Analysis based on Separation Dino Distefano1
- Program analysis for overlaid data structures Oukseh Lee12
- Scalable Shape Analysis For Systems Code Hongseok Yang1
- Correctness of Data Representations involving Heap Data Structures
- Shape analysis for composite data structures Josh Berdine
- Metric Spaces and Termination Analyses Aziem Chawdhary1,2
- Automatic Construction of Hoare Proofs from Abstract Interpretation Results
- Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs 1
- Abstraction for Concurrent Objects Ivana Filipovic, Peter O'Hearn, Noam Rinetzky, and Hongseok Yang
- A Semantic Foundation for Hidden State Jan Schwinghammer1
- LOCAL REASONING FOR STATEFUL PROGRAMS HONGSEOK YANG
- Abstraction for Concurrent Objects Ivana Filipovic, Peter O'Hearn, Noam Rinetzky, and Hongseok Yang
- Goal-directed Weakening of Abstract Interpretation Korea Advanced Institute of Science and Technology
- Nested Hoare Triples and Frame Rules for Higher-order Store$
- A Semantic Foundation for Hidden State Jan Schwinghammer1
- Abstraction for Concurrent Objects Ivana Filipovic, Peter O'Hearn, Noam Rinetzky1
- Data Refinement with Low-level Pointer Ivana Mijajlovic1
- Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
- Separation and Information Hiding Peter W. O'Hearn
- Petri Net Semantics of Bunched Implications Peter W. O'Hearn 1 and Hongseok Yang 2
- Correctness of Data Representations involving Heap Data Structures
- Data Refinement with Low-level Pointer Ivana Mijajlovic1
- Step-Indexed Kripke Models over Recursive Worlds Lars Birkedal
- Metric Spaces and Termination Analyses Aziem Chawdhary1,2
- Nested Hoare Triples and Frame Rules for Higher-order Store
- Compositional Shape Analysis by means of Bi-Abduction Cristiano Calcagno
- A Simple Model of Separation Logic for Higher-order Store
- Ranking Abstractions Aziem Chawdhary1
- Ranking Abstractions Aziem Chawdhary1
- Logical Methods in Computer Science Volume 00, Number 0, Pages 000000
- Footprint Analysis: A Shape Analysis that Discovers Preconditions
- Footprint Analysis: A Shape Analysis that Dis-covers Preconditions
- Shape analysis for composite data structures Josh Berdine Cristiano Calcagno Byron Cook
- Local Action and Abstract Separation Logic Extended version of paper from LICS'07, version of April 30, 2007
- Relational Separation Logic Hongseok Yang
- Relational Parametricity and Separation Logic Lars Birkedal1
- Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
- Inserting Safe Memory Reuse Commands into ML-like Programs ?
- Nested Hoare Triples and Frame Rules for Higher-order Store
- Separation and Information Hiding Peter W. O'Hearn
