Table of Contents

• Publications
• Degree Coursework
• Presentations

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.

• Proceedings of the Third Large Scale Complex IT Systems Postgraduate Workshop, Jason S. Reich (ed.).

  Goodenough Club, London, UK, October 2011.

• Lazy Generation of Canonical Test Programs, Jason S. Reich and Matthew Naylor and Colin Runciman.

  Implementation and Application of Functional Languages, LNCS 7257, 2012.

• Advances in Lazy SmallCheck, Jason S. Reich and Matthew Naylor and Colin Runciman.

  Implementation and Application of Functional Languages, LNCS, To be published 2013.

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.

• Is it a Supercompiler?, Jason S. Reich.

  University of Nottingham’s FP Away Day, May 2012.

• Advances in Lazy SmallCheck, Jason S. Reich and Matthew Naylor and Colin Runciman.

  Presented at the 24th Symposium on Implementation and Application of Functional Languages, August 2012.