dblp.uni-trier.dewww.uni-trier.de

Jonathan Aldrich Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)