Curriculum Vitae
Jonathan Aldrich

Contact Information

Jonathan Aldrich
Institute for Software Research
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891

email: jonathan.aldrich@cs.cmu.edu
web: http://www.cs.cmu.edu/~aldrich/
phone: +1-412-268-7278
fax: +1-412-268-2338
office: 8212 Wean Hall

Executive assistant:

Corina Bardasuc
+1-412-268-9928
cora13 at cs dot cmu dot edu

Research Goals and Approach

My central research goal is to develop better ways of expressing and enforcing software design within source code. I use a variety of techniques to accomplish this goal, including language design, type systems, program analysis, theorem proving, model checking, and software engineering case studies.

Education

Ph.D., Computer Science and Engineering, University of Washington, August 2003.

Advisors: Craig Chambers and David Notkin
Thesis: Using Types to Enforce Architectural Design

M.S., Computer Science and Engineering, University of Washington, June 1999.

B.S., Engineering and Applied Science (Computer Science), California Institute of Technology, June 1997.

Employment

effective July 2009	Associate Professor, Carnegie Mellon University
2003-2009	Assistant Professor, Carnegie Mellon University
1997-2003	Graduate Student and Research Assistant, University of Washington
Summer 1997	Research Assistant, California Institute of Technology
Summers 1993-1996	Summer Intern, Sequent Computer Systems, Inc.

Selected Honors

• 2007 Dahl-Nygaard Junior Prize (press release), an international award given annually for a significant technical contribution to object-oriented programming.
• 2006 National Science Foundation CAREER award, "Lightweight Modeling and Enforcement of Architectural Behavior"
• 2003 William Chan Memorial Dissertation Award, University of Washington, Dept. Computer Science and Engineering
• 1997-2000 National Defense Science and Engineering Graduate Fellowship
• 1997-2000 Achievement Rewards for College Scientists Fellowship
• 1997 National Science Foundation Fellowship Honorable Mention
• 1995-1997 Caltech Merit Scholarship
• 1993 National Merit Scholarship
• 1996 Winner, Caltech-Occidental Symphony Concerto Competition (violin)
• Honor societies: Sigma Xi (scientific research), Tau Beta Pi (engineering)

Publications

Book Chapters

1. Practical Exception Specifications. Donna Malayeri and Jonathan Aldrich. In Christophe Dony, Jørgen Lindskov Knudsen, Alexander B. Romanovsky, and Anand Tripathi, editors, Advanced Topics in Exception Handling Techniques, volume 4119 of Lecture Notes in Computer Science, pages 200-220. Springer, 2006.

Refereed Journal Publications

1. Differencing and Merging of Architectural Views. Marwan Abi-Antoun, Jonathan Aldrich, Nagi Nahas, Bradley Schmerl, and David Garlan. In Automated Software Engineering Journal, 15(1):35-74, 2008.
2. A Case Study in Re-engineering to Enforce Architectural Control Flow and Data Sharing. Marwan Abi-Antoun, Jonathan Aldrich, and Wesley Coelho. In Journal of Systems and Software, 80(2):240-264, February 2007.
3. Discovering Architectures from Running Systems. Bradley Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, and Hong Yan. In IEEE Transactions on Software Engineering, 32(7):454-466, July 2006.
4. Comprehensive Synchronization Elimination for Java. Jonathan Aldrich, Emin Gun Sirer, Craig Chambers, and Susan Eggers. Science of Computer Programming, 47(2-3):91-120, May-June 2003.

Refereed Conference Publications

