Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement. - James Shin Young; Josh MacDonald; Michael Shilman; Abdallah Tabbara; Paul N. Hilfinger; A. Richard Newton (DAC, 1998)

PRCS: The Project Revision Control System. - Josh MacDonald; Paul N. Hilfinger; Luigi Semenzato (SCM, 1998)

Ninja: A Framework for Network Services. - J. Robert von Behren; Eric A. Brewer; Nikita Borisov; Michael Chen 001; Matt Welsh; Josh MacDonald; Jeremy Lau; David E. Culler (USENIX ATC, General Track, 2002)

Dumb pipes for smart systems: How tomorrow's applications can salvage yesterday's plumbing. - Tianming Wei; Yvonne Coady; Josh MacDonald; Kellogg S. Booth; Jon Salter; Cynthia L. Girling (PACRIM, 2017)