http://www.das.harvard.edu/users/students/Allyn_Dimock/Allyn_Dimock.html
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