| 2021 | PDP | General hardware multicasting for fine-grained message-passing architectures. | Matthew Naylor, Simon W. Moore, David B. Thomas, Jonathan R. Beaumont, Shane T. Fleming, Mark Vousden, A. Theodore Markettos, Thomas Bytheway, Andrew D. Brown |
| 2019 | FPGA | EASY: Efficient Arbiter SYnthesis from Multi-threaded Code. | Jianyi Cheng, Shane T. Fleming, Yu Ting Chen, Jason Helge Anderson, George A. Constantinides |
| 2019 | FPL | Accelerating Position-Aware Top-k ListNet for Ranking Under Custom Precision Regimes. | Qiang Li, Erwei Wang, Shane T. Fleming, David B. Thomas, Peter Y. K. Cheung |
| 2017 | FCCM | Using Runahead Execution to Hide Memory Latency in High Level Synthesis. | Shane T. Fleming, David B. Thomas |
| 2017 | FPGA | Hardware Synthesis of Weakly Consistent C Concurrency. | Nadesh Ramanathan, Shane T. Fleming, John Wickerson, George A. Constantinides |
| 2016 | DAC | StitchUp: automatic control flow protection for high level synthesis circuits. | Shane T. Fleming, David B. Thomas |
| 2015 | DATE | Transparent linking of compiled software and synthesized hardware. | David B. Thomas, Shane T. Fleming, George A. Constantinides, Dan R. Ghica |
| 2015 | FPGA | System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System. | Shane T. Fleming, David B. Thomas, George A. Constantinides, Dan R. Ghica |
| 2015 | FPL | PushPush: Seamless integration of hardware and software objects via function calls over AXI. | Shane T. Fleming, Ivan Beretta, David B. Thomas, George A. Constantinides, Dan R. Ghica |
| 2014 | FPL | Heterogeneous Heartbeats: A framework for dynamic management of Autonomous SoCs. | Shane T. Fleming, David B. Thomas |
| 2013 | FPL | FPGA based control for real time systems. | Shane T. Fleming, David B. Thomas |