Michael O'Boyle


Professor, FBCS
PhD, University of Manchester, 1992
Email: mob at inf dot ed dot ac dot uk
Phone: 0131 650 5117

NEW December 2018: 4 PhD Positions Available

I am interested in recruiting students in any of the areas covered by my research interest or current projects. I also open minded - if you have a great idea you would like to pursue - get in touch!

Director of ARM Research Centre of Excellence
EPSRC Established Career Research Fellow
Director of EPSRC CDT in Pervasive Parallelism
Program Chair PACT 2018
Program Chair CGO 2018
General Chair PLDI 2014

Research Interests

The primary research questions I am interested in are: (i) how can compiler technology best exploit the potential of high performance heterogeneous architectures (ii) how can we best design high performance heterogeneous to meet emerging applications.

My research interests include:

  • Heterogeneous code discovery and optimisation. I am interested in how we can use diverse techniques including constraint analysis, program synthesis and machine learning to discover code patterns that match heterogeneous hardware and automatically tune them.
  • Deep Neural Network system stack. I currently investigate how to optimise deep learning inference based on real world device constraints. I am interested in a cross-stack approach incorporating Bayesian Optimisation at the model layer and a device specific optimisations at the hardware layer
  • Software Defined Hardware. I currently investigate how to map languages such as Python to flexible hardware (e.g. coarse-grain reconfigurable architectures). I am interested in both how software may be adapted to fit hardware and hardware reshaped for software.
  • Auto-parallelising compilers. I am currently investigating the use of dynamic, probabilistic analysis in conjunction with machine learning to develop a new approach that gives future proof scalable code for multi-cores.
  • GPGPU multi-core platforms. I am interested in how we can use smart compiler analysis and adaptation to exploit the potential of such architectures for compute and graphics workloads.
  • Machine learning based optimisation. I'm interested in how predictive modelling and feature generation can be used to automate the design of compilers
  • Compiler/Architecure co-design space exploration. We are investigating the use of predictive models to predict the best compiler optimisations for any architecture
  • Very High level programming languages. I am interested in how languages such as Matlab, which provide great expressive power may be implemented on multi-cores
  • Current projects

  • Redesigning compilers for heteregeneous hardware in my 5 year EPSRC fellowship
  • Optimising Deep Learning on Embedded devices in the Bonseyes project
  • Software Defined Hardware in the Transmuter project
  • Discovering heterogeneity in code in the Discovery project
  • Computer systems for Real time vision and robotics in the Pamela project
  • I am a member of the Compiler and Architecture Design Group.
    Steering Committee and Partner of HiPEAC Network of Excellence

    Papers from 1997 onwards can be found on the CArD publications page. Earlier papers 1992-1996 can be found here

    References also available from DBLP

    A short CV

    Students and PostDocs

  • Philip Ginsbach ARM Centre of Excellence. Heterogeneous code discovery
  • Lewis Crawford ARM Centre of Excellence. Graphics compilation
  • Bruce Collie Program Synthesis for heterogeneous hardware
  • Jack Turner Cross-stack DNN optimisation
  • Valentin Radu Bonseyes
  • Magnus Morton Transmuter
  • Jiawen Sun Transmuter
  • Former Students and PostDocs

  • Jose Cano Reyes Bonsyes. Now lecturer at Glasgow
  • Yuan Wen Pamela. Heterogeneous task scheduling. Now at Trinity College, Dublin
  • Bruno Bodin Pamela. Parallel compilation and computer vision. Now at NUS Singapore
  • Govind Sreekar Shenoy Pamela. Hardware design space exploration and computer vision. Now at Intel
  • Murai Emani . Machine learning based adaptive scheduling. Now at Argonne National Labs
  • Kiran Chandramohan . Compiling for heterogeneous multicores. Now at ARM
  • Chris Margiolas . Runtime systems for heterogeneous platforms. Now at Intel Research
  • Alberto Magni ARM Centre of Excellence. OpenCL compilation. Now at MSR Cambridge
  • Erik Tomusk ARM Centre of Excellence. Design space exploration. Now at CodePlay.
  • Tim Jones Royal Academy of Engineering / EPSRC Research Fellow. Now lecturer at U. Cambridge
  • Christophe Dubach Royal Academy of Engineering / EPSRC Research Fellow . Now reader at U. Edinburgh
  • Hugh Leather Royal Academy of Engineering / EPSRC Research Fellow. Now reader at U.Edinburgh
  • Zheng Wang Now senior lecturer at U. Lancaster
  • John Thomson Now lecturer at University St Andrews.
  • Dominik Grewe Now at Deep Mind London.
  • Bjoern Franke Now Reader at U.Edinburgh.
  • Tom Ashby Now at IMEC.
  • Grigori Fursin Now at dividiti.
  • Prospective PhD Students

    I am interested in supervising PhD students in any of the above research areas. For further details, please use the contact information at the top of this page