research area

Available and Secure Computing Systems

dividing line

Current Projects:

Open Source Evaluation and Assurance

Recent Publications

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. 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. "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.

[email]

Use Carnegie Mellon's Directory

Aaron Greenhouse

Aaron GreenhouseAaron Greenhouse is a Visiting Scientist in the Software Engineering Institute and 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.

Education

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