Jonathan Aldrich

	2009
50		Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich: Practical API Protocol Checking with Access Permissions. ECOOP 2009: 195-219
49		Ciera Jaspan, Jonathan Aldrich: Checking Framework Interactions with Relationships. ECOOP 2009: 27-51
48		Donna Malayeri, Jonathan Aldrich: Is Structural Subtyping Useful? An Empirical Study. ESOP 2009: 95-111
47		Donna Malayeri, Jonathan Aldrich: CZ: multiple inheritance without diamonds. OOPSLA 2009: 21-40
46		Marwan Abi-Antoun, Jonathan Aldrich: Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. OOPSLA 2009: 321-340
45		Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks: Typestate-oriented programming. OOPSLA Companion 2009: 1015-1022
44		Sven Stork, Paulo Marques, Jonathan Aldrich: Concurrency by default: using permissions to express dataflow in stateful programs. OOPSLA Companion 2009: 933-940
43		Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse: Design patterns in separation logic. TLDI 2009: 105-116
42		Marwan Abi-Antoun, Jonathan Aldrich: Static extraction of sound hierarchical runtime object graphs. TLDI 2009: 51-64
	2008
41		Ciera Jaspan, Trisha Quan, Jonathan Aldrich: Error Reporting Logic. ASE 2008: 138-147
40		Donna Malayeri, Jonathan Aldrich: Integrating Nominal and Structural Subtyping. ECOOP 2008: 260-284
39		Kevin Bierhoff, Jonathan Aldrich: PLURAL: checking protocol compliance under aliasing. ICSE Companion 2008: 971-972
38		Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich: Verifying correct usage of atomic blocks and typestate. OOPSLA 2008: 227-244
37		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		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		Marwan Abi-Antoun, Jonathan Aldrich: A field study in static extraction of runtime architectures. PASTE 2008: 22-28
34		Jonathan Aldrich: Using Types to Enforce Architectural Structure. WICSA 2008: 211-220
33		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		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		Jonathan Aldrich: Assuring Object-Oriented Architecture. ECOOP 2007: 450
30		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		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		Kevin Bierhoff, Jonathan Aldrich: Modular typestate checking of aliased objects. OOPSLA 2007: 301-320
27		Donna Malayeri, Jonathan Aldrich: Combining structural subtyping and external dispatch. OOPSLA Companion 2007: 789-790
26		Ciera Jaspan, Jonathan Aldrich: Checking framework plugins. OOPSLA Companion 2007: 795-796
25		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		Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan: Differencing and Merging of Architectural Views. ASE 2006: 47-58
23		Donna Malayeri, Jonathan Aldrich: Practical Exception Specifications. Advanced Topics in Exception Handling Techniques 2006: 200-220
22		Marwan Abi-Antoun, Jonathan Aldrich: Bringing ownership domains to mainstream Java. OOPSLA Companion 2006: 702-703
21		Marwan Abi-Antoun, Jonathan Aldrich: A static analysis for extracting runtime views from annotated object-oriented code. OOPSLA Companion 2006: 734-735
20		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		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		Jonathan Aldrich: Open Modules: Modular Reasoning About Advice. ECOOP 2005: 144-168
17		Lee Salzman, Jonathan Aldrich: Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. ECOOP 2005: 312-336
16		Kevin Bierhoff, Jonathan Aldrich: Lightweight object specification with typestates. ESEC/SIGSOFT FSE 2005: 217-226
15		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		Neelakantan R. Krishnaswami, Jonathan Aldrich: Permission-based ownership: encapsulating state in higher-order typed languages. PLDI 2005: 96-106
13		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		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		Jonathan Aldrich, Craig Chambers: Ownership Domains: Separating Aliasing Policy from Mechanism. ECOOP 2004: 1-25
10		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		Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng: Modeling and implementing software architecture with acme and archJava. OOPSLA Companion 2004: 156-157
8		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		Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin: Language Support for Connector Abstractions. ECOOP 2003: 74-102
6		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		Jonathan Aldrich, Craig Chambers, David Notkin: Architectural Reasoning in ArchJava. ECOOP 2002: 334-367
4		Jonathan Aldrich, Craig Chambers, David Notkin: ArchJava: connecting software architecture to implementation. ICSE 2002: 187-197
3		Jonathan Aldrich, Valentin Kostadinov, Craig Chambers: Alias annotations for program understanding. OOPSLA 2002: 311-330
2		Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin: Architecture-centric programming for adaptive systems. WOSS 2002: 93-95
	1999
1		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] [46]
2	Paul Adamczyk	[20]
3	Elisa L. A. Baniassad	[20]
4	Michael Barnett	[29] [30]
5	Nels E. Beckman	[38] [50]
6	Kevin Bierhoff	[16] [28] [38] [39] [50]
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] [49]
17	Rick Kazman	[10] [19]
18	Valentin Kostadinov	[3]
19	Arvind Krishna	[20]
20	Neelakantan R. Krishnaswami	[14] [43]
21	Gary T. Leavens	[29] [30]
22	Donna Malayeri	[23] [27] [40] [47] [48]
23	Paulo Marques	[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	Darpan Saini	[45]
32	Lee Salzman	[17]
33	Vibha Sazawal	[2] [7]
34	Bradley R. Schmerl	[8] [9] [10] [12] [13] [15] [19] [24] [33]
35	Natasha Sharygina	[29] [30]
36	Emin Gün Sirer	[1] [6]
37	Zachary Sparks	[45]
38	Sven Stork	[44]
39	Joshua Sunshine	[45]
40	Kasper Svendsen	[43]
41	Tony Tseng	[8] [9] [12] [15]
42	Mandana Vaziri	[20]
43	Hong Yan	[10] [19]

Colors in the list of coauthors