발행물
컨퍼런스
CAV 2007
2007.07
,
Shape Analysis for Composite Data Structures
LICS 2007
Local Action and Abstract Separation Logic
FOSSACS 2007
2007.04
Relational Parametricity and Separation Logic
SAS 2006
2006.08
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
TACAS 2006
2006.04
A Local Shape Analysis based on Separation Logic