An Object-Oriented Effects System. - Aaron Greenhouse; John Boyland (ECOOP, 1999)

MayEqual: A New Alias Question. - John Boyland; Aaron Greenhouse (ECOOP Workshops, 1999)

Assuring and evolving concurrent programs: annotations and policy. - Aaron Greenhouse; William L. Scherlis (ICSE, 2002)

The code of many colors: relating threads to code and shared state. - Dean F. Sutherland; Aaron Greenhouse; William L. Scherlis (PASTE, 2002)

Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. - Aaron Greenhouse; Timothy J. Halloran; William L. Scherlis (eTX, 2003)

Observations on the assured evolution of concurrent Java programs. - Aaron Greenhouse; Timothy J. Halloran; William L. Scherlis (Sci. Comput. Program., 2005)

Modeling Digital Threads as Executable Workflows Using SysMLv2. - Aaron Greenhouse; Joseph R. Seibel; Jérôme Hugues (SysCon, 2025)