Date: Thu, 21 Nov 1996 22:23:35 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Wed, 08 May 1996 21:55:52 GMT Content-length: 1709
Published papers:
Other research: Working on dissertation in verifiable optimisations in compilers using flow analysis.
Tutorial notes (rough drafts only):
Links to courses TA'd: CS121 CS152 CS153 CS252 CS253
Allyn Dimock Aiken Comp. Lab #111 33 Oxford St. Cambridge, Ma. 02138 U.S.A. dimock@das.harvard.edu