Jonathan Aldrich

	2012
61		Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff: A type system for borrowing permissions. POPL 2012: 557-570
	2011
60		Nels E. Beckman, Duri Kim, Jonathan Aldrich: An Empirical Study of Object Protocols in the Wild. ECOOP 2011: 2-26
59		Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich: Gradual Typestate. ECOOP 2011: 459-483
58		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
57		Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter: First-class state change in plaid. OOPSLA 2011: 713-732
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
55		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
54		Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich: Changing state in the plaid language. OOPSLA Companion 2011: 37-38
53		Ciera Jaspan, Jonathan Aldrich: Are object protocols burdensome?: an empirical study of developer forums. PLATEAU 2011: 51-56
	2010
52		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
51		Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich: Verifying event-driven programs using ramified frame properties. TLDI 2010: 63-76
	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] [60]
6	Kevin Bierhoff	[16] [28] [38] [39] [50] [61]
7	Lars Birkedal	[43] [51]
8	Robert Bocchino	[56] [61]
9	Alexandre Buisse	[43]
10	Craig Chambers	[1] [2] [3] [4] [5] [6] [7] [11]
11	Wesley Coelho	[25]
12	Susan J. Eggers	[1] [6]
13	Brian Foote	[20]
14	Ronald Garcia	[56] [58] [59]
15	David Garlan	[8] [9] [10] [12] [13] [15] [19] [24] [33]
16	Dimitra Giannakopoulou	[29] [30]
17	Christian Grothoff	[20]
18	Mark Hahnenberg	[56] [58]
19	Ciera Jaspan	[26] [41] [49] [53]
20	Rick Kazman	[10] [19]
21	Duri Kim	[60]
22	Valentin Kostadinov	[3]
23	Arvind Krishna	[20]
24	Neelakantan R. Krishnaswami (Neel Krishnaswami)	[14] [43] [51]
25	Gary T. Leavens	[29] [30]
26	Donna Malayeri	[23] [27] [40] [47] [48]
27	Paulo Marques	[44]
28	Sean McDirmid	[20]
29	Todd D. Millstein	[20]
30	Manuel Mohr	[56] [58]
31	Karl Naden	[54] [56] [57] [58] [61]
32	Nagi H. Nahas	[12] [13] [15] [24] [33]
33	David Notkin	[2] [4] [5] [7]
34	Jeffrey Overbey (Jeffrey L. Overbey)	[20]
35	Alex Potanin	[20]
36	Trisha Quan	[41]
37	Darpan Saini	[45] [56] [58]
38	Lee Salzman	[17]
39	Vibha Sazawal	[2] [7]
40	Bradley R. Schmerl	[8] [9] [10] [12] [13] [15] [19] [24] [33]
41	Natasha Sharygina	[29] [30]
42	Jeremy G. Siek	[52] [55]
43	Emin Gün Sirer	[1] [6]
44	Zachary Sparks	[45]
45	Sven Stork	[44] [54] [56] [57] [58]
46	Joshua Sunshine	[45] [54] [56] [57] [58]
47	Kasper Svendsen	[43]
48	Éric Tanter	[56] [57] [58] [59]
49	Tony Tseng	[8] [9] [12] [15]
50	Mandana Vaziri	[20]
51	Roger Wolff	[56] [58] [59]
52	Hong Yan	[10] [19]
53	Elena Zucca	[55]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page