Dr. Tim Todman

Email: timothy.todman at imperial.ac.uk

Office: Room 355, Huxley Building

I'm a research associate in the Custom Computing research group, working under Professor Wayne Luk, in the Department of Computing, Imperial College London.

My research interests include:

• compilation of high-level languages onto reconfigurable hardware,
• accelerating applications on reconfigurable hardware, and
• verification of reconfigurable designs.

Publications:

My publications are listed below and are also available from the DBLP list

• S Cardamone, JRR Kimmitt, HGA Burton, TJ Todman, S Li, W Luk, AJW Thom Field-Programmable Gate Arrays and Quantum Monte Carlo: Power Efficient Co-processing for Scalable High-Performance Computing International Journal of Quantum Chemistry (2019) 119
• Bowen P. Y. Kwan, Gary C. T. Chow, Tim Todman, Wayne Luk, Wenguang Xu Lossy Multiport Memory. FPT 2018: 250-253
• Eddie Hung, Tim Todman, Wayne Luk Transparent In-Circuit Assertions for FPGAs IEEE Trans. on CAD of Integrated Circuits and Systems 36(7): 1193-1202 (2017)
• Ruizhe Zhao, Tim Todman, Wayne Luk, Xinyu Niu DeepPump: Multi-pumping deep Neural Networks ASAP 2017: 206
• Tim Todman, Wayne Luk In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design Provably Correct Systems 2017: 265-281
• Maciej Kurek, Marc Peter Deisenroth, Wayne Luk, Timothy John Todman Knowledge Transfer in Automatic Optimisation of Reconfigurable Designs FCCM 2016: 84-87
• Dirk Stroobandt, Ana Lucia Varbanescu, Catalin Bogdan Ciobanu, Muhammed Al Kadi, Andreas Brokalakis, George Charitopoulos, Tim Todman, Xinyu Niu, Dionisios N. Pnevmatikatos, Amit Kulkarni, Elias Vansteenkiste, Wayne Luk, Marco D. Santambrogio, Donatella Sciuto, Michael Hübner, Tobias Becker, Georgi Gaydadjiev, Antonis Nikitakis, Alex J. W. Thom EXTRA: Towards the exploitation of eXascale technology for reconfigurable architectures ReCoSoC 2016: 1-7
• Xinyu Niu, Tim Todman, Wayne Luk Self-adaptive Hardware Acceleration on a Heterogeneous Cluster Self-aware Computing Systems 2016: 167-192
• Maciej Kurek, Tobias Becker, Ce Guo, Stewart Denholm, Andreea-Ingrid Funie, Mark Salmon, Tim Todman, Wayne Luk Self-aware Hardware Acceleration of Financial Applications on a Heterogeneous Cluster Self-aware Computing Systems 2016: 241-260
• Dionisios N. Pnevmatikatos, Kyprianos Papadimitriou, Tobias Becker, Peter Böhm, Andreas Brokalakis, Karel Bruneel, Catalin Bogdan Ciobanu, Tom Davidson, Georgi Gaydadjiev, Karel Heyse, Wayne Luk, Xinyu Niu, Ioannis Papaefstathiou, Danilo Pau, Oliver Pell, Christian Pilato, Marco D. Santambrogio, Donatella Sciuto, Dirk Stroobandt, Tim Todman, Elias Vansteenkiste FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration Microprocess. Microsystems 39(4-5): 321-338 (2015)
• Tim Todman, Stephan Stilkerich, Wayne Luk In-circuit temporal monitors for runtime verification of reconfigurable designs DAC (2015), HiPEAC paper award

• Tim Todman, Stephan Stilkerich, Wayne Luk Using Statistical Assertions to Guide Self-Adaptive Systems Int. J. Reconfig. Comp. 2014 (2014)

• Eddie Hung, Tim Todman, Wayne Luk Transparent insertion of latency-oblivious logic onto FPGAs FPL 2014: 1-8

• Tim Todman, Stephan Stilkerich, Wayne Luk, Using Statistical assertions to guide self-adaptive systems, SRCS 2013

• Tim Todman, Wayne Luk, Runtime assertions and exceptions for streaming systems, FPL 2013: 1-4

