| 2020 | FCCM | Artisan: a Meta-Programming Approach For Codifying Optimisation Strategies. | Jessica Vandebon, Jos Gabriel F. Coutinho, Wayne Luk, Eriko Nurvitadhi, Tim Todman |
| 2015 | DAC | In-circuit temporal monitors for runtime verification of reconfigurable designs. | Tim Todman, Stephan Stilkerich, Wayne Luk |
| 2014 | FPL | Transparent insertion of latency-oblivious logic onto FPGAs. | Eddie Hung, Tim Todman, Wayne Luk |
| 2013 | FPL | Runtime assertions and exceptions for streaming systems. | Tim Todman, Wayne Luk |
| 2012 | DSD | FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration. | Dionisios N. Pnevmatikatos, Tobias Becker, Andreas Brokalakis, Karel Bruneel, Georgi Gaydadjiev, Wayne Luk, Kyprianos Papadimitriou, Ioannis Papaefstathiou, Oliver Pell, Christian Pilato, M. Robart, Marco D. Santambrogio, Donatella Sciuto, Dirk Stroobandt, Tim Todman |
| 2012 | FPL | Verification of streaming designs by combining symbolic simulation and equivalence checking. | Tim Todman, Wayne Luk |
| 2010 | DATE | Combining optimizations in automated low power design. | Qiang Liu, Tim Todman, Wayne Luk |
| 2010 | DSD | Customizable Composition and Parameterization of Hardware Design Transformations. | Tim Todman, Qiang Liu, Wayne Luk, George A. Constantinides |
| 2010 | FCCM | A Scripting Engine for Combining Design Transformations. | Tim Todman, Qiang Liu, Wayne Luk, George A. Constantinides |
| 2009 | FPL | Optimising designs by combining model-based and pattern-based transformations. | Qiang Liu, Tim Todman, Jos Gabriel de Figueiredo Coutinho, Wayne Luk, George A. Constantinides |
| 2009 | SOFSEM | Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation. | Kong Woei Susanto, Tim Todman, Jos Gabriel F. Coutinho, Wayne Luk |
| 2005 | FCCM | Reconfigurable Designs for Radiosity. | Paul Baker, Tim Todman, Henry Styles, Wayne Luk |
| 2004 | FPL | Methods and Tools for High-Resolution Imaging. | Tim Todman, Wayne Luk |
| 2003 | FCCM | Real-time Extensions to a C-like Hardware Description Language. | Tim Todman, Wayne Luk |
| 2001 | FCCM | Reconfigurable Designs for Ray Tracing. | Tim Todman, Wayne Luk |