I am a fourth-year PhD student in the Theory and Semantics Group at the Computer Laboratory, University of Cambridge. I am also a member of Queens' College. My supervisor is Tim Griffin.
I am jointly working on the Metarouting Project.
Previously I have worked on HashCaml, a project to bring type-safe marshaling to the OCaml language.
My final-year undergraduate project was to increase the runtime performance of a subset of the Acute programming language by targetting OCaml bytecode. See my dissertation for the gory details.
A model of Internet routing using semi-modules.
John N. Billings, Timothy G. Griffin.
To appear at RelMiCS/AKA 11 2009,
Doha, Qatar, November 2009.
An architecture for metarouting.
John N. Billings, Philip J. Taylor, Timothy G. Griffin.
Routing in Next Generation Workshop,
Madrid, December 2007.
Type-Safe Distributed Programming for OCaml.
John Billings, Peter Sewell, Mark Shinwell, Rok Strnisa.
2006 ACM SIGPLAN Workshop on ML,
Portland, Oregon, September 2006.
John Billings
University of Cambridge
Computer Laboratory
15 JJ Thomson Avenue
Cambridge CB3 0FD
United Kingdom
Email: firstname DOT lastname AT cl.cam.ac.uk
Phone: +44 (0)1223 763693
Office: FE22
Last updated: Wed Jul 29 15:17:18 BST 2009