About Me

I am a PhD student in the Computer Lab at the University of Cambridge, supervised by Dr. Gavin Bierman and Dr. Peter Sewell. Previously I was an undergraduate at the University of Leeds

Research Interests

I am interested in both the theoretical and practical aspects of the design and compilation of programminglanguages. I am specifically interested in using type theory as a tool to build programming languages that support dynamic update.

Publications

Formalising Dynamic Software Updating. Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle. In the Proceedings of the Workshop on Unanticipated Software Engineering (USE), April 2003. [ps | pdf]

Dynamic Rebinding for Marshalling and Update. Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wandsborogh. In the Proceedings of the ACM International Conference on Functional Programming (ICFP), pages 99-110, August 2003. Paper:[ps | pdf] TR:[ps | pdf]

Mutatis Mutandis: Dynamic Software Updating Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, Iulian Neamtiu. To appear in the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2005. Paper:[ps | pdf]

Co-authors

• Gavin Bierman
• Mike Hicks
• Iulian Neamtiu
• Peter Sewell

Contact Information

email: gareth.stoyle [at] cl [dot] cam [dot] ac [dot] uk

phone: +44 1223 763685

Address: Room FE22, William Gates Building, 15JJ Thompson Avenue, University of Cambridge, Cambridge, England, CB3 0FD