Computer Laboratory

Peter Calvert

I am a final-year PhD student at the University of Cambridge Computer Laboratory, under the supervision of Prof. Alan Mycroft. My research interests lie in compilation for parallel architectures and, in particular, intermediate representations. It is only by introducing new abstractions at the IR level that we can hope to acheive the same portability and scalability that has been possible in the past, on parallel hardware.

Publications

• Peter Calvert, Alan Mycroft: Control Flow Analysis for the Join Calculus. In Proceedings of SAS 2012, Deauville, France, September 2012.
Proof of Correctness
• Peter Calvert, Alan Mycroft: Mapping the Join Calculus to Heterogeneous Hardware. In Proceedings of PLACES 2012, Tallinn, Estonia, March 2012.
• Peter Calvert, Alan Mycroft: Petri-nets as an Intermediate Representation for Heterogeneous Architectures. In Proceedings of Euro-Par 2011, Bordeaux, France, August 2011.
• Peter Calvert, Alan Mycroft: Portability for Heterogeneous Parallel Architectures. Poster at ACACES 2011, Fuiggi, Italy, July 2011.
• Peter Calvert: Parallelisation of Java for Graphics Processors. Part II Dissertation, Computer Science Tripos, June 2010.
  • Undergraduate Winner of the ACM Student Research Competition: poster at PACT 2010 (September 2010), abstract in the Grand Finals (June 2011).
  • Winner in the SET Awards (September 2010): BCS Award for the Best Information Technology Student.
  • Source code.

Invited Talks

• Architecture-neutral Parallelism. Departmental Seminar, University of Birmingham, March 2012.

Teaching

• For Lent 2012, I developed a series of practical exercises for supervising Compiler Construction. I am refining these to produce an exercise sheet that others can use for 2013.
• I have also supervised for the Part II course Optimising Compilers as well as various Part IA courses.