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