| 2008 |
|---|
| 34 | EE | Kevin Bierhoff,
Jonathan Aldrich:
PLURAL: checking protocol compliance under aliasing.
ICSE Companion 2008: 971-972 |
| 33 | EE | Jonathan Aldrich:
Using Types to Enforce Architectural Structure.
WICSA 2008: 211-220 |
| 32 | EE | 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) |
| 2007 |
|---|
| 31 | EE | Marwan Abi-Antoun,
Jonathan Aldrich:
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations.
ASE 2007: 543-544 |
| 30 | EE | Jonathan Aldrich:
Assuring Object-Oriented Architecture.
ECOOP 2007: 450 |
| 29 | EE | Jonathan Aldrich,
Mike Barnett,
Dimitra Giannakopoulou,
Gary T. Leavens,
Natasha Sharygina:
Specification and verification of component-based systems 2007.
ESEC/SIGSOFT FSE 2007: 609-610 |
| 28 | EE | Kevin Bierhoff,
Jonathan Aldrich:
Modular typestate checking of aliased objects.
OOPSLA 2007: 301-320 |
| 27 | EE | Donna Malayeri,
Jonathan Aldrich:
Combining structural subtyping and external dispatch.
OOPSLA Companion 2007: 789-790 |
| 26 | EE | Ciera Jaspan,
Jonathan Aldrich:
Checking framework plugins.
OOPSLA Companion 2007: 795-796 |
| 25 | EE | 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) |
| 2006 |
|---|
| 24 | EE | Marwan Abi-Antoun,
Jonathan Aldrich,
Nagi H. Nahas,
Bradley R. Schmerl,
David Garlan:
Differencing and Merging of Architectural Views.
ASE 2006: 47-58 |
| 23 | EE | Donna Malayeri,
Jonathan Aldrich:
Practical Exception Specifications.
Advanced Topics in Exception Handling Techniques 2006: 200-220 |
| 22 | EE | Marwan Abi-Antoun,
Jonathan Aldrich:
Bringing ownership domains to mainstream Java.
OOPSLA Companion 2006: 702-703 |
| 21 | EE | Marwan Abi-Antoun,
Jonathan Aldrich:
A static analysis for extracting runtime views from annotated object-oriented code.
OOPSLA Companion 2006: 734-735 |
| 20 | EE | 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 |
| 19 | EE | 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) |
| 2005 |
|---|
| 18 | EE | Jonathan Aldrich:
Open Modules: Modular Reasoning About Advice.
ECOOP 2005: 144-168 |
| 17 | EE | Lee Salzman,
Jonathan Aldrich:
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model.
ECOOP 2005: 312-336 |
| 16 | EE | Kevin Bierhoff,
Jonathan Aldrich:
Lightweight object specification with typestates.
ESEC/SIGSOFT FSE 2005: 217-226 |
| 15 | EE | 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 |
| 14 | EE | Neel Krishnaswami,
Jonathan Aldrich:
Permission-based ownership: encapsulating state in higher-order typed languages.
PLDI 2005: 96-106 |
| 13 | EE | 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 |
| 12 | EE | 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) |
| 2004 |
|---|
| 11 | EE | Jonathan Aldrich,
Craig Chambers:
Ownership Domains: Separating Aliasing Policy from Mechanism.
ECOOP 2004: 1-25 |
| 10 | EE | Hong Yan,
David Garlan,
Bradley R. Schmerl,
Jonathan Aldrich,
Rick Kazman:
DiscoTect: A System for Discovering Architectures from Running Systems.
ICSE 2004: 470-479 |
| 9 | EE | Jonathan Aldrich,
David Garlan,
Bradley R. Schmerl,
Tony Tseng:
Modeling and implementing software architecture with acme and archJava.
OOPSLA Companion 2004: 156-157 |
| 8 | EE | Jonathan Aldrich,
David Garlan,
Bradley R. Schmerl,
Tony Tseng:
Modeling and implementing software architecture with acme and archJava.
OOPSLA Companion 2004: 6-7 |
| 2003 |
|---|
| 7 | EE | Jonathan Aldrich,
Vibha Sazawal,
Craig Chambers,
David Notkin:
Language Support for Connector Abstractions.
ECOOP 2003: 74-102 |
| 6 | EE | 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) |
| 2002 |
|---|
| 5 | EE | Jonathan Aldrich,
Craig Chambers,
David Notkin:
Architectural Reasoning in ArchJava.
ECOOP 2002: 334-367 |
| 4 | EE | Jonathan Aldrich,
Craig Chambers,
David Notkin:
ArchJava: connecting software architecture to implementation.
ICSE 2002: 187-197 |
| 3 | EE | Jonathan Aldrich,
Valentin Kostadinov,
Craig Chambers:
Alias annotations for program understanding.
OOPSLA 2002: 311-330 |
| 2 | EE | Jonathan Aldrich,
Vibha Sazawal,
Craig Chambers,
David Notkin:
Architecture-centric programming for adaptive systems.
WOSS 2002: 93-95 |
| 1999 |
|---|
| 1 | EE | Jonathan Aldrich,
Craig Chambers,
Emin Gün Sirer,
Susan J. Eggers:
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs.
SAS 1999: 19-38 |
