Automated ISA branch coverage analysis and test case generation for retargetable instruction set simulators. - Harry Wagstaff; Tom Spink; Björn Franke (CASES, 2014)

Efficient code generation in a region-based dynamic binary translator. - Tom Spink; Harry Wagstaff; Björn Franke; Nigel P. Topham (LCTES, 2014)

Efficient dual-ISA support in a retargetable, asynchronous Dynamic Binary Translator. - Tom Spink; Harry Wagstaff; Björn Franke; Nigel P. Topham (SAMOS, 2015)

Efficient asynchronous interrupt handling in a full-system instruction set simulator. - Tom Spink; Harry Wagstaff; Björn Franke (LCTES, 2016)

Hardware-Accelerated Cross-Architecture Full-System Virtualization. - Tom Spink; Harry Wagstaff; Björn Franke (ACM Trans. Archit. Code Optim., 2016)

SimBench: A portable benchmarking methodology for full-system simulators. - Harry Wagstaff; Bruno Bodin; Tom Spink; Björn Franke (ISPASS, 2017)

Breaking Fitness Records Without Moving: Reverse Engineering and Spoofing Fitbit. - Hossein Fereidooni; Jiska Classen; Tom Spink; Paul Patras; Markus Miettinen; Ahmad-Reza Sadeghi; Matthias Hollick; Mauro Conti (RAID, 2017)

Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality. - Sajad Saeedi 001; Bruno Bodin; Harry Wagstaff; Andy Nisbet; Luigi Nardi; John Mawer; Nicolas Melot; Oscar Palomar; Emanuele Vespa; Tom Spink; Cosmin Gorgovan; Andrew M. Webb; et al. (CoRR, 2018)

Anatomy of a Vulnerable Fitness Tracking System: Dissecting the Fitbit Cloud, App, and Firmware. - Jiska Classen; Daniel Wegemer; Paul Patras; Tom Spink; Matthias Hollick (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018)

Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality. - Sajad Saeedi 001; Bruno Bodin; Harry Wagstaff; Andy Nisbet; Luigi Nardi; John Mawer; Nicolas Melot; Oscar Palomar; Emanuele Vespa; Tom Spink; Cosmin Gorgovan; Andrew M. Webb; et al. (Proc. IEEE, 2018)

A Retargetable System-level DBT Hypervisor. - Tom Spink; Harry Wagstaff; Björn Franke (ACM Trans. Comput. Syst., 2018)

Low-cost deterministic C++ exceptions for embedded systems. - James Renwick; Tom Spink; Björn Franke (CC, 2019)

Full-System Simulation of Mobile CPU/GPU Platforms. - Kuba Kaszyk; Harry Wagstaff; Tom Spink; Björn Franke; Michael F. P. O'Boyle; Bruno Bodin; Henrik Uhrenholt (ISPASS, 2019)

Uncovering Security Vulnerabilities in the Belkin WeMo Home Automation Ecosystem. - Haoyu Liu; Tom Spink; Paul Patras (PerCom Workshops, 2019)

Mitigating JIT compilation latency in virtual execution environments. - Martin Kristien; Tom Spink; Harry Wagstaff; Björn Franke; Igor Böhm; Nigel P. Topham (VEE, 2019)

Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems. - Martin Kristien; Tom Spink; Brian Campbell 001; Susmit Sarkar; Ian Stark; Björn Franke; Igor Böhm; Nigel P. Topham (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Leaps and bounds: Analyzing WebAssembly's performance with a focus on bounds checking. - Raven Szewczyk; Kimberley Stonehouse; Antonio Barbalace; Tom Spink (IISWC, 2022)

Lasagne: a static binary translator for weak memory model architectures. - Rodrigo C. O. Rocha; Dennis Sprokholt; Martin Fink 004; Redha Gouicem; Tom Spink; Soham Chakraborty 001; Pramod Bhatotia (PLDI, 2022)

Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures. - Redha Gouicem; Dennis Sprokholt; Jasper Ruehl; Rodrigo C. O. Rocha; Tom Spink; Soham Chakraborty 001; Pramod Bhatotia (ASPLOS (1), 2023)

Accelerating Shared Library Execution in a DBT. - Tom Spink; Björn Franke (LCTES, 2024)

Pydrofoil: Accelerating Sail-Based Instruction Set Simulators. - Carl Friedrich Bolz-Tereick; Luke Panayi; Ferdia McKeogh; Tom Spink; Martin Berger 001 (ECOOP, 2025)