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
Recent Visitors/Other Group Alumni
- Kyoko Iwasawa
- Maziar Gudarzi
- Damien Masse