1. Checking Framework Interactions with Relationships. Ciera Jaspan and Jonathan Aldrich. In Proceedings of the European Conference on Object Oriented Programming (ECOOP ’09), July 2009.
2. Practical API Protocol Checking with Access Permissions. Kevin Bierhoff, Nels E. Beckman, and Jonathan Aldrich. In Proceedings of the European Conference on Object Oriented Programming (ECOOP ’09), July 2009.
3. Is Structural Subtyping Useful? An Empirical Study. Donna Malayeri and Jonathan Aldrich. In Proceedings of the European Symposium on Programming (ESOP '09), March 2009.
4. Verifying Correct Usage of Atomic Blocks and Typestate. Nels Beckman, Kevin Bierhoff, and Jonathan Aldrich. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '08), Nashville, TN, USA, October 2008.
5. Error Reporting Logic. Ciera Jaspan, Trisha Quan, and Jonathan Aldrich. In Proceedings of the International Conference on Automated Software Engineering, September 2008.
6. Integrating Nominal and Structural Subtyping. Donna Malayeri and Jonathan Aldrich. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP ’08), July 2008.
7. Checking Semantic Usage of Frameworks. Ciera Jaspan and Jonathan Aldrich. In Library Centric Software Design Symposium, 2007.
8. Using Types to Enforce Architectural Structure. Jonathan Aldrich. In Working International Conference on Software Architecture (WICSA ’08), February 2008.
9. Modular Typestate Checking of Aliased Objects. Kevin Bierhoff and Jonathan Aldrich. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA ’07), October 2007.
10. Lightweight Object Specification with Typestates. Kevin Bierhoff and Jonathan Aldrich. In Proceedings of Foundations of Software Engineering (FSE ’05), September 2005.
11. Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages. Neel Krishnaswami and Jonathan Aldrich. In Proceedings of Programming Language Design and Implementation (PLDI ’05), June 2005.
12. Open Modules: Modular Reasoning about Advice. Jonathan Aldrich. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP ’05), July 2005.
13. Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. Lee Salzman and Jonathan Aldrich. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP ’05), July 2005.
14. Ownership Domains: Separating Aliasing Policy from Mechanism. Jonathan Aldrich and Craig Chambers. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP ’04), June 2004.
15. DiscoTect: A System for Discovering Architectures from Running Systems. Hong Yan, David Garlan, Bradley Schmerl, Jonathan Aldrich, and Rick Kazman. In Proceedings of International Conference on Software Engineering (ICSE ’04), May 2004.
16. Language Support for Connector Abstractions. Jonathan Aldrich, Vibha Sazawal, Craig Chambers, and David Notkin. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP ’03), July 2003.
17. Alias Annotations for Program Understanding. Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. In Proceedings of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA ’02), November 2002.
18. Architectural Reasoning in ArchJava. Jonathan Aldrich, Craig Chambers, and David Notkin. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP ’02), June 2002.
19. ArchJava: Connecting Software Architecture to Implementation. Jonathan Aldrich, Craig Chambers, and David Notkin. In Proceedings of the International Conference on Software Engineering (ICSE ’02), May 2002.
20. Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, and Susan Eggers. In Proceedings of the Sixth International Static Analysis Symposium (SAS ’99), September 1999.

Workshop Papers, Demonstrations, and Technical Reports

