Joe Isaacs

I'm a final year PhD student working with Timothy M. Jones in the Computer Architecture Group, my PhD is supported by EPSRC and ARM.

Research

I focus on compiler techniques to achieve program optimisation and parallelisation. The current aim is to use semantic information to:

• Improve static analysis
• Break true data dependences in an acceptable way
• Create a simple-to-use methods to pass semantic information to the compiler

Teaching

I have previously supervised undergraduate courses using the following questions:

• Further Java
• Semantics of Programming Languages
• Compiler Construction
• Optimising Compilers
• Computer Design
• Programming in C
• Computation Theory
• Logic and Proof
• Hoare Logic and Model Checking

Contact

joe.isaacs at cl.cam.ac.uk