Staff Page for Aaron Greenhouse

Contents: Contact Publications Education Memberships

Job title

Member of the Technical Staff

Administrative home

Key responsibilities

Aaron Greenhouse is a member of the Performance-Critical Systems (PCS) initiative, where he develops architecture analyses and analysis tools for real-time and embedded systems. Currently his focus is on fostering industry adoption of the SAE Architecture Analysis & Design Language (AADL).

Greenhouse also collaborates with the Fluid Project led by William L. Scherlis of Carnegie Mellon University, with collaborators at University of Wisconsin-Milwaukee and the Air Force Institute of Technology.

Publications (recent or significant)

Aaron Greenhouse. A Programmer-Oriented Approach to Safe Concurrency. Ph.D. Thesis. Carnegie Mellon University School of Computer Science, Pittsburgh, PA. May 2003.
Aaron Greenhouse, T.J. Halloran, William L. Scherlis. "Observations on the Assured Evolution of Concurrent Java Programs." 2004 Workshop on Concurrency and Synchronization in Java Programs. St. John's, Newfoundland, Canada, July 25-26, 2004. Memorial University of Newfoundland Computer Science Technical Report #2004-01.
Aaron Greenhouse, T.J. Halloran, William L. Scherlis. "Using Eclipse to Demonstrate Positive Static Assurance of Java Program Concurrency Design Intent." Eclipse Technology eXchange (eTX) workshop. OOPSLA 2003.
Aaron Greenhouse and John Boyland. "An Object-Oriented Effects System." In ECOOP 1999, 14-18 June 1999. Volume 1628 of Lecture Notes in Computer Science, pages 205-229, Springer, Berlin, Heidelberg, New York, 1999.

Education

PhD Computer Science, CMU, 2003
MS Computer Science, CMU, 1999
BA Computer Science, Brandeis University, 1996

Professional Memberships and Activities

Association for Computing Machinery (ACM)
The Institute of Electrical and Electronics Engineers (IEEE)
ACM SIGPLAN
ACM SIGSOFT
IEEE Computer Society
Program Committee, Synchronization and Concurrency in Object-Oriented Lanagues 2005

Contact Information

Electronic mail address: aarong@sei.cmu.edu

Phone: +1-412- 268-6464

Fax: 412-268-5758

Room: 5417