1. Static Extraction of Sound Hierarchical Runtime Object Graphs. Marwan Abi-Antoun and Jonathan Aldrich. In Proceedings of Types in Language Design and Implementation, January 2009.
2. Design Patterns in Separation Logic. Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, and Alexandre Buisse. In Proceedings of Types in Language Design and Implementation, January 2009.
3. A Field Study in Static Extraction of Runtime Architectures. Marwan Abi-Antoun and Jonathan Aldrich. In Proceedings of the Workshop on Program Analysis for Software Tools and Engineering (PASTE'08), November 2008.
4. A Theory of Linear Objects. Matthew Kehrt and Jonathan Aldrich. In 2008 International Workshop on Foundations of Object-Oriented Languages (FOOL '08), San Francisco, California, January 2008.
5. Checking and Measuring the Architectural Structural Conformance of Object-Oriented Systems. Marwan Abi-Antoun and Jonathan Aldrich. Carnegie Mellon University Technical Report CMU-ISRI-07-119, December 2007.
6. Modular Verification of the Subject-Observer Pattern via Higher-Order Separation Logic. Neelakantan R. Krishnaswami, Lars Birkedal, and Jonathan Aldrich. In ECOOP 2007 Workshop on Formal Techniques for Java Like Programs, July 2007.
7. Ownership Domains in the Real World. Marwan Abi-Antoun and Jonathan Aldrich. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with the European Conference on Object-Oriented Programming (ECOOP), 2007.
8. Compile-Time Views of Execution Structure Based on Ownership. Marwan Abi-Antoun and Jonathan Aldrich. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with the European Conference on Object-Oriented Programming (ECOOP), 2007.
9. Eclipse Plug-ins for Statically Checking and Visualizing Ownership Domain Annotations. Marwan Abi-Antoun and Jonathan Aldrich. Research Demonstration, European Conference on Object-Oriented Programming (ECOOP), 2007.
10. A Programming Model for Failure-Prone, Collaborative Robots. Nels Beckman and Jonathan Aldrich. In the 2nd International Workshop on Software Development and Integration in Robotics (SDIR), Rome, Italy, April 2007.
11. Combining Structural Subtyping and External Dispatch. Donna Malayeri and Jonathan Aldrich. In 2007 International Workshop on Foundations and Development of Object-Oriented Languages (FOOL/WOOD'07), Nice, France, January 2007.
12. JavaD: Bringing Ownership Domains to Mainstream Java. Marwan Abi-Antoun and Jonathan Aldrich. Carnegie Mellon University Technical Report CMU-ISRI-06-110, May 2006.
13. A Language-based Approach to Specification and Enforcement of Architectural Protocols. Kevin Bierhoff, Jonathan Aldrich, and Sangjin Han. Technical Report CMU-ISRI-06-121, April 2006.
14. Ego: Controlling the Power of Simplicity. Andi Bejleri, Jonathan Aldrich, and Kevin Bierhoff. In proceedings of the POPL ’06 Workshop on Foundations of Object-Oriented Languages (FOOL ’06), January 2006.
15. Improving System Dependability by Enforcing Architectural Intent. Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas, and Tony Tseng. In proceedings of the ICSE 2005 Workshop on Architecting Dependable Systems (WADS ’05), May 2005.
16. Modeling and Implementing Software Architecture with Acme and ArchJava. Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas, and Tony Tseng. Demonstration, in proceedings of the International Conference on Software Engineering (ICSE ’05), May 2005.
17. Selective Open Recursion: Modular Reasoning about Components and Inheritance. Jonathan Aldrich and Kevin Donnelly. In proceedings of the FSE 2004 Workshop on Specification and Verification of Component-Based Systems (SAVCBS ’04), November 2004.
18. Open Modules: Reconciling Extensibility and Modularity. Jonathan Aldrich. In Proceedings of the Workshop on Software Engineering Properties of Languages for Aspect Technologies (SPLAT ’04), March 2004.
19. Statically-Scoped Exceptions: a Typed Foundation for Aspect-Oriented Error Handling. Neel Krishnaswami and Jonathan Aldrich. Carnegie Mellon Technical Report CMU-ISRI-05-102, published on web January 2004, TR version January 2005.
20. Architecture-Centric Programming for Adaptive Systems. Jonathan Aldrich, Vibha Sazawal, Craig Chambers, and David Notkin. In Proceedings of the Workshop on Self-Healing Systems (WOSS ’02), November 2002.
21. Architecture-Centric Programming for Context-Aware Configuration. Vibha Sazawal and Jonathan Aldrich. In Proceedings of the OOPSLA ’02 Workshop on Engineering Context-Aware Object-Oriented Systems and Environments (ECOOSE ’02), November 2002.
22. Challenge Problems for Separation of Concerns. Jonathan Aldrich. In Proceedings of the OOPSLA 2000 Workshop on Advanced Separation of Concerns, October 2000.
23. Evaluating Module Systems for Crosscutting Concerns. Jonathan Aldrich. University of Washington PhD Generals Examination Report, September 2000.
24. Providing Easier Access to Remote Objects in Client Server Systems. Jonathan Aldrich, James Dooley, Scott Mandelsohn, and Adam Rifkin. In Thirty-first Hawaii International Conference on System Sciences (HICSS-31), January 1998.

Software Artifacts

• PLURAL typestate analysis tool. Open source software, available 2008-present. With Kevin Bierhoff and Nels Beckman.
• SASyLF proof assistant. Open source software, available 2008-present. With Key Shin, Tye Wang, and Matthew Rodriguez.
• Crystal static analysis infrastructure. Open source software, available 2008-present (previous internal development 2005-2008). With Nels Beckman, Kevin Bierhoff, Edwin Chan, David Dickey, Ciera Jaspan, Thomas LaToza, Dean Sutherland, and others.
• The ArchJava Compiler and IDE. Open source software, available 2001-present.
• Acme-ArchJava integration plugin. Open source software, available 2004-present.
• ExnJava Eclipse plugin. Internal development, 2004-2005. With Donna Malayeri.
• Dynamic typestate checking tool. Internal development, 2005. With Kevin Bierhoff.
• Architecture synchronization tool. Available on request for research use. Developed 2004-present. With Marwan Abi-Antoun.
• Architecture protocol checking tool. Internal development, 2006-present. With Kevin Bierhoff, Sangjin Han, Matthew Kehrt, Majid Al-Meshari, and Darpan Saini.
• JavaD ownership system. Internal development, 2006-present. With Marwan Abi-Antoun.
• Error reporting system. Internal development, 2006-present. With Ciera Jaspan and Trisha Quan.

Service

Conference Program Committees

• Working IEEE/IFIP Conference on Software Architecture (WICSA) 2009, 2008, and 2004
• Object Oriented Programming Systems, Languages, and Applications (OOPSLA) 2008
• European Conference on Object-Oriented Programming (ECOOP) 2007 and 2006
• Joint Modular Languages Conference (JMLC) 2006
• International Conference on Software Engineering (ICSE) 2005
• Conference on Aspect-Oriented Software Development (AOSD) 2005

Workshop and Other Service

• Workshop on Specification and Verification of Component-Based Systems (SAVCBS)
  • Steering committee, 2007-present
  • Program chair, 2006
  • Program committee, 2004, 2005, and 2007
• International Workshop on Foundations of Object-Oriented Languages (FOOL)
  • Program chair, 2009
  • Program committee, 2008
• International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO): program committee, 2003 and 2007
• Workshop on Foundations of Aspect-Oriented Languages (FOAL): program committee, 2004, 2005, and 2006
• Foundations of Software Engineering (FSE): Posters program committee, 2006
• International Conference on Software Engineering (ICSE): Demonstrations program committee, 2005

Carnegie Mellon University Service

2007-present	Director, ISR Software Engineering Undergraduate Minor Program
2008-present	Chair, Software Engineering Faculty Search Committee
2009	Fellowship Nomination Committee
2009	SCS Dean Review Committee
2006-present	Graduate Student Retention Workgroup
2005-2007	Chair, ISR Undergraduate Software Engineering committee
2004-present	ISR admissions committee

Teaching

• Spring 2009. Instructor, 17-654/17-754 (Analysis of Software Artifacts), Carnegie Mellon University.
• Fall 2008. Instructor, 15-413 (Software Engineering Practicum), Carnegie Mellon University.
• Fall 2008. Instructor, 17-413 (Software Engineering Reflection), Carnegie Mellon University.
• Fall 2008. Co-instructor, 17-732 (Emerging Programming Paradigms), Carnegie Mellon University.
• Spring 2008. Co-instructor, 15-313 (Foundations of Software Engineering), Carnegie Mellon University.
• Spring 2008. Instructor, 17-654/17-754 (Analysis of Software Artifacts), Carnegie Mellon University.
• Spring 2007. Co-instructor, 15-313 (Foundations of Software Engineering), Carnegie Mellon University.
• Spring 2007. Instructor, 17-654/17-754 (Analysis of Software Artifacts), Carnegie Mellon University.
• Spring 2006. Instructor, 17-654/17-754 (Analysis of Software Artifacts), Carnegie Mellon University.
  • Refined course and recorded for distance education. 40 students in class.
• Fall 2005. Instructor, 15-413 (Introduction to Software Engineering), Carnegie Mellon University.
  • Redeveloped course to combine combine a strong technical focus with a capstone project providing the opportunity to practice engineering knowledge, skills, and practices in a realistic development setting with a real client. 18 students in class.
• Spring 2005. Instructor, 17-654/17-754 (Analysis of Software Artifacts), Carnegie Mellon University.
  • Redeveloped course to focus on a broad range of static and dynamic analysis techniques for programs and other artifacts in the software process. Extended course to fulfill software engineering Ph.D. star course requirement in Analysis. 40 students in class.
• Spring 2005. Co-instructor, 17-898 (Software engineering graduate reading seminar - Modeling Dynamic Software Architectures), Carnegie Mellon University.
• Fall 2004. Instructor, 15-819 (Programming languages graduate reading seminar - Objects and Aspects: Language Support for Extensible and Evolvable Software), Carnegie Mellon University.
• Fall 2003. Co-instructor, 15-312 (Undergraduate Programming Languages), Carnegie Mellon University.
  • Developed new material on object-oriented programming languages.
• Winter 2002. Teaching Assistant, CSE 503 (Graduate Software Engineering), University of Washington.
• Winter 2001. Teaching Assistant, CSE 501 (Graduate Compilers), University of Washington.
• Summer 1999. Pre-Doctoral Lecturer, CSE 143 (Computer Programming II), University of Washington.
• Spring 1999. Teaching Assistant, CSE 143 (Computer Programming II), University of Washington.
• Fall 1998. Teaching Assistant, CSE 505 (Graduate Programming Languages). University of Washington.

Advising

Ph.D. Advisees

• Donna Malayeri
• Neel Krishnaswami
• Marwan Abi-Antoun
• Kevin Bierhoff
• Thomas LaToza
• Ciera Jaspan
• Nels Beckman
• Josh Sunshine
• Sven Stork

Master's Thesis Advisees (joint ICU/CMU Master's program)

Taekgoo Kim. Towards Specification and Verifica-tion of Usage Protocol Using Types-tates in JML, 2009.
GwanPyo Do. Reachable Reference Algorithm for Inferring Ownership Types in Object Oriented Programming Languages, 2008.
Yoon-Phil Kim. Permission-based Optimization for Efficient Software Transactional Memory, 2008.

Undergraduate Thesis Advisees

Key Shin. Undergraduate thesis advisee in CS. Completed 2007.
Matthew Kehrt. Undergraduate thesis advisee in CS. Completed 2006.
Will Cooper. Undergraduate thesis advisee in CS. Completed 2006.
Andi Bejleri. Undergraduate exchange student thesis advisee. Completed 2005.
Lee Salzman. Undergraduate thesis advisee in Logic and Computation. Completed 2004.

Masters Independent Study/Practicum Advisees (year completed)

Darpan Saini (2008)
Kelvin Lim (2008)
Jeffrey Beckett (2008)
Majid Al-Meshari (2007)
Tim Kral (2007)
Joseph Ayo Akinyele (2007)
Lutz Wrage (independent study 2006)
Varun Dutt (2006)
Monica Page (2006)
Sangjin Han (2006)
Bhavana Rehani (2006)
David Dickey (2006)
Min Chen (2005)
Soumya Simanta (2005)
Prasanth Ramanand (2005)
Michael German (2005)
Animesh Kejriwal (2005)
Ben Madore (2005)

Undergraduate Independent Study Advisees (year completed)

Chris Martens (2008)
Matthew Rodriguez (2008)
Trisha Quan (2007)
Kevin McInerney (2007)
Tye Wang (2007)

Funding

• 2008 National Science Foundation award, "CPA-SEL: Practical typestate Verification with Assume-Guarantee Reasoning." $300,000 over 3 years, 2008-2010.
• DARPA Computer Science Study Group member. $600,000 over 3 years, potentially renewable for 2 more years. 2007-2010.
• 2006 National Science Foundation CAREER award, "Lightweight Modeling and Enforcement of Architectural Behavior," $450,000 over 5 years. 2006-2010.
• Human and Robotic Technology: Dependable Real-Time and Embedded Space Software, NASA (Michael Shafto, Program Manager), $1.1 million over one year (2005-2006). Project Lead.
• ITR: Synthetic Reality: Physically Rendering Dynamic 3D Objects from Programmable Matter. National Science Foundation (Helen Gill, Progarm Manager), $662,000 over 2 years. Senior Personnel.
• Integrating Software Architecture and Software Development. National Science Foundation (Sol Greenspan, Program Director), $300,000 over 3 years. Co-written with advisor Craig Chambers while a graduate student; portions subcontracted to my research group at CMU after graduation.

External Talks

• Typestate Verification for Aliased Objects using Assume-Guarantee Permissions. Seminar at Portland State University, August 2008.
• Define, don't Confine. Invited keynote for the 2008 Intercontinental Workshop on Aliasing, Confinement, and Ownership (IWACO '08), July 2008.
• Typestate Verification for Aliased Objects using Assume-Guarantee Permissions. Seminar at Cornell University, June 2008.
• Assuring Object-Oriented Architecture. Talk at Drexel University, April 2008.
• Modular, Pragmatic Typestate Verification using Assume-Guarantee Permissions. Talk at University of British Columbia, February 2008.
• Assuring Object-Oriented Architecture. Dahl-Nygaard Junior Prize Keynote Address, ECOOP 2007, August 2007.
• Young Guns/OO: The Next Generation. Panel participant at OOPSLA 2006, October 2006.
• Prospects for Software Assurance. Lockheed Martin, August 2006.
• Tales from Dissertationland and the Job Hunt. Invited keynote at the ECOOP 2005 Doctoral Symposium, July 2005.
• Aspects and Modularity: The Hope and the Challenge. Invited talk, panel on modularity at the AOSD '05 Workshop on Foundations of Aspect Languages, March 2005.
• Engineering More Dependable Space Software. Talk at NASA Exploration Systems Technology & Systems Integration Technical Interchange Meeting, December 2004.
• Using Types to Enforce Architectural Design. Invited talk, California Institute of Technology, October 2003.
• Using Types to Enforce Architectural Design. Invited talk, University of Southern California, October 2003.

Professional Societies

• Member, Association for Computing Machinery, and SIGSOFT and SIGPLAN special interest groups
• Member, Institute of Electrical and Electronics Engineers