Tom Spink
  • KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

JIT-Compilation-as-a-Service, Cross-architecture Virtual Machine Hypervisor, IoT Virtualisation, Unikernels, Distributed virtualisation, Operating Systems

Personal profile

Research overview

My research lies in the area of efficient cross-architecture hardware virtualisation - or techniques to efficiently emulate a full computer architecture on a different host.  Dynamic Binary Translation is the key underlying technology that I'm investigating, and I've been working on how we can use hardware acceleration to make this process more efficient, ultimately improving the performance of a virtualised system.

Research interests

I'm generally interested in the area of computer systems, specifically:

  • Operating Systems
  • Virtualisation
  • Compilers
  • Runtime systems

Academic/Professional Qualification

I have a B.Eng. (hons) in Software Engineering, and a PhD in computer systems architecture from the University of Edinburgh.

Teaching activity

In AY 23/24, I'm teaching CS1007 - Computer Systems Fundamentals in S1, and CS4202 - Computer Architecture in S2.

Profile Keywords

Dynamic Binary Translation, Hardware Virtualisation, Operating Systems, Runtimes, Compilers

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 7 - Affordable and Clean Energy

Education/Academic qualification

Doctor of Philosophy, Efficient Cross-architecture Hardware Virtualisation

1 Jan 201331 Dec 2016

Award Date: 11 Jul 2017

Bachelor of Engineering, Software Engineering, Edinburgh University

Award Date: 7 Jul 2008

Fingerprint

Dive into the research topics where Tom Spink is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Lasagne: a static binary translator for weak memory model architectures

    Rocha, R. C. O., Sprokholt, D., Fink, M., Gouicem, R., Spink, T., Chakraborty, S. & Bhatotia, P., 9 Jun 2022, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022). ACM, p. 888–902 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    1 Downloads (Pure)
  • Leaps and bounds: analysing WebAssembly’s performance with a focus on bounds checking

    Szewczyk, R., Stonehouse, K., Barbalace, A. & Spink, T., 6 Nov 2022, Proceedings of the 2022 IEEE International Symposium on Workload Characterization. Online: IEEE, p. 256-268 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    1 Downloads (Pure)
  • Risotto: a dynamic binary translator for weak memory model architectures

    Gouicem, R., Sprokholt, D., Ruehl, J., Rocha, R., Spink, T., Chakraborty, S. & Bhatotia, P., 21 Dec 2022, Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1 (ASPLOS 2023). Aamodt, T. M., Jerger, N. E. & Swift, M. (eds.). New York, NY: ACM, Vol. 1. p. 107–122 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    4 Downloads (Pure)
  • A retargetable system-level DBT hypervisor

    Spink, T., Wagstaff, H. & Franke, B., 30 May 2020, In: ACM Transactions on Computer Systems. 36, 4, p. 1-24

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    10 Downloads (Pure)
  • Fast and correct load-link/store-conditional instruction handling in DBT systems

    Kristien, M., Spink, T., Campbell, B., Sarkar, S., Stark, I., Franke, B., Böhm, I. & Topham, N., 2 Oct 2020, CASES '20: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems. IEEE Computer Society, Vol. Early Access. 11 p. (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    4 Downloads (Pure)
  • Best Paper Award

    Spink, Tom (Recipient), Wagstaff, Harry (Recipient) & Franke, Björn (Recipient), 10 Jul 2019

    Prize: Prize (including medals and awards)