THOR: A Tool for Reasoning about Shape and Arithmetic
Stephen Magill, Ming-Hsien Tsai, Peter Lee and Yih-Kuen Tsay

20th International Conference on Computer Aided Verification (CAV), 2008

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

The Inverse Method for the Logic of Bunched Implications
Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill and Sungwoo Park

11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), 2004