|
Search the dblp DataBase
Jonathan Aldrich:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jonathan Aldrich
Open Modules: Modular Reasoning About Advice. [Citation Graph (0, 0)][DBLP] ECOOP, 2005, pp:144-168 [Conf]
- Jonathan Aldrich, Craig Chambers
Ownership Domains: Separating Aliasing Policy from Mechanism. [Citation Graph (0, 0)][DBLP] ECOOP, 2004, pp:1-25 [Conf]
- Jonathan Aldrich, Craig Chambers, David Notkin
Architectural Reasoning in ArchJava. [Citation Graph (0, 0)][DBLP] ECOOP, 2002, pp:334-367 [Conf]
- Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
Language Support for Connector Abstractions. [Citation Graph (0, 0)][DBLP] ECOOP, 2003, pp:74-102 [Conf]
- Lee Salzman, Jonathan Aldrich
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. [Citation Graph (0, 0)][DBLP] ECOOP, 2005, pp:312-336 [Conf]
- Donna Malayeri, Jonathan Aldrich
Practical Exception Specifications. [Citation Graph (0, 0)][DBLP] Advanced Topics in Exception Handling Techniques, 2006, pp:200-220 [Conf]
- Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng
Modeling and implementing software architecture with acme and archJava. [Citation Graph (0, 0)][DBLP] ICSE, 2005, pp:676-677 [Conf]
- Jonathan Aldrich, Craig Chambers, David Notkin
ArchJava: connecting software architecture to implementation. [Citation Graph (0, 0)][DBLP] ICSE, 2002, pp:187-197 [Conf]
- Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman
DiscoTect: A System for Discovering Architectures from Running Systems. [Citation Graph (0, 0)][DBLP] ICSE, 2004, pp:470-479 [Conf]
- Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan
Differencing and Merging of Architectural Views. [Citation Graph (0, 0)][DBLP] ASE, 2006, pp:47-58 [Conf]
- Marwan Abi-Antoun, Jonathan Aldrich
Bringing ownership domains to mainstream Java. [Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2006, pp:702-703 [Conf]
- Marwan Abi-Antoun, Jonathan Aldrich
A static analysis for extracting runtime views from annotated object-oriented code. [Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2006, pp:734-735 [Conf]
- Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng
Modeling and implementing software architecture with acme and archJava. [Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2004, pp:6-7 [Conf]
- Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng
Modeling and implementing software architecture with acme and archJava. [Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2004, pp:156-157 [Conf]
- Jonathan Aldrich, Valentin Kostadinov, Craig Chambers
Alias annotations for program understanding. [Citation Graph (0, 0)][DBLP] OOPSLA, 2002, pp:311-330 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2006, pp:940-942 [Conf]
- Neel Krishnaswami, Jonathan Aldrich
Permission-based ownership: encapsulating state in higher-order typed languages. [Citation Graph (0, 0)][DBLP] PLDI, 2005, pp:96-106 [Conf]
- Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. [Citation Graph (0, 0)][DBLP] SAS, 1999, pp:19-38 [Conf]
- Kevin Bierhoff, Jonathan Aldrich
Lightweight object specification with typestates. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2005, pp:217-226 [Conf]
- Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas
Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. [Citation Graph (0, 0)][DBLP] WICSA, 2005, pp:265-268 [Conf]
- Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
Architecture-centric programming for adaptive systems. [Citation Graph (0, 0)][DBLP] WOSS, 2002, pp:93-95 [Conf]
- Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho
A case study in re-engineering to enforce architectural control flow and data sharing. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 2007, v:80, n:2, pp:240-264 [Journal]
- Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers
Comprehensive synchronization elimination for Java. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2003, v:47, n:2-3, pp:91-120 [Journal]
- Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan
Discovering Architectures from Running Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2006, v:32, n:7, pp:454-466 [Journal]
- Jonathan Aldrich
Assuring Object-Oriented Architecture. [Citation Graph (0, 0)][DBLP] ECOOP, 2007, pp:450- [Conf]
- Kevin Bierhoff, Jonathan Aldrich
Modular typestate checking of aliased objects. [Citation Graph (0, 0)][DBLP] OOPSLA, 2007, pp:301-320 [Conf]
- Ciera Jaspan, Jonathan Aldrich
Checking framework plugins. [Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2007, pp:795-796 [Conf]
- Donna Malayeri, Jonathan Aldrich
Combining structural subtyping and external dispatch. [Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2007, pp:789-790 [Conf]
- Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina
Specification and verification of component-based systems 2007. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2007, pp:609-610 [Conf]
Checking Framework Interactions with Relationships. [Citation Graph (, )][DBLP]
Practical API Protocol Checking with Access Permissions. [Citation Graph (, )][DBLP]
Integrating Nominal and Structural Subtyping. [Citation Graph (, )][DBLP]
Is Structural Subtyping Useful? An Empirical Study. [Citation Graph (, )][DBLP]
PLURAL: checking protocol compliance under aliasing. [Citation Graph (, )][DBLP]
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. [Citation Graph (, )][DBLP]
Error Reporting Logic. [Citation Graph (, )][DBLP]
Verifying correct usage of atomic blocks and typestate. [Citation Graph (, )][DBLP]
Tool support for the static extraction of sound hierarchical representations of runtime object graphs. [Citation Graph (, )][DBLP]
Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture. [Citation Graph (, )][DBLP]
CZ: multiple inheritance without diamonds. [Citation Graph (, )][DBLP]
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. [Citation Graph (, )][DBLP]
Concurrency by default: using permissions to express dataflow in stateful programs. [Citation Graph (, )][DBLP]
Typestate-oriented programming. [Citation Graph (, )][DBLP]
A field study in static extraction of runtime architectures. [Citation Graph (, )][DBLP]
Specification and verification of component-based systems 2007. [Citation Graph (, )][DBLP]
Static extraction of sound hierarchical runtime object graphs. [Citation Graph (, )][DBLP]
Design patterns in separation logic. [Citation Graph (, )][DBLP]
Verifying event-driven programs using ramified frame properties. [Citation Graph (, )][DBLP]
Using Types to Enforce Architectural Structure. [Citation Graph (, )][DBLP]
Differencing and merging of architectural views. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.007secs
|