Cambridge Programming Research Group
Some Completed PhD's/Group Alumni
- Jonathan Mak, PhD 2011.
Thesis: Facilitating program parallelisation - a profiling-based approach
- Boris Feigin, PhD 2011.
Thesis: Interpretational overhead in system software
- Mark Adcock, PhD 2009.
Thesis: Improving cache performance by runtime data movement
- Anton Lokhmotov, PhD 2008.
Thesis: Programming and compiling for embedded SIMD architectures
- Dana Xu, PhD 2008.
Thesis: Static contract checking for Haskell
- Alan Lawrence, PhD 2007.
Thesis: Optimizing compilation with the Value State Dependence Graph
- Martin Vechev, PhD 2007.
- Sarah Thompson, PhD 2006.
Thesis: On the application of program analysis and transformation to high reliability hardware
- Jeremy Singer, PhD 2005.
Thesis: Static Program Analysis Based on Virtual Register Renaming
- Simon Frankau, PhD 2004.
Thesis: Hardware Synthesis from a Stream-Processing Functional Language
- David Scott, PhD 2004.
Thesis: Abstracting Application-level Security Policy for Ubiquitous Computing
- Neil Johnson, PhD 2004.
Thesis: Code Size Optimization for Embedded Processors
- Nicholas Nethercote, PhD 2004.
Thesis: Dynamic binary analysis and instrumentation
- Rob Ennals, PhD 2004.
Thesis: Adaptive Evaluation of Non Strict Programs
- Richard Sharp, PhD 2002.
Thesis: Higher-Level Hardware Synthesis
- Mantsika Matooane, PhD 2001.
Thesis: Parallel Systems in Symbolic and Algebraic Computation
- Reuben Thomas, PhD 2000.
Thesis: Mite: a Basis for Ubiquitous Virtual Machines
- Panayis Fourniotis Pavlatos, PhD 1998
Thesis: Compiler Optimisation of Typeless Languages
- Andrew Kennedy, PhD 1996.
Thesis: Programming Languages and Dimensions
- Nick Benton, PhD 1993.
Thesis: Strictness Analysis of Lazy Functional Languages
- Mads Rosendahl, PhD 1992.
Thesis: Abstract Interpretation and Attribute Grammars
- Kish Shen, PhD 1992.
Thesis: Studies of AND/OR Parallelism in Prolog
- Philip M. Yelland, PhD 1991.
Thesis: Models of Modularity: a Study of Object-oriented Programming
- Paul Curzon, PhD 1990.
Thesis: A Structured Approach to the Verification of Low Level Microcode
- Jeremy P. Bennett, PhD 1987.
Thesis: A Methodology for Automating the Design of Computer Instruction Sets