| |
| 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] |