Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation. - Timothy S. McNerney (PEPM, 1991)

Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler. - Mark Bromley; Steven Heller; Timothy S. McNerney; Guy L. Steele Jr. (PLDI, 1991)

From turtles to Tangible Programming Bricks: explorations in physical language design. - Timothy S. McNerney (Pers. Ubiquitous Comput., 2004)