"Focusing on Pattern Matching", Neelakantan R. Krishnaswami, submitted for publication to POPL 2008.
"Modular Verification of the Subject-Observer Pattern via Higher-Order Separation Logic", Neelakantan R. Krishnaswami, Lars Birkedal, and Jonathan Aldrich. Unpublished draft, presented at the FTFJP 2007 workshop.
"Idealized ML and Its Separation Logic", Neelakantan R. Krishnaswami, Lars Birkedal, Jonathan Aldrich, John C. Reynolds. Submitted for publication to POPL 2007.
"Separation Logic for a Higher-Order Typed Language", Neel Krishnaswami. Unpublished draft, presented at SPACE 2006 workshop.
"Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages", Neel Krishnaswami and Jonathan Aldrich. Published in PLDI 2005.
"The Inverse Method for the Logic of Bunched Implications", Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Steven Magill and Sungwoo Park. Appeared in LPAR 2004. (Copyright Springer-Verlag)
Notes on Regular Tree Automata
Super-high level notes on ownership
Medium-high level notes on ownership
Slides for PLDI Ownership Talk