• Qiang Liu, Tim Todman, Wayne Luk, George A. Constantinides, Optimizing Hardware Design by Composing Utility-Directed Transformations, IEEE Trans. Computers 61(12): 1800-1812 (2012)

• Qiang Liu, Tim Todman, Wayne Luk, George A. Constantinides, Automated Mapping of the MapReduce Pattern onto Parallel Computing Platforms, Signal Processing Systems 67(1): 65-78 (2012)

• Tim Todman, Wayne Luk, Reconfigurable Design Automation by High-Level Exploration, ASAP 2012: 185-188

• 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, FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration, DSD 2012: 234-241

• Tim Todman, Wayne Luk, Verification of streaming designs by combining symbolic simulation and equivalence checking, FPL 2012: 203-208

• Tim Todman, Peter Boehm, Wayne Luk, Verification of streaming hardware and software codesigns, FPT 2012: 147-150

• Marco D. Santambrogio, Dionisios N. Pnevmatikatos, Kyprianos Papadimitriou, Christian Pilato, Georgi Gaydadjiev, Dirk Stroobandt, Tom Davidson, Tobias Becker, Tim Todman, Wayne Luk, Alessandra Bonetto, Andrea Cazzaniga, Gianluca Durelli, Donatella Sciuto, Smart technologies for effective reconfiguration: The FASTER approach, ReCoSoC 2012: 1-7, 2010

• Qiang Liu, Tim Todman, Wayne Luk, Combining optimizations in automated low power design DATE 2010: 1791-1796

• Tim Todman, Qiang Liu, Wayne Luk and G. A. Constantinides, Customizable Composition and Parameterization of Hardware Design Transformations Proc. 13th Euromicro conference on Digital System Design, Lille, France, September, 2010.

• Tim Todman, Qiang Liu, Wayne Luk and G. A. Constantinides, A scripting engine for combining design transformations , Proc. IEEE Symposium on Field-Programmable Custom Computing Machines, Charlotte North Carolina, US, May, 2010.

• Qiang Liu, Tim Todman, Wayne Luk, Combining optimizations in automated low power design , DATE 2010: 1791-1796

• Qiang Liu, Tim Todman, Wayne Luk and G. A. Constantinides, Automatic Optimisation of Map-Reduce Designs by Geometric Programming Proc. International Conference on Field Programmable Technology, Sydney, Australia, December, 2009.

• Qiang Liu, Tim Todman, Jose Gabriel de F. Coutinho, Wayne Luk, George A. Constantinides, Optimising designs by combining model-based and pattern-based transformations , FPL 2009: 308-313

• Kong Woei Susanto, Tim Todman, Jose Gabriel F. Coutinho, Wayne Luk, Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation, SOFSEM 2009: 509-520

• Tim Todman, Haohuan Fu, Brittle Tsoi, Oskar Mencer, Wayne Luk, Smart Enumeration: A Systematic Approach to Exhaustive Search , PATMOS 2008: 429-438

• Tim Todman, Wayne Luk, Domain Specific Transformations for Hardware Ray Tracing , CPA 2007: 479-492

• T.J. Todman, G.A. Constantinides, S.J.E. Wilton, O. Mencer, W. Luk and P.Y.K. Cheung, Reconfigurable computing: architectures and design methods, IEE Proceedings - Computers and Digital Techniques, vol. 152, no. 2, pp. 193-207, March 2005.

• Paul Baker, Tim Todman, Henry Styles, Wayne Luk, Reconfigurable Designs for Radiosity , FCCM 2005: 95-104

• T. Todman, J.G. de F. Coutinho and W. Luk, Customisable hardware compilation, The Journal of Supercomputing, vol. 32, no. 2, pp. 119-137, May 2005.

• Tim Todman, Jose Gabriel F. Coutinho, Wayne Luk Customisable Hardware Compilation ERSA 2004: 18-28

• T. Todman, W. Luk Memory Optimisations for High-Resolution Imaging FPT 2004

• Tim Todman, Wayne Luk, Methods and Tools for High-Resolution Imaging , FPL 2004: 627-636

• Tim Todman, Wayne Luk, Real-time Extensions to a C-like Hardware Description Language , FCCM 2003: 302-304

• Tim Todman, Wayne Luk, Combining Imperative and Declarative Hardware Descriptions , HICSS 2003: 280

Tim Todman, Department of Computing, Imperial College London