Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Publications: Jonathan Aldrich
Publications by Jonathan Aldrich
Recent Work
Marwan Abi-Antoun, Jonathan Aldrich, Nagi Nahas,
Bradley Schmerl, and David Garlan.
Differencing and Merging of Architectural Views .
Carnegie Mellon University Technical Report CMU-ISRI-05-128, August 2005.
Kevin Bierhoff and Jonathan Aldrich.
Lightweight Object Specification with Typestates .
Proceedings of the Joint European Software Engineering Conference and Symposium on Foundations of Software Engineering, September 2005.
Jonathan Aldrich.
Open Modules: Modular Reasoning about Advice .
Proceedings of the European Conference on Object-Oriented Programming, July 2005.
An earlier version appeared in
Foundations of Aspect Languages, March 2004. The full proofs
for the theorems in the paper are published as
Carnegie Mellon Technical Report CMU-ISRI-04-141 , December 2004
(which supercedes and corrects an earlier technical report,
CMU-ISRI-04-108 ).
Lee Salzman and Jonathan Aldrich.
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model .
Proceedings of the European Conference on Object-Oriented Programming, July 2005.
Donna Malayeri and Jonathan Aldrich.
Practical Exception Specifications .
Proceedings of the ECOOP 2005 Workshop on Exception Handling in Object-Oriented Systems, July 2005.
Neel Krishnaswami and Jonathan Aldrich.
Permission-Based Ownership: Encapsulating State in Higher-Order Typed Langauges. .
Proceedings of Programming Language Design and Implementation, June 2005.
Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas, and Tony Tseng.
Improving System Dependability by Enforcing Architectural Intent .
Proceedings of the ICSE '05 Workshop on Architecting Dependable Systems, May 2005.
Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas, and Tony Tseng.
Modeling and Implementing Software Architecture with Acme and ArchJava .
Research Demonstration, Proceedings of the International Conference on Software Engineering, May 2005.
Andi Bejleri, Jonathan Aldrich, and Kevin Bierhoff.
Ego: Controlling the Power of Simplicity .
Submitted for publication. The full proof of type soundness for Ego
is published as
Carnegie Mellon Technical Report CMU-ISRI-04-142 , December 2004.
Jonathan Aldrich.
Using Types to Enforce Architectural Structure .
Submitted for publication.
Conference Papers
Jonathan Aldrich and Craig Chambers.
Ownership Domains: Separating Aliasing Policy from Mechanism .
Proc. European Conference on Object-Oriented Programming, June 2004.
Hong Yan, David Garlan, Bradley Schmerl, Jonathan Aldrich, and Rick Kazman.
DiscoTect: A System for Discovering Architectures from Running Systems
.
To appear in International Conference on Software Engineering, May 2004.
Jonathan Aldrich, Vibha Sazawal, Craig Chambers, and David Notkin.
Language Support for Connector Abstractions . In Proceedings of the
European Conference on Object-Oriented Programming (ECOOP '03 ),
July 2003.
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers.
Alias
Annotations for Program Understanding . In Proceedings of
Object-Oriented Programming Systems, Languages, and Applications, November
2002. © 2002 by the ACM.
Jonathan Aldrich, Craig Chambers, and David Notkin.
Architectural
Reasoning in ArchJava . In Proceedings of the European Conference on
Object-Oriented Programming, June 2002. © 2002 by Springer-Verlag.
Jonathan Aldrich, Craig Chambers, and David Notkin.
ArchJava:
Connecting Software Architecture to Implementation . In Proceedings
of the International Conference on Software Engineering, May 2002. ©
2002 by the ACM.
Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, and Susan Eggers. Static
Analyses for Eliminating Unnecessary Synchronization from Java Programs .
In Proceedings of the Sixth International Static Analysis Symposium, pp.
19-38, Venezia, Italy, September 1999. © 1999 Springer-Verlag .
Jonathan Aldrich, James Dooley, Scott Mandelsohn, and Adam Rifkin. Providing
Easier Access to Remote Objects in Client Server Systems . In
Thirty-first Hawaii International Conference on System Sciences, Hawaii,
January 1998.
Dissertation
Journal Papers
Workshop Papers
Jonathan Aldrich and Kevin Donnelly.
Selective Open Recursion: Modular Reasoning about Components and Inheritance .
Proc. FSE 2004 Workshop on Specification and Verification of Component-Based Systems, November 2004.
Lee Salzman and Jonathan Aldrich.
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model
Proc. OOPSLA 2004 Workshop on Revival of Dynamic Languages, October 2004.
Jonathan Aldrich.
Open Modules: Reconciling Extensibility and Information Hiding
.
In Proceedings of the Software Engineering Properties of Languages for Aspect Technologies, March 2004.
Jonathan Aldrich, Vibha Sazawal, Craig Chambers, and David Nokin. Architecture-Centric
Programming for Adaptive Systems . To appear in the Workshop
on Self-Healing Systems , Charleston, South Carolina, November 2002.
Vibha Sazawal and Jonathan Aldrich.
Architecture-Centric Programming for Context-Aware Configuration .
To appear in the
Workshop on Engineering Context-Aware Object-Oriented Systems and Environments
.
Jonathan Aldrich, Craig Chambers, and David Notkin.
Component-Oriented
Programming in ArchJava . In Proceedings of the OOPSLA '01 Workshop
on Language Mechanisms for Software Components, October 2001. © 2001
by Jonathan Aldrich, Craig Chambers, and David Notkin.
Jonathan Aldrich and Craig Chambers.
Architectural
Reasoning in ArchJava . In Proceedings of the OOPSLA '01 Workshop on
Specification and Verification of Component-Based Systems, October 2001.
© 2001 by Jonathan Aldrich and Craig Chambers.
Jonathan Aldrich. Challenge
Problems for Separation of Concerns . In Proceedings of the OOPSLA
2000 Workshop on Advanced Separation of Concerns, October 2000.
Reports