Publications
Below is a list of my publications. These can also be found on my ACM author page, my IEEE Xplore author page, my DBLP page or my Google Scholar page.
KernelCraft: Benchmarking for Agentic Close-to-Metal Kernel Generation on Emerging Hardware
Jiayi Nie, Haoran Wu, Yao Lai, Zeyu Cao, Cheng Zhang, Binglei Lou, Erwei Wang, Jianyi Cheng, Timothy M. Jones, Robert Mullins, Rika Antonova and Yiren Zhao
International Conference on Machine Learning (ICML), July 2026
Combating the Memory Walls: Optimization Pathways for Long-Context Agentic LLM Inference
Haoran Wu, Can Xiao, Jiayi Nie, Xuan Guo, Binglei Lou, Jeffrey T. H. Wong, Zhiwen Mo, Cheng Zhang, Przemyslaw Forys, Chengyang Ai, Timi Adeniran, Wayne Luk, Hongxiang Fan, Jianyi Cheng, Timothy M. Jones, Rika Antonova, Robert Mullins and Aaron Zhao
International Symposium on Computer Architecture (ISCA), June 2026
CHERI-SIMT: Implementing Capability Memory Protection in GPUs
Matthew Naylor, Alexandre Joannou, A. Theodore Markettos, Paul Metzger, Simon W. Moore and Timothy M. Jones
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2026
Ghost Threading: Helper-Thread Prefetching for Real Systems
Yuxin Guo, Alexandra W. Chadwick, Márton Erdős, Utpal Bora, Akshay Bhosale, Giacomo Gabrielli and Timothy M. Jones
International Symposium on Microarchitecture (MICRO), October 2025
LoopFrog: In-Core Hint-Based Loop Parallelization
Márton Erdős, Utpal Bora, Akshay Bhosale, Bob Lytton, Ali Zaidi, Alexandra W. Chadwick, Yuxin Guo, Giacomo Gabrielli and Timothy M. Jones
International Symposium on Microarchitecture (MICRO), October 2025
Deprivileging Low-Level GPU Drivers Efficiently with User-Space Processes and CHERI Compartments
Paul Metzger, A. Theodore Markettos, Edward Tomasz Napierała, Matthew Naylor, Robert N. M. Watson and Timothy M. Jones
ACM Conference on Computer and Communications Security (CCS), October 2025
Scalar Vector Runahead: Removing the Shackles of Indirect Memory Chains on In-Order Cores
Jaime Roelandts, Ajeya Naithani, Sam Ainsworth, Timothy M. Jones and Lieven Eeckhout
IEEE Micro, Volume 45 Issue 4, July--August 2025
ParaVerser: Harnessing Heterogeneous Parallelism for Affordable Fault Detection in Data Centers
Minli Julie Liao, Sam Ainsworth, Lev Mukhanov, Adrian Barredo, Markos Kynigos and Timothy M. Jones
International Conference on Dependable Systems and Networks (DSN), June 2025
Zhe Jiang, Minli Liao, Sam Ainsworth, Dean You and Timothy M. Jones
Design Automation Conference (DAC), June 2025
Zhe Jiang, Sam Ainsworth and Timothy M. Jones
Design Automation Conference (DAC), June 2025
Adaptive CHERI Compartmentalization for Heterogeneous Accelerators
Jianyi Cheng, A. Theodore Markettos, Alexandre Joannou, Paul Metzger, Matthew Naylor, Peter Rugg and Timothy M. Jones
International Symposium on Computer Architecture (ISCA), June 2025
PIP: An Ensemble of Programming-Idiom Predictors
Karl H. Mose, Alexandra W. Chadwick, Márton Erdős, Jiayi Nie, Rika Antonova, Timothy M. Jones and Robert D. Mullins
Championship Branch Prediction (CBP), June 2025
MASCOT: Predicting memory dependencies and opportunities for speculative memory bypassing
Karl H. Mose, Sebastian S. Kim, Alberto Ros, Timothy M. Jones and Robert D. Mullins
International Symposium on High Performance Computer Architecture (HPCA), March 2025
Parallaft: Runtime-based CPU Fault Tolerance via Heterogeneous Parallelism
Boyue Zhang, Sam Ainsworth, Lev Mukhanov and Timothy M. Jones
International Symposium on Code Generation and Optimization (CGO), March 2025
Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security
Mahwish Arif, Sam Ainsworth and Timothy M. Jones
International Symposium on Code Generation and Optimization (CGO), March 2025
A Deep Technical Review of nZDC Fault Tolerance
Minli Liao, Sam Ainsworth, Lev Mukhanov and Timothy M. Jones
International Conference on Compiler Construction (CC), March 2025
Selected for IEEE Micro Top Picks from the Computer Architecture Conferences
Jaime Roelandts, Ajeya Naithani, Sam Ainsworth, Timothy M. Jones and Lieven Eeckhout
International Symposium on Microarchitecture (MICRO), November 2024
Advanced Dynamic Scalarisation for RISC-V GPGPUs
Matthew Naylor, Alexandre Joannou, A. Theodore Markettos, Paul Metzger, Simon W. Moore and Timothy M. Jones
International Conference on Computer Design (ICCD), November 2024
Decoupled Vector Runahead for Prefetching Nested Memory-Access Chains
Ajeya Naithani, Jaime Roelandts, Sam Ainsworth, Timothy M. Jones and Lieven Eeckhout
IEEE Micro, Volume 44 Issue 4, July--August 2024
OptiWISE: Combining Sampling and Instrumentation for Granular CPI Analysis
Yuxin Guo, Alex W. Chadwick, Márton Erdős, Utpal Bora, Ilias Vougioukas, Giacomo Gabrielli and Timothy M. Jones
International Symposium on Code Generation and Optimization (CGO), March 2024
Best paper award winnerSelected for IEEE Micro Top Picks from the Computer Architecture Conferences
Ajeya Naithani, Jaime Roelandts, Sam Ainsworth, Timothy M. Jones and Lieven Eeckhout
International Symposium on Microarchitecture (MICRO), October 2023
Vector Runahead for Indirect Memory Accesses
Ajeya Naithani, Sam Ainsworth, Timothy M. Jones and Lieven Eeckhout
IEEE Micro, Volume 42 Issue 4, July--August 2022
MineSweeper: A "Clean Sweep" for Drop-In Use-after-Free Prevention
Márton Erdős, Sam Ainsworth and Timothy M. Jones
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), February 2022
Quantifying the Semantic Gap Between Serial and Parallel Programming
Xiaochun Zhang, Timothy M. Jones and Simone Campanoni
International Symposium on Workload Characterization (IISWC), November 2021
Compendia: Reducing Virtual-Memory Costs via Selective Densification
Sam Ainsworth and Timothy M. Jones
International Symposium on Memory Management (ISMM), June 2021
Speculative Vectorisation with Selective Replay
Peng Sun, Giacomo Gabrielli and Timothy M. Jones
International Symposium on Computer Architecture (ISCA), June 2021
Selected for IEEE Micro Top Picks from the Computer Architecture Conferences
Ajeya Naithani, Sam Ainsworth, Timothy M. Jones and Lieven Eeckhout
International Symposium on Computer Architecture (ISCA), June 2021
ParaDox: Eliminating Voltage Margins via Heterogeneous Fault Tolerance
Sam Ainsworth, Lionel Zoubritzky, Alan Mycroft and Timothy M. Jones
International Symposium on High Performance Computer Architecture (HPCA), March 2021
Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring
Mahwish Arif, Ruoyu Zhou, Hsi-Ming Ho and Timothy M. Jones
International Symposium on Code Generation and Optimization (CGO), March 2021
Hsi-Ming Ho, Ruoyu Zhou and Timothy M. Jones
Information and Computation (IC), November 2020
Duplo: A Framework for OCaml Post-Link Optimisation
Nandor Licker and Timothy M. Jones
International Conference on Functional Programming (ICFP), August 2020
Prefetching in Functional Languages
Sam Ainsworth and Timothy M. Jones
International Symposium on Memory Management (ISMM), June 2020
MuonTrap: Preventing Cross-Domain Spectre-Like Attacks by Capturing Speculative State
Sam Ainsworth and Timothy M. Jones
International Symposium on Computer Architecture (ISCA), June 2020
MarkUs: Drop-in use-after-free prevention for low-level languages
Sam Ainsworth and Timothy M. Jones
IEEE Symposium on Security and Privacy (S&P), May 2020
Cornucopia: Temporal Safety for CHERI Heaps
Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierała, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. Jones, Simon W. Moore, Peter G. Neumann and Robert N. M. Watson
IEEE Symposium on Security and Privacy (S&P), May 2020
Software Prefetching for Unstructured Mesh Applications
Ioan Hadade, Timothy M. Jones, Feng Wang and Luca di Mare
ACM Transactions on Parallel Computing (TOPC), Volume 7 Issue 1, March 2020
The Guardian Council: Parallel Programmable Hardware Security
Sam Ainsworth and Timothy M. Jones
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2020
HALO: Post-Link Heap-Layout Optimisation
Joe Savage and Timothy M. Jones
International Symposium on Code Generation and Optimization (CGO), February 2020
CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety
Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel W. Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson and Timothy M. Jones
International Symposium on Microarchitecture (MICRO), October 2019
On Verifying Timed Hyperproperties
Hsi-Ming Ho, Ruoyu Zhou and Timothy M. Jones
International Symposium on Temporal Representation and Reasoning (TIME), October 2019
ParaMedic: Heterogeneous Parallel Error Correction
Sam Ainsworth and Timothy M. Jones
International Conference on Dependable Systems and Networks (DSN), June 2019
Software Prefetching for Indirect Memory Accesses: A Microarchitectural Perspective
Sam Ainsworth and Timothy M. Jones
ACM Transactions on Computer Systems (TOCS), Volume 36 Issue 3, June 2019
The Janus Triad: Exploiting Parallelism Through Dynamic Binary Modification
Ruoyu Zhou, George Wort, Márton Erdős and Timothy M. Jones
International Conference on Virtual Execution Environments (VEE), April 2019
Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation
Ruoyu Zhou and Timothy M. Jones
International Symposium on Code Generation and Optimization (CGO), February 2019
Software prefetching for unstructured mesh applications
Ioan Hadade, Timothy M. Jones, Feng Wang and Luca di Mare
Workshop on Irregular Applications: Architectures & Algorithms (IA3), November 2018
Parallel Error Detection Using Heterogeneous Cores
Sam Ainsworth and Timothy M. Jones
International Conference on Dependable Systems and Networks (DSN), June 2018
An Event-Triggered Programmable Prefetcher for Irregular Workloads
Sam Ainsworth and Timothy M. Jones
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2018
Automatically Accelerating Non-numerical Programs by Architecture-compiler Co-design
Simone Campanoni, Kevin Brownell, Svilen Kanev, Timothy M. Jones, Gu-Yeon Wei and David Brooks
Communications of the ACM (CACM), Volume 60 Number 12, December 2017
High Performance Fault Tolerance Through Predictive Instruction Re-Execution
Jyothish Soman and Timothy M. Jones
International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), October 2017
On Microarchitectural Mechanisms for Cache Wearout Reduction
Alejandro Valero, Negar Miralaei, Salvador Petit, Julio Sahuquillo and Timothy M. Jones
IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI), Volume 25 Issue 3, March 2017
Software Prefetching for Indirect Memory Accesses
Sam Ainsworth and Timothy M. Jones
International Symposium on Code Generation and Optimization (CGO), February 2017
COMET: Communication-Optimized Multi-threaded Error-detection Technique
Konstantina Mitropoulou, Vasileios Porpodas and Timothy M. Jones
International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), October 2016
Enhancing the L1 Data Cache Design to Mitigate HCI
Alejandro Valero, Negar Miralaei, Salvador Petit, Julio Sahuquillo and Timothy M. Jones
IEEE Computer Architecture Letters (CAL), Volume 15 Issue 2, July--December 2016
Graph Prefetching Using Data Structure Knowledge
Sam Ainsworth and Timothy M. Jones
International Conference on Supercomputing (ICS), June 2016
Lynx: Using OS and Hardware Support for Fast Fine-Grained Inter-Core Communication
Konstantina Mitropoulou, Vasileios Porpodas, Xiaochun Zhang and Timothy M. Jones
International Conference on Supercomputing (ICS), June 2016
Niall Murphy, Timothy M. Jones, Robert Mullins and Simone Campanoni
International Conference on Compiler Construction (CC), March 2016
Muhammad Ridwan Madarbux, Anouk Van Laer, Philip M. Watts and Timothy M. Jones
International Workshop on Advanced Interconnect Solutions and Technologies for Emerging Computing Systems (AISTECS), January 2016
Throttling Automatic Vectorization: When Less Is More
Vasileios Porpodas and Timothy M. Jones
International Conference on Parallel Architectures and Compilation Techniques (PACT), October 2015
REPAIR: Hard-Error Recovery via Re-Execution
Jyothish Soman, Negar Miralaei, Alan Mycroft and Timothy M. Jones
International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), October 2015
Coherence Based Message Prediction for Optically Interconnected Chip Multiprocessors
Anouk Van Laer, Chamath Ellawala, Muhammad Ridwan Madarbux, Philip M. Watts and Timothy M. Jones
Conference on Design, Automation and Test in Europe (DATE), March 2015
PSLP: Padded SLP Automatic Vectorization
Vasileios Porpodas, Alberto Magni and Timothy M. Jones
International Symposium on Code Generation and Optimization (CGO), February 2015
Towards zero latency photonic switching in shared memory networks
Muhammad Ridwan Madarbux, Anouk Van Laer, Philip M. Watts and Timothy M. Jones
Concurrency and Computation: Practice and Experience (CCPE), Volume 26 Issue 15, October 2014
HELIX-RC: An Architecture-Compiler Co-Design for Automatic Parallelization of Irregular Programs
Simone Campanoni, Kevin Brownell, Svilen Kanev, Timothy M. Jones, Gu-Yeon Wei and David Brooks
International Symposium on Computer Architecture (ISCA), June 2014
ALLARM: Optimizing Sparse Directories for Thread-Local Data
Amitabha Roy and Timothy M. Jones
Conference on Design, Automation and Test in Europe (DATE), February 2014
Towards Zero Latency Photonic Switching in Shared Memory Networks
Anouk Van Laer, Muhammad Ridwan Madarbux, Philip M. Watts and Timothy M. Jones
Workshop on Exploiting Silicon Photonics for Energy-Efficient Heterogeneous Parallel Architectures (SiPhotonics), January 2014
Dynamic Microarchitectural Adaptation Using Machine Learning
Christophe Dubach, Timothy M. Jones and Edwin V. Bonilla
ACM Transactions on Architecture and Code Optimization (TACO), Volume 10 Issue 4, December 2013
RECAP: Region-Aware Cache Partitioning
Karthik T. Sundararajan, Timothy M. Jones and Nigel P. Topham
International Conference on Computer Design (ICCD), October 2013
The Smart Cache: An Energy-Efficient Cache Architecture Through Dynamic Adaptation
Karthik T. Sundararajan, Timothy M. Jones and Nigel P. Topham
International Journal of Parallel Programming (IJPP), Volume 41 Number 2, April 2013
Full System Simulation of Optically Interconnected Chip Multiprocessors Using gem5
Anouk Van Laer, Timothy M. Jones and Philip M. Watts
Optical Fiber Communication Conference (OFC), March 2013
Measuring Code Optimization Impact on Voltage Noise
Svilen Kanev, Timothy M. Jones, Gu-Yeon Wei, David Brooks and Vijay Janapa Reddi
Workshop on Silicon Errors in Logic - System Effects (SELSE), March 2013
HELIX: Making the Extraction of Thread-Level Parallelism Mainstream
Simone Campanoni, Timothy M. Jones, Glenn Holloway, Gu-Yeon Wei and David Brooks
IEEE Micro, Volume 32 Issue 4, July--August 2012
Christophe Dubach, Timothy M. Jones and Michael F. P. O'Boyle
ACM Transactions on Embedded Computing Systems (TECS), Volume 11S Number 1, June 2012
The HELIX Project: Overview and Directions
Simone Campanoni, Timothy M. Jones, Glenn Holloway, Gu-Yeon Wei and David Brooks
Design Automation Conference (DAC), June 2012
HELIX: Automatic Parallelization of Irregular Programs for Chip Multiprocessing
Simone Campanoni, Timothy M. Jones, Glenn Holloway, Vijay Janapa Reddi, Gu-Yeon Wei and David Brooks
International Symposium on Code Generation and Optimization (CGO), April 2012
Cooperative Partitioning: Energy-Efficient Cache Partitioning for High-Performance CMPs
Karthik T. Sundararajan, Vasileios Porpodas, Timothy M. Jones, Nigel P. Topham and Björn Franke
International Symposium on High Performance Computer Architecture (HPCA), February 2012
The Migration Prefetcher: Anticipating Data Promotion in Dynamic NUCA Caches
Javier Lira, Timothy M. Jones, Carlos Molina and Antonio González
International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC), ACM Transactions on Architecture and Code Optimization (TACO), Volume 8 Issue 4, January 2012
An Empirical Architecture-Centric Approach to Microarchitectural Design Space Exploration
Christophe Dubach, Timothy M. Jones and Michael F. P. O'Boyle
IEEE Transactions on Computers (TC), Volume 60 Number 10, October 2011
Smart Cache: A Self Adaptive Cache Architecture for Energy Efficiency
Karthik T. Sundararajan, Timothy M. Jones and Nigel Topham
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), July 2011
Link-Time Optimisation for Power Efficiency in a Tagless Instruction Cache
Timothy M. Jones, Sandro Bartolini, Jonas Maebe and Dominique Chanet
International Symposium on Code Generation and Optimization (CGO), April 2011
Compiler Directed Issue Queue Energy Reduction
Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella and Antonio González
Transactions on High-Performance Embedded Architectures and Compilers IV, Lecture Notes in Computer Science (LNCS), Volume 6760 2011
A Predictive Model for Dynamic Microarchitectural Adaptivity Control
Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla and Michael F. P. O'Boyle
International Symposium on Microarchitecture (MICRO), December 2010
Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla, Grigori Fursin and Michael F. P. O'Boyle
International Symposium on Microarchitecture (MICRO), December 2009
Rapid Early-Stage Microarchitecture Design Using Predictive Models
Christophe Dubach, Timothy M. Jones and Michael F. P. O'Boyle
International Conference on Computer Design (ICCD), October 2009
Energy-Efficient Register Caching with Compiler Assistance
Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González and Oğuz Ergin
ACM Transactions on Architecture and Code Optimization (TACO), Volume 6 Issue 4, October 2009
Exploring the Limits of Early Register Release: Exploiting Compiler Analysis
Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González and Oğuz Ergin
ACM Transactions on Architecture and Code Optimization (TACO), Volume 6 Issue 4, October 2009
Exploring and Predicting the Architecture/Optimising Compiler Co-Design Space
Christophe Dubach, Timothy M. Jones and Michael F. P. O'Boyle
International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), October 2008
Instruction Cache Energy Saving Through Compiler Way-Placement
Timothy M. Jones, Sandro Bartolini, Bruno De Bus, John Cavazos and Michael F. P. O'Boyle
Conference on Design, Automation and Test in Europe (DATE), March 2008
Evaluating the Effects of Compiler Optimisations on AVF
Timothy M. Jones, Michael F. P. O'Boyle and Oğuz Ergin
Workshop on the Interaction between Compilers and Computer Architecture (INTERACT), February 2008
Microarchitectural Design Space Exploration Using An Architecture-Centric Approach
Christophe Dubach, Timothy M. Jones and Michael F. P. O'Boyle
International Symposium on Microarchitecture (MICRO), December 2007
Designing Efficient Processors Using Compiler-Directed Optimisations
Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González and Oğuz Ergin
Workshop on the Interaction between Compilers and Computer Architecture (INTERACT), February 2007
Compiler-Directed Energy Savings in Superscalar Processors
Timothy M. Jones
School of Informatics, University of Edinburgh 2006
Compiler Directed Early Register Release
Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González and Oğuz Ergin
International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2005
Software Directed Issue Queue Power Reduction
Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella and Antonio González
International Symposium on High Performance Computer Architecture (HPCA), February 2005