발행물
컨퍼런스
CAV 2008
2008.07
,
Scalable Shape Analysis for Systems Code
ICALP 2008
A Simple Model of Separation Logic for Higher-order Store
ESOP 2008
2008.04
Ranking Abstractions
Queen Mary Tech Report RR-07-10
2007.11
On Scalable Shape Analysis
SAS 2007
2007.08
Footprint Analysis: A Shape Analysis that Discovers Preconditions