Current AY: 2024/25

I’m teaching CS3104 Operating Systems in Semester 1, and CS4202 Computer Architecture in Semester 2.

I’m also the First Level Coordinator, a Subhonours Adviser of Studies, and the Visiting Day 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:

• 2023/24:
  • CS1007 - Computer System Fundamentals
  • CS4202 - Computer Architecture
  • First Level Coordinator
  • Subhonours Adviser of Studies
  • Visiting Day Coordinator
• 2022/23:
  • CS1007 - Computer System Fundamentals
  • CS4202 - Computer Architecture
  • Subhonours Adviser of Studies
• 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, University of St Andrews)
• Kimberley Stonehouse (PhD, co-supervised with Björn Franke, University of Edinburgh)
  • Leaps and bounds: Analysing WebAssembly’s performance with a focus on bounds checking
• Amir Khordadi (PhD, co-supervised with Björn Franke, University of Edinburgh)

Taught Students

• TBA

Previous Students

2018

• James Renwick (MSc 2018)
  • Low-cost deterministic C++ exceptions for embedded systems

2020

• Wenqing Zhong (MSc 2020, co-supervised with Björn Franke, University of Edinburgh)
• Robert Lamacraft (MSc 2020)
• Yashvi Chawla (MSc 2020)

2021

• Kimberley Stonehouse (BEng (Hons) 2021)
  • Now doing a PhD with me.
• 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
  • Now a Principal GPU Hardware Architect at Huawei.

2022

• Silver Campbell (MInf 2022, co-supervised with Björn Franke, University of Edinburgh)
  • Now a software engineer at ADI.
• Ferdia McKeogh (BSc (Hons) 2022, co-supervised with Al Dearle)
  • Now doing a PhD with me.
• Alex Sequeira (MSc 2022)
  • Now an electronic trading developer at Arctic Lake.
• Dmitry Voronetskiy (MSc 2022)
  • Now a junior developer at Cobblestone Energy.
• Jamie Munro (MSc 2022)

2023

• Joe Bailey (BSc (Hons) 2023): Remote Control-flow Attestation
  • Now a security engineer at ThreatSpike Labs.
• Ben Bicknell (BSc (Hons) 2023): JavaScript Obfuscation
  • Now a software security engineer at hCaptcha.
• Scott Jones (MSci (Hons) 2023): Native Shared Libraries in a DBT
  • Now a software engineer at Stripe.
• Alexandre Kings (BSc (Hons) 2023): Generating BRIO layouts
  • Now a Masters student at TU Delft.
• Amy Mason (BSc (Hons) 2023): Parsing Formal Arm ISA semantics
  • Now a technology associate at Morgan Stanley.
• Anurag Suresh (BSc (Hons) 2023): Direct I-cache Injection for JITted code
  • Now a software engineer at Meta.
• Robbie Wallace (MSci (Hons) 2023): Reconstructing Guest Control Flow in a DBT
  • Now a software engineer at JPMorgan.
• Raven Szewczyk (PhD, co-supervised with Antonio Barbalace, University of Edinburgh)
  • Leaps and bounds: Analysing WebAssembly’s performance with a focus on bounds checking
  • Now at img.ly.

2024

• Martin Kristien (PhD 2024, co-supervised with Björn Franke, University of Edinburgh)
  • Fast and correct load-link/store-conditional instruction handling in DBT systems
  • Now at Synopsys.
• Alex Pezarro (BSc (Hons) 2024)
• Alex Krajnovic (BSc (Hons) 2024)
• Jakub Sokolowski (MSci (Hons) 2024)
• Sam Ball (MSci (Hons) 2024)
• Tim Beatham (MSci (Hons) 2024)
  • Now a software engineer at Ciena.