Travelled to:1 × Canada
1 × USA
Collaborated with:∅ M.Bromley S.Heller G.L.S.Jr.
Talks about:compil (2) transform (1) interpret (1) gigaflop (1) convolut (1) abstract (1) fortran (1) correct (1) connect (1) verifi (1)
Person: Timothy S. McNerney
DBLP: McNerney:Timothy_S=
Contributed to:
1991
1991Wrote 2 papers:
- PEPM-1991-McNerney #abstract interpretation #compilation #correctness #using #verification
- Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation (TSM), pp. 106–115.
- PLDI-1991-BromleyHMS #compilation #fortran
- Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler (MB, SH, TSM, GLSJ), pp. 145–156.