Jonathan Aldrich
My research focuses on languages that help programmers express architectural
properties of their code, and tools that can enforce those properties.
One example of my work is
ArchJava,
a language that integrates architectural specifications into Java code
and uses a type system to ensure that the implementation conforms to the
architectural design. With my students, I'm now exploring ways of
enforcing architectural structure in pure Java using annotations. We're
also looking at other architectural properties, including ordering of
method calls and framework usage constraints. I've also made
contributions to object models, separation logic, and aspect-oriented
programming. For my work on architecture, I received a 2006 NSF CAREER
award and the
2007 Dahl-Nygaard Junior Prize
(CMU press release,
Pop City article).
We have opportunities in the 2007-2008 school year and expect several
for Summer 2008 as well.
Please see the link above for
more information on possible projects, and contact
jonathan.aldrich@cs.cmu.edu
to apply.
Research Projects
- ArchJava - Enforcing architectural design in implementation code
- SASyLF - An educational proof assistant for teaching programming language and logic metatheory
- Modular Aspect-oriented Programming - Developing a module system that enforces information hiding in the presence of aspects
- Modular Reasoning in Object-Oriented Systems - Using ownership types and other techniques to support formal reasoning in the presence of mutable objects and inheritance
Ego - A small research language design that uses a linear type system to statically type changes to the types of objects at run time.
- Plaid - A new programming language focused on novel composition mechanisms - More information coming soon!
- Formal Methods for Advanced Langauges - Leveraging type systems technology to support model checking in modern object-oriented languages
- Language and Analysis Support for Embedded and Real-Time Systems - developing techologies for easing the development of Claytronics and other embedded, real-time systemsi
Professional
Teaching
-
17-654/17-754: Analysis of Software Systems (MSE and Ph.D.), Spring 2008
-
15-313: Foundations of Software Engineering, Spring 2008 (with Bill Scherlis)
-
17-654/17-754: Analysis of Software Systems (MSE and Ph.D.), Spring 2007
-
15-313: Foundations of Software Engineering, Spring 2007 (with Bill Scherlis)
-
17-654/17-754: Analysis of Software Systems (MSE and Ph.D.), Spring 2006
-
15-413: Introduction to Software Engineering, Fall 2005
-
17-898: Reading Seminar: Modeling Dynamic Software Architectures, Spring 2005
-
17-654/17-754: Analysis of Software Systems (MSE and Ph.D.), Spring 2005
-
15-819: Objects and Aspects: Language Support for Extensibility and Evolvability, Fall 2004
- 15-312: Foundations of Programming Languages, Fall 2003
Current Students
Former Students
- David Dickey
- Matthew Kehrt
- Varun Dutt
- Monica Page
- Sangjin Han
- Bhavana Rehani
- Will Cooper
- Andi Bejleri
- Lee Salzman
- Kevin Donnelly
- Soumya Simanta
- Min Wang
- Prasanth Ramanand
Personal
In August 2003, I started as an assistant professor at
Carnegie Mellon University.
Before that, I was a graduate student in
Computer
Science and Engineering at the
University of Washington,
working with
Craig
Chambers and David
Notkin.
My wife Becky Billock
and I enjoy
hiking, backpacking, and mountain climbing, and
playing music together. We've been
married for seven
wonderful years, and we have two beautiful daughters,
Sierra and Evelyn.
Contact Information
jonathan.aldrich@cs.cmu.edu
http://www.cs.cmu.edu/~aldrich/
Institute for Software Research, International
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
office: 8212 Wean Hall
executive assistant: Corina Bardasuc, 412-268-9928
work: 412-268-7278
fax: 412-268-2338
home: 412-521-1918
