Aaron Greenhouse

Publication Activity (10 Years)

Years Active: 1999-2005
Publications (10 Years): 0

Publications

Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis
Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58 (3) (2005)
Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis
Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. eTX (2003)
Aaron Greenhouse, William L. Scherlis
Assuring and evolving concurrent programs: annotations and policy. ICSE (2002)
Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis
The code of many colors: relating threads to code and shared state. PASTE (2002)
John Boyland, Aaron Greenhouse
MayEqual: A New Alias Question. ECOOP Workshops (1999)
Aaron Greenhouse, John Boyland
An Object-Oriented Effects System. ECOOP (1999)