Dr Tom Spink

Dr Tom Spink

Lecturer

Researcher profile

Phone
+44 (0)1334 46 3335
Email
tcs6@st-andrews.ac.uk

 

Teaching

In AY 22/23, I'm teaching CS1007 - Computer Systems Fundamentals and CS4202 - Computer Architecture.

Research areas

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.

PhD supervision

  • Ferdia McKeogh

Selected publications

  • Open access

    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

  • 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. (IEEE International Symposium on Workload Characterization (IISWC)).

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

  • Open access

    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

    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

    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

    A retargetable system-level DBT hypervisor

    Spink, T., Wagstaff, H. & Franke, B., 10 Jul 2019, Proceedings of the 2019 USENIX Annual Technical Conference. Renton, WA: USENIX Association, p. 505-520 16 p.

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

  • Open access

    Full-system simulation of mobile CPU/GPU platforms

    Kaszyk, J., Wagstaff, H., Spink, T., Franke, B., O'Boyle, M., Bodin, B. & Uhrenholt, H., 25 Apr 2019, 2019 IEEE International Symposium on Performance Analysis of Systems and Software. Institute of Electrical and Electronics Engineers (IEEE), p. 68-78 11 p.

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

  • Open access

    Low-cost deterministic C++ exceptions for embedded systems

    Renwick, J., Spink, T. & Franke, B., 16 Feb 2019, Proceedings of the 28th International Conference on Compiler Construction (CC ’19): February 16–17, 2019, Washington, DC, USA. Washington, DC, USA: ACM, p. 76–86 11 p.

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

  • Open access

    Mitigating JIT compilation latency in Virtual Execution Environments

    Kristien, M., Spink, T., Wagstaff, H., Franke, B., Boehm, I. & Topham, N., 14 Apr 2019, Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. ACM, p. 101–107 7 p.

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

  • Open access

    Uncovering security vulnerabilities in the Belkin WeMo home automation ecosystem

    Liu, H., Spink, T. & Patras, P., 6 Jun 2019, 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops. Institute of Electrical and Electronics Engineers (IEEE), p. 894-899 6 p. 8730685

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

 

See more publications