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)

The Fog of Software Design. - Timothy J. Halloran (IEEE Softw., 2021)

Garbage Collect Your Technical Debt. - Michael Keeling; Tim Halloran; George Fairbanks (IEEE Softw., 2021)

Did Your Manager Choose Your Architecture? - Timothy J. Halloran (IEEE Softw., 2022)