Jonathan Aldrich

2009
44	EE	Donna Malayeri, Jonathan Aldrich: Is Structural Subtyping Useful? An Empirical Study. ESOP 2009: 95-111
43	EE	Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse: Design patterns in separation logic. TLDI 2009: 105-116
42	EE	Marwan Abi-Antoun, Jonathan Aldrich: Static extraction of sound hierarchical runtime object graphs. TLDI 2009: 51-64
2008
41	EE	Ciera Jaspan, Trisha Quan, Jonathan Aldrich: Error Reporting Logic. ASE 2008: 138-147
40	EE	Donna Malayeri, Jonathan Aldrich: Integrating Nominal and Structural Subtyping. ECOOP 2008: 260-284
39	EE	Kevin Bierhoff, Jonathan Aldrich: PLURAL: checking protocol compliance under aliasing. ICSE Companion 2008: 971-972
38	EE	Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich: Verifying correct usage of atomic blocks and typestate. OOPSLA 2008: 227-244
37	EE	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
36	EE	Marwan Abi-Antoun, Jonathan Aldrich: Tool support for the static extraction of sound hierarchical representations of runtime object graphs. OOPSLA Companion 2008: 743-744
35	EE	Marwan Abi-Antoun, Jonathan Aldrich: A field study in static extraction of runtime architectures. PASTE 2008: 22-28
34	EE	Jonathan Aldrich: Using Types to Enforce Architectural Structure. WICSA 2008: 211-220
33	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
32	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
31	EE	Jonathan Aldrich: Assuring Object-Oriented Architecture. ECOOP 2007: 450
30	EE	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
29	EE	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
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

Coauthor Index

1	Marwan Abi-Antoun	[12] [13] [15] [21] [22] [24] [25] [32] [33] [35] [36] [37] [42]
2	Paul Adamczyk	[20]
3	Elisa L. A. Baniassad	[20]
4	Michael Barnett	[29] [30]
5	Nels E. Beckman	[38]
6	Kevin Bierhoff	[16] [28] [38] [39]
7	Lars Birkedal	[43]
8	Alexandre Buisse	[43]
9	Craig Chambers	[1] [2] [3] [4] [5] [6] [7] [11]
10	Wesley Coelho	[25]
11	Susan J. Eggers	[1] [6]
12	Brian Foote	[20]
13	David Garlan	[8] [9] [10] [12] [13] [15] [19] [24] [33]
14	Dimitra Giannakopoulou	[29] [30]
15	Christian Grothoff	[20]
16	Ciera Jaspan	[26] [41]
17	Rick Kazman	[10] [19]
18	Valentin Kostadinov	[3]
19	Arvind Krishna	[20]
20	Neel Krishnaswami	[14]
21	Neelakantan R. Krishnaswami	[43]
22	Gary T. Leavens	[29] [30]
23	Donna Malayeri	[23] [27] [40] [44]
24	Sean McDirmid	[20]
25	Todd D. Millstein	[20]
26	Nagi H. Nahas	[12] [13] [15] [24] [33]
27	David Notkin	[2] [4] [5] [7]
28	Jeffrey Overbey	[20]
29	Alex Potanin	[20]
30	Trisha Quan	[41]
31	Lee Salzman	[17]
32	Vibha Sazawal	[2] [7]
33	Bradley R. Schmerl	[8] [9] [10] [12] [13] [15] [19] [24] [33]
34	Natasha Sharygina	[29] [30]
35	Emin Gün Sirer	[1] [6]
36	Kasper Svendsen	[43]
37	Tony Tseng	[8] [9] [12] [15]
38	Mandana Vaziri	[20]
39	Hong Yan	[10] [19]

Colors in the list of coauthors