Conference 19th international workshop on foundations of object-oriented languages (FOOL'12) 2012 233-234 Siek JG, Aldrich J, Boyland JT
Conference A Type System for Borrowing Permissions 2012 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 557-570 Naden K, Bocchino R, Aldrich J, Bierhoff K
Conference A Type System for Borrowing Permissions 2012 • ACM Sigplan Notices • 47(1):557-570 Naden K, Bocchino R, Aldrich J, Bierhoff K
Conference Statically Checking API Protocol Conformance with Mined Multi-Object Specifications 2012 • Proceedings - International Conference on Software Engineering • 925-935 Pradel M, Jaspan C, Aldrich J, Gross TR
Journal Article The Plaid Language: Typed Core Specification 2012 Aldrich J, Beckman NE, Bocchino R, Naden K, Saini D, Stork S, Sunshine J
Conference Verification of Snapshotable Trees Using Access Permissions and Typestate 2012 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7304:187-201 Mehnert H, Aldrich J
Conference 2011 international workshop on foundations of object-oriented languages (fool'11) 2011 319-320 Aldrich J, Siek J, Zucca E
Conference An Empirical Study of Object Protocols in the Wild 2011 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6813:2-26 Beckman NE, Kim D, Aldrich J
Chapter Checking Concurrent Typestate with Access Permissions in Plural: A Retrospective 2011 35-48 Bierhoff K, Beckman NE, Aldrich J
Conference First-class state change in plaid 2011 713-732 Sunshine J, Naden K, Stork S, Aldrich J, Tanter É
Conference First-Class State Change in Plaid 2011 • ACM Sigplan Notices • 46(10):713-732 Sunshine J, Naden K, Stork S, Aldrich J, Tanter E
Conference Gradual Typestate 2011 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6813:459-483 Wolff R, Garcia R, Tanter E, Aldrich J
Conference Permission-Based Programming Languages (NIER Track) 2011 • Proceedings - International Conference on Software Engineering • 828-831 Aldrich J, Garcia R, Hahnenberg M, Mohr M, Naden K, Saini D, Stork S, Sunshine J, Tanter E, Wolff R
Conference Plaid 2011 183-184 Aldrich J, Bocchino R, Garcia R, Hahnenberg M, Mohr M, Naden K, Saini D, Stork S, Sunshine J, Tanter É, Wolff R
Conference 2010 international workshop on foundations of object-oriented languages (FOOL'10) 2010 285-286 Aldrich J, Siek J
Journal Article A Language-based Approach to Specification and Enforcement of Architectural Protocols 2010 Bierhoff K, Kehrt M, Han S, Saini D, Al-Meshari M, Aldrich J
Conference Verifying event-driven programs using ramified frame properties 2010 63-76 Krishnaswami NR, Birkedal L, Aldrich J