Current AY: 2023/24

I’m teaching CS1007 Computer System Fundamentals in Semester 1, and CS4202 Computer Architecture in Semester 2.

I’m also the First Level Coordinator.

If you need to get in touch with me in relation to my teaching/admin activities, try and ping me on Teams in the first instance, or send me an email.

Previous AYs:

• 2022/23:
  • CS1007 - Computer System Fundamentals
  • CS4202 - Computer Architecture
• 2021/22:
  • CS4202 - Computer Architecture

Previous Teaching

When I worked at the University of Edinburgh, I taught Operating Systems and The Internet of Things: Systems, Security, and the Cloud. For the OS course, I developed a new OS from scratch (in C++) to aid with teaching: https://github.com/tspink/infos.

Student Supervision

If you want to study for a PhD with me, please get in touch! I’m looking for students in the area of virtualisation, dynamic binary translation, just-in-time compilation, and dynamic language runtimes.

Current Students

Research Students

• Ferdia McKeogh (PhD)
• Kimberley Stonehouse (PhD, co-supervised with Björn Franke, University of Edinburgh)
• Martin Kristien (PhD, co-supervised with Björn Franke, University of Edinburgh)
  • Fast and correct load-link/store-conditional instruction handling in DBT systems

Taught Students

• Alex Pezarro, BSc Hons.
• Alex Krajnovic, BSc Hons.
• Jakub Sokolowski, MSci Hons.
• Sam Ball, MSci Hons.
• Tim Beatham, MSci Hons.

Previous Students

• James Renwick (MSc 2018)
  • Low-cost deterministic C++ exceptions for embedded systems
• Wenqing Zhong (MSc 2020, co-supervised with Björn Franke, University of Edinburgh)
• Robert Lamacraft (MSc 2020)
• Yashvi Chawla (MSc 2020)
• Kimberley Stonehouse (BEng Hons. 2021)
• Kuba Kaszyk (PhD 2021, co-supervised with Björn Franke, University of Edinburgh)
  • Full-system simulation of mobile CPU/GPU platforms
  • Navigating the landscape for real-time localization and mapping for robotics and virtual and augmented reality
• Silver Campbell (MInf 2022, co-supervised with Björn Franke, University of Edinburgh)
• Ferdia McKeogh (BSc Hons. 2022, co-supervised with Al Dearle)
• Alex Sequeira (MSc 2022)
• Dmitry Voronetskiy (MSc 2022)
• Jamie Munro (MSc 2022)
• Joe Bailey (BSc Hons. 2023): Remote Control-flow Attestation
• Ben Bicknell (BSc Hons. 2023): JavaScript Obfuscation
• Scott Jones (MSci Hons. 2023): Native Shared Libraries in a DBT
• Alexandre Kings (BSc Hons. 2023): Generating BRIO layouts
• Amy Mason (BSc Hons. 2023): Parsing Formal Arm ISA semantics
• Anurag Suresh (BSc Hons. 2023): Direct I-cache Injection for JITted code
• Robbie Wallace (MSci Hons. 2023): Reconstructing Guest Control Flow in a DBT
• Raven Szewczyk (PhD, co-supervised with Antonio Barbalace, University of Edinburgh)
  • Leaps and bounds: Analysing WebAssembly’s performance with a focus on bounds checking