Arithmetic Strengthening for Shape Analysis
Stephen Magill, Josh Berdine, Edmund Clarke, and Byron Cook

14th International Static Analysis Symposium (SAS), 2007

(Long version)

Inferring Invariants in Separation Logic for Imperative List-processing Programs
Stephen Magill, Aleksandar Nanevski, Edmund Clarke, Peter Lee

Third Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE), 2006