Jonathan Aldrich

Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross: Statically checking API protocol conformance with mined multi-object specifications. ICSE 2012: 925-935

Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland: 19th international workshop on foundations of object-oriented languages (FOOL'12). SPLASH 2012: 233-234

Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff: A type system for borrowing permissions. POPL 2012: 557-570

Hannes Mehnert, Jonathan Aldrich: Verification of Snapshotable Trees Using Access Permissions and Typestate. TOOLS (50) 2012: 187-201

Nels E. Beckman, Duri Kim, Jonathan Aldrich: An Empirical Study of Object Protocols in the Wild. ECOOP 2011: 2-26

Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich: Gradual Typestate. ECOOP 2011: 459-483

Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff: Permission-based programming languages. ICSE 2011: 828-831

Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich: Changing state in the plaid language. OOPSLA Companion 2011: 37-38

Ciera Jaspan, Jonathan Aldrich: Are object protocols burdensome?: an empirical study of developer forums. PLATEAU 2011: 51-56

Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff: Plaid: a permission-based programming language. OOPSLA Companion 2011: 183-184

Jonathan Aldrich, Jeremy G. Siek, Elena Zucca: 2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. OOPSLA Companion 2011: 319-320

Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter: First-class state change in plaid. OOPSLA 2011: 713-732

Jonathan Aldrich, Jeremy G. Siek: 2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary. SPLASH/OOPSLA Companion 2010: 285-286

Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich: Verifying event-driven programs using ramified frame properties. TLDI 2010: 63-76

Ciera Jaspan, Jonathan Aldrich: Checking Framework Interactions with Relationships. ECOOP 2009: 27-51

Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich: Practical API Protocol Checking with Access Permissions. ECOOP 2009: 195-219

Donna Malayeri, Jonathan Aldrich: Is Structural Subtyping Useful? An Empirical Study. ESOP 2009: 95-111

Donna Malayeri, Jonathan Aldrich: CZ: multiple inheritance without diamonds. OOPSLA 2009: 21-40

Marwan Abi-Antoun, Jonathan Aldrich: Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. OOPSLA 2009: 321-340

Sven Stork, Paulo Marques, Jonathan Aldrich: Concurrency by default: using permissions to express dataflow in stateful programs. OOPSLA Companion 2009: 933-940

Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks: Typestate-oriented programming. OOPSLA Companion 2009: 1015-1022

Marwan Abi-Antoun, Jonathan Aldrich: Static extraction of sound hierarchical runtime object graphs. TLDI 2009: 51-64

Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse: Design patterns in separation logic. TLDI 2009: 105-116

Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan: Differencing and merging of architectural views. Autom. Softw. Eng. 15(1): 35-74 (2008)

Donna Malayeri, Jonathan Aldrich: Integrating Nominal and Structural Subtyping. ECOOP 2008: 260-284

Kevin Bierhoff, Jonathan Aldrich: PLURAL: checking protocol compliance under aliasing. ICSE Companion 2008: 971-972

Ciera Jaspan, Trisha Quan, Jonathan Aldrich: Error Reporting Logic. ASE 2008: 138-147

Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich: Verifying correct usage of atomic blocks and typestate. OOPSLA 2008: 227-244

Marwan Abi-Antoun, Jonathan Aldrich: Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture. OOPSLA Companion 2008: 741-742

Marwan Abi-Antoun, Jonathan Aldrich: Tool support for the static extraction of sound hierarchical representations of runtime object graphs. OOPSLA Companion 2008: 743-744

Marwan Abi-Antoun, Jonathan Aldrich: A field study in static extraction of runtime architectures. PASTE 2008: 22-28

Jonathan Aldrich: Using Types to Enforce Architectural Structure. WICSA 2008: 211-220

Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho: A case study in re-engineering to enforce architectural control flow and data sharing. Journal of Systems and Software 80(2): 240-264 (2007)

Jonathan Aldrich: Assuring Object-Oriented Architecture. ECOOP 2007: 450

Marwan Abi-Antoun, Jonathan Aldrich: Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. ASE 2007: 543-544

Kevin Bierhoff, Jonathan Aldrich: Modular typestate checking of aliased objects. OOPSLA 2007: 301-320

Donna Malayeri, Jonathan Aldrich: Combining structural subtyping and external dispatch. OOPSLA Companion 2007: 789-790

Ciera Jaspan, Jonathan Aldrich: Checking framework plugins. OOPSLA Companion 2007: 795-796

Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610

Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE (Companion) 2007: 609-610

Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan: Discovering Architectures from Running Systems. IEEE Trans. Software Eng. 32(7): 454-466 (2006)

Donna Malayeri, Jonathan Aldrich: Practical Exception Specifications. Advanced Topics in Exception Handling Techniques 2006: 200-220

Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan: Differencing and Merging of Architectural Views. ASE 2006: 47-58

Marwan Abi-Antoun, Jonathan Aldrich: Bringing ownership domains to mainstream Java. OOPSLA Companion 2006: 702-703

Marwan Abi-Antoun, Jonathan Aldrich: A static analysis for extracting runtime views from annotated object-oriented code. OOPSLA Companion 2006: 734-735

Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri: Young guns/object orientation: the next generation. OOPSLA Companion 2006: 940-942

Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng: Improving system dependability by enforcing architectural intent. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)

Jonathan Aldrich: Open Modules: Modular Reasoning About Advice. ECOOP 2005: 144-168

Lee Salzman, Jonathan Aldrich: Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. ECOOP 2005: 312-336

Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng: Modeling and implementing software architecture with acme and archJava. ICSE 2005: 676-677

Neelakantan R. Krishnaswami, Jonathan Aldrich: Permission-based ownership: encapsulating state in higher-order typed languages. PLDI 2005: 96-106

Kevin Bierhoff, Jonathan Aldrich: Lightweight object specification with typestates. ESEC/SIGSOFT FSE 2005: 217-226

Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas: Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. WICSA 2005: 265-268

Jonathan Aldrich, Craig Chambers: Ownership Domains: Separating Aliasing Policy from Mechanism. ECOOP 2004: 1-25

Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman: DiscoTect: A System for Discovering Architectures from Running Systems. ICSE 2004: 470-479

Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng: Modeling and implementing software architecture with acme and archJava. OOPSLA Companion 2004: 6-7

Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng: Modeling and implementing software architecture with acme and archJava. OOPSLA Companion 2004: 156-157

Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers: Comprehensive synchronization elimination for Java. Sci. Comput. Program. 47(2-3): 91-120 (2003)

Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin: Language Support for Connector Abstractions. ECOOP 2003: 74-102

Jonathan Aldrich, Craig Chambers, David Notkin: Architectural Reasoning in ArchJava. ECOOP 2002: 334-367

Jonathan Aldrich, Craig Chambers, David Notkin: ArchJava: connecting software architecture to implementation. ICSE 2002: 187-197

Jonathan Aldrich, Valentin Kostadinov, Craig Chambers: Alias annotations for program understanding. OOPSLA 2002: 311-330

Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin: Architecture-centric programming for adaptive systems. WOSS 2002: 93-95

Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers: Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. SAS 1999: 19-38