Conference Rely-Guarantee Protocols 2014 • Lecture Notes in Computer Science • 8586:334-359 Militao F, Aldrich J, Caires L
Conference Safely Composable Type-Specific Languages 2014 • Lecture Notes in Computer Science • 8586:105-130 Omar C, Kurilova D, Nistor L, Chung B, Potanin A, Aldrich J
Conference Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming 2014 • Lecture Notes in Computer Science • 8586:157-181 Sunshine J, Herbsleb JD, Aldrich J
Conference Type-specific languages to fight injection attacks 2014 1-2 Kurilova D, Omar C, Nistor L, Chung B, Potanin A, Aldrich J
Journal Article A retrospective on aliasing type systems: 2012-2022 2013 • Lecture Notes in Computer Science • 7850:509-511 Aldrich J
Chapter A Retrospective on Aliasing Type Systems: 2012-2022 2013 • Lecture Notes in Computer Science • 7850:509-511 Aldrich J
Conference Introducing Tool-Supported Architecture Review into Software Design Education 2013 • Software Engineering Education Conference, Proceedings • 70-79 Cai Y, Kazman R, Jaspan C, Aldrich J
Conference Type-directed, whitespace-delimited parsing for embedded DSLs 2013 8-11 Omar C, Chung B, Kurilova D, Potanin A, Aldrich J
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 • 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 • 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
