Papers by Noah Torp-Smith

Papers

The papers are listed in reverse chronological order.

• Ivana Filipovic, Peter O'Hearn, and Noah Torp-Smith, Blaming the Client: On Data Refinement in Presence of Pointers To Appear in Formal Aspects of Computing (accepted). .pdf.
• Lars Birkedal, Noah Torp-Smith, and Hongseok Yang, Semantics of Separation-logic Typing and Higher-order Frame Rules for Algol-like Languages. Logical Methods in Computer Science (LMCS), vol. 2, issue 5. November 2006. link. Extended version of the conference paper "Semantics of Separation-logic Typing and Higher-order Frame Rules" mentioned below.
• Nick Benton and Noah Torp-Smith, Short Presentation: Abstracting Allocation: The New new Thing. Short paper in the proceedings of the Third workshop on Semantics, Program Analysis, and Computing Environments for Memory Mangament (SPACE'06). January, 2006 Charleston, South Carolina, USA.
• Noah Torp-Smith, Advances in Separation Logic - A Study of Logics for Reasoning about Stateful Programs. PhD Thesis, IT University of Copenhagen. December 2005. .pdf. Supervisor: Lars Birkedal.
• Bodil Biering, Lars Birkedal and Noah Torp-Smith, BI Hyperdoctrines, Higher-Order Separation Logic, and Abstraction. ACM Transactions on Programming Languages and Systems 29(5): (2007) .pdf .ps
• Bodil Biering, Lars Birkedal and Noah Torp-Smith, BI Hyperdoctrines, Higher-Order Separation Logic, and Abstraction. Technical Report TR-2005-69, IT University of Copenhagen. (This is an extension of the ESOP'05 paper mentioned below) .pdf
• Lars Birkedal, Noah Torp-Smith, and Hongseok Yang, Semantics of Separation-logic Typing and Higher-order Frame Rules. In Proceedings of the Twentieth Annual IEEE Symposium on Logic in Computer Science (LICS'05), pages 260-269. Chicago, IL, June 2005. .pdf
• Bodil Biering, Lars Birkedal, and Noah Torp-Smith, BI Hyperdoctrines and Higher-Order Separation Logic. In Proceedings of European Symposium on Programming (ESOP'05), pages 233-247. Edinburgh, Scotland, April 2005. .pdf (© Springer-Verlag)
• Ivana Mijajlovic and Noah Torp-Smith, Refinement and Separation Contexts. Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04). Chennai, India, December 2004. .pdf (© Springer-Verlag)
• Lars Birkedal, Noah Torp-Smith, and John C Reynolds, Local Reasoning about a Copying Garbage Collector, Proceedings of the 31st Symposium on Principles of Programming Languages (POPL'04), Venice, Italy, January 2004. .ps
  As a curious remark, this gives me an Erdös number of at most 4, which can be documented by the following chain: Erdös - Alfred Tarski - Dana Scott - Lars Birkedal - Noah Torp-Smith. Thanks to Christian Boesgaard for notifying me of this.
• Proving Correctness of a Garbage Collector via Local Reasoning. My so-called qualification report, it counts as my Master's thesis. .ps version
  A technical report with the most obvious flaws from the thesis corrected is available here.
• Towards the Theory of Equilogical Spaces. My first written project of my graduate studies. About an extension of the category of topological spaces that is cartesian closed. Also, the project contains an introduction to Lattice Theory. It was written under the supervision of Lars Birkedal. .ps, .pdf.

Back to Noah's main page.