Aaron Greenhouse

According to our database, Aaron Greenhouse authored at least 6 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

Observations on the assured evolution of concurrent Java programs.

Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis

Sci. Comput. Program., 2005

2003

Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent.

Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis

Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

2002

The code of many colors: relating threads to code and shared state.

Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

Assuring and evolving concurrent programs: annotations and policy.

Aaron Greenhouse, William L. Scherlis

Proceedings of the 24th International Conference on Software Engineering, 2002

1999

MayEqual: A New Alias Question.

John Boyland, Aaron Greenhouse

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

An Object-Oriented Effects System.

Aaron Greenhouse, John Boyland

Proceedings of the ECOOP'99, 1999