Table of Contents
Publications
Supercompilation and the Reduceron, Jason S. Reich and Matthew Naylor and Colin Runciman.
Proceedings of the Second International Workshop on Metacomputation in Russia, July 2010.
Lazy generation of canonical test programs, Jason S. Reich and Matthew Naylor and Colin Runciman.
Proceedings of the 23rd Symposium on Implementation and Application of Functional Languages, To be published 2012.
Degree Coursework
Optimus Prime: A new tool for interactive transformation and supercompilation of functional programs, Jason S. Reich.
Master’s Dissertation, 2009.
Towards a dependable supercompiler for the Reduceron, Jason S. Reich.
Qualifying Dissertation, 2010.
Towards a dependable optimising compiler for the Reduceron, Jason S. Reich.
Progress Report, February 2011.
PFA reflective portfolio, Jason S. Reich.
Submitted in fulfillment of the Preparing Future Academics programme, June 2011.
Presentations
Formal verification of programming language implementations, Jason S. Reich.
Ph.D. Literature Seminar, January 2010.
Getting acquainted with Agda, Jason S. Reich.
PLASMA research group seminar, November 2010.
Supercompilation and the Reduceron, Jason S. Reich and Matthew Naylor and Colin Runciman.
Presented at the Second International Workshop on Metacomputation in Russia, July 2010.
The right compiler for the Reduceron, Jason S. Reich.
Research student seminar, January 2011.
Getting compilers right, Jason S. Reich.
CGO Guest Lecture, February 2011.
Progress when programming, Jason S. Reich.
PFA Symposium presentation, March 2011.
Lazy generation of canonical programs, Jason S. Reich and Matthew Naylor and Colin Runciman.
Presented at the 23rd Symposium on Implementation and Application of Functional Languages, October 2011.
First ES and FP Friendship and Understanding Workshop, Jason S. Reich.
Enterprise Systems group seminar, May 2012.