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
Conference Checking Framework Interactions with Relationships 2009 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5653:27-51 Jaspan C, Aldrich J
Journal Article CZ: Multimethods and Multiple Inheritance Without Diamonds 2009 Malayeri D, Aldrich J
Conference CZ: Multiple Inheritance Without Diamonds 2009 • OOPSLA 2009, CONFERENCE PROCEEDINGS • 21-39 Malayeri D, Aldrich J
Conference CZ: Multiple Inheritance Without Diamonds 2009 • ACM Sigplan Notices • 44(10):21-39 Malayeri D, Aldrich J
Conference Design patterns in separation logic 2009 105-116 Krishnaswami NR, Aldrich J, Birkedal L, Svendsen K, Buisse A
Conference Is Structural Subtyping Useful? An Empirical Study 2009 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5502:95-111 Malayeri D, Aldrich J
