Noah Torp-Smith

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang
Blaming the client: on data refinement in the presence of pointers. Formal Aspects Comput. 22 (5) (2010)
Noah Torp-Smith, Lars Birkedal, John C. Reynolds
Local reasoning about a copying garbage collector. ACM Trans. Program. Lang. Syst. 30 (4) (2008)
Bodil Biering, Lars Birkedal, Noah Torp-Smith
BI-hyperdoctrines, higher-order separation logic, and abstraction. ACM Trans. Program. Lang. Syst. 29 (5) (2007)
Lars Birkedal, Noah Torp-Smith, Hongseok Yang
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages CoRR (2006)
Lars Birkedal, Noah Torp-Smith, Hongseok Yang
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages. Log. Methods Comput. Sci. 2 (5) (2006)
Bodil Biering, Lars Birkedal, Noah Torp-Smith
BI Hyperdoctrines and Higher-Order Separation Logic. ESOP (2005)
Lars Birkedal, Noah Torp-Smith, Hongseok Yang
Semantics of Separation-Logic Typing and Higher-Order Frame Rules. LICS (2005)
Lars Birkedal, Noah Torp-Smith, John C. Reynolds
Local reasoning about a copying garbage collector. POPL (2004)
Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hearn
Refinement and Separation Contexts. FSTTCS (2004)