Major conference papers

• A Type System for Borrowing Permissions
  Karl Naden, Robert Bocchino, Jonathan Aldrich, and Kevin Bierhoff
  To appear in Proceedings of Principles of Programming Languages (POPL) 2012
  pdf | companion technical report | presentation


• First-Class State Change in Plaid
  Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, and Éric Tanter
  in Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2011
  pdf | companion technical report | errata

Workshop papers

• Towards Practical Runtime Type Instantiation
  Karl Naden
  Talk to be given at Workshop on Types in Language Design and Implementation (TLDI), 2012
  pdf | presentation


• Modular Composition and State Update in Plaid
  Jonathan Aldrich, Karl Naden, and Éric Tanter
  In Proceedings of the Workshop on Mechanisms for Specialization, Generalization, and Inheritance (MASPEGHI), 2010
  pdf