Refinement and Separation Contexts. - Ivana Mijajlovic; Noah Torp-Smith; Peter W. O'Hearn (FSTTCS, 2004)

BI Hyperdoctrines and Higher-Order Separation Logic. - Bodil Biering; Lars Birkedal; Noah Torp-Smith (ESOP, 2005)

Semantics of Separation-Logic Typing and Higher-Order Frame Rules. - Lars Birkedal; Noah Torp-Smith; Hongseok Yang (LICS, 2005)

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages. - Lars Birkedal; Noah Torp-Smith; Hongseok Yang (Log. Methods Comput. Sci., 2006)

BI-hyperdoctrines, higher-order separation logic, and abstraction. - Bodil Biering; Lars Birkedal; Noah Torp-Smith (ACM Trans. Program. Lang. Syst., 2007)

Local reasoning about a copying garbage collector. - Noah Torp-Smith; Lars Birkedal; John C. Reynolds (ACM Trans. Program. Lang. Syst., 2008)

Blaming the client: on data refinement in the presence of pointers. - Ivana Filipovic; Peter W. O'Hearn; Noah Torp-Smith; Hongseok Yang (Formal Aspects Comput., 2010)