![]() | ![]() |
2005 | ||
---|---|---|
6 | EE | Aaron Greenhouse, T. J. Halloran, William L. Scherlis: Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58(3): 384-411 (2005) |
2003 | ||
5 | EE | Aaron Greenhouse, T. J. Halloran, William L. Scherlis: Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. OOPSLA Workshop on Eclipse Technology eXchange 2003: 99-103 |
2002 | ||
4 | EE | Aaron Greenhouse, William L. Scherlis: Assuring and evolving concurrent programs: annotations and policy. ICSE 2002: 453-463 |
3 | EE | Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis: The code of many colors: relating threads to code and shared state. PASTE 2002: 77-83 |
1999 | ||
2 | EE | Aaron Greenhouse, John Boyland: An Object-Oriented Effects System. ECOOP 1999: 205-229 |
1 | John Boyland, Aaron Greenhouse: MayEqual: A New Alias Question. ECOOP Workshops 1999: 141-143 |
1 | John Tang Boyland (John Boyland) | [1] [2] |
2 | T. J. Halloran | [5] [6] |
3 | William L. Scherlis (Bill Scherlis) | [3] [4] [5] [6] |
4 | Dean F. Sutherland | [3] |