A transformational approach to compiling Sisal for distributed memory architectures. - Michael F. P. O'Boyle; G. A. Hedayat (ICS, 1992)

A New Program Transformation to Minimise Communication in Distributed Memory Architecture. - Michael F. P. O'Boyle; G. A. Hedayat (PARLE, 1992)

Program and data transformations for efficient execution on distributed memory architectures. - Michael F. P. O'Boyle (1993)

A Data Partitioning Algorithm for Distributed Memory Compilation. - Michael F. P. O'Boyle (PARLE, 1994)

Compiler Reduction of Synchronisation in Shared Virtual Memory Systems. - Michael F. P. O'Boyle; François Bodin (International Conference on Supercomputing, 1995)

A Compiler Strategy for Shared Virtual Memories. - François Bodin; Michael F. P. O'Boyle (LCR, 1995)

A hierarchical locality algorithm for NUMA compilation. - Michael F. P. O'Boyle (PDP, 1995)

Synchronization Minimization in a SPMD Execution Model. - Michael F. P. O'Boyle; L. Kervella; François Bodin (J. Parallel Distributed Comput., 1995)

A compiler algorithm to reduce invalidation latency in virtual shared memory systems. - Michael F. P. O'Boyle; Andy Nisbet; Rupert W. Ford (IEEE PACT, 1996)

Compiler Reduction of Invalidation Traffic in Virtual Shared Memory Systems. - Michael F. P. O'Boyle; Rupert W. Ford; Andy Nisbet (Euro-Par, Vol. I, 1996)

Practical Loop Generation. - Zbigniew Chamski; Michael F. P. O'Boyle (HICSS (1), 1996)

Expert Programmer versus Parallelizing Compiler: A Comparative Study of Two Approaches for Distributed Shared Memory. - Michael F. P. O'Boyle; J. Mark Bull (Sci. Program., 1996)

OCEANS: Optimizing Compilers for Embedded Applications. - Bas Aarts; Michel Barreteau; François Bodin; Peter Brinkhaus; Zbigniew Chamski; Henri-Pierre Charles; Christine Eisenbeis; John R. Gurd; Jan Hoogerbrugge; Ping Hu; William Jalby; Peter M. W. Knijnenburg; et al. (Euro-Par, 1997)

Barrier Synchronisation Optimisation. - Elena Stöhr; Michael F. P. O'Boyle (HPCN Europe, 1997)

Non-Singular Data Transformations: Definition, Validity and Applications. - Michael F. P. O'Boyle; Peter M. W. Knijnenburg (International Conference on Supercomputing, 1997)

A Graph Based Approach to Barrier Synchronisation Minimisation. - Elena Stöhr; Michael F. P. O'Boyle (International Conference on Supercomputing, 1997)

OCEANS: Optimising Compilers for Embedded Applications. - Michel Barreteau; François Bodin; Peter Brinkhaus; Zbigniew Chamski; Henri-Pierre Charles; Christine Eisenbeis; John R. Gurd; Jan Hoogerbrugge; Ping Hu; William Jalby; Peter M. W. Knijnenburg; Michael F. P. O'Boyle; et al. (Euro-Par, 1998)

MARS: A Distributed Memory Approach to Shared Memory Compilation. - Michael F. P. O'Boyle (LCR, 1998)

First Fast Sink: A compiler algorithm for barrier placement optimisation. - Elena A. Stöhr; Michael F. P. O'Boyle (Future Gener. Comput. Syst., 1998)

Efficient Parallelization Using Combined Loop and Data Transformations. - Michael F. P. O'Boyle; Peter M. W. Knijnenburg (IEEE PACT, 1999)

OCEANS - Optimising Compilers for Embedded Applications. - Michel Barreteau; François Bodin; Zbigniew Chamski; Henri-Pierre Charles; Christine Eisenbeis; John R. Gurd; Jan Hoogerbrugge; Ping Hu; William Jalby; Toru Kisuki; Peter M. W. Knijnenburg; Paul van der Mark; et al. (Euro-Par, 1999)

A Feasibility Study in Iterative Compilation. - Toru Kisuki; Peter M. W. Knijnenburg; Michael F. P. O'Boyle; François Bodin; Harry A. G. Wijshoff (ISHPC, 1999)

Nonsingular Data Transformations: Definition, Validity, and Applications. - Michael F. P. O'Boyle; Peter M. W. Knijnenburg (Int. J. Parallel Program., 1999)

Exact Distributed Invalidation. - Rupert W. Ford; Michael F. P. O'Boyle; Elena Stöhr (Euro-Par, 2000)

An empirical evaluation of high level transformations for embedded processors. - Björn Franke; Michael F. P. O'Boyle (CASES, 2001)

Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications. - Björn Franke; Michael F. P. O'Boyle (CC, 2001)

Topic 04: Compilers for High Performance. - Jens Knoop; Manish Gupta; Keshav Pingali; Michael F. P. O'Boyle (Euro-Par, 2001)

Evaluating Iterative Compilation. - Grigori Fursin; Michael F. P. O'Boyle; Peter M. W. Knijnenburg (LCPC, 2002)

Iterative Compilation. - Peter M. W. Knijnenburg; Toru Kisuki; Michael F. P. O'Boyle (Embedded Processor Design Challenges, 2002)

Integrating Loop and Data Transformations for Global Optimization. - Michael F. P. O'Boyle; Peter M. W. Knijnenburg (J. Parallel Distributed Comput., 2002)

Compile Time Barrier Synchronization Minimization. - Michael F. P. O'Boyle; Elena Stöhr (IEEE Trans. Parallel Distributed Syst., 2002)

Combining Program Recovery, Auto-Parallelisation and Locality Analysis for C Programs on Multi-Processor Embedded Systems. - Björn Franke; Michael F. P. O'Boyle (IEEE PACT, 2003)

Compiler parallelization of C programs for multi-core DSPs with multiple address spaces. - Björn Franke; Michael F. P. O'Boyle (CODES+ISSS, 2003)

Topic Introduction. - Michael Gerndt; Chau-Wen Tseng; Michael F. P. O'Boyle; Markus Schordan (Euro-Par, 2003)

Towards general and exact distributed invalidation. - Michael F. P. O'Boyle; Rupert W. Ford; Elena A. Stöhr (J. Parallel Distributed Comput., 2003)

Array recovery and high-level transformations for DSP applications. - Björn Franke; Michael F. P. O'Boyle (ACM Trans. Embed. Comput. Syst., 2003)

Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation. - Peter M. W. Knijnenburg; Toru Kisuki; Michael F. P. O'Boyle (J. Supercomput., 2003)

Cross Component Optimisation in a High Level Category-Based Language. - Thomas J. Ashby; Anthony D. Kennedy; Michael F. P. O'Boyle (Euro-Par, 2004)

Topic 4: Compilers for High Performance. - Hans P. Zima; Siegfried Benkner; Michael F. P. O'Boyle; Beniamino Di Martino (Euro-Par, 2004)

Adaptive Java optimisation using instance-based learning. - Shun Long; Michael F. P. O'Boyle (ICS, 2004)

A fast and accurate method for determining a lower bound on execution time. - Grigori Fursin; Michael F. P. O'Boyle; Olivier Temam; G. Watts (Concurr. Comput. Pract. Exp., 2004)

The effect of cache models on iterative compilation for combined tiling and unrolling. - Peter M. W. Knijnenburg; Toru Kisuki; Kyle A. Gallivan; Michael F. P. O'Boyle (Concurr. Comput. Pract. Exp., 2004)

Compiler Directed Early Register Release. - Timothy M. Jones 001; Michael F. P. O'Boyle; Jaume Abella 001; Antonio González 001; Oguz Ergin (IEEE PACT, 2005)

Topic 4 - Compilers for High Performance. - Albert Cohen 001; Michael F. P. O'Boyle; Martin Griebl; José Moreira (Euro-Par, 2005)

A Practical Method for Quickly Evaluating Program Optimizations. - Grigori Fursin; Albert Cohen 001; Michael F. P. O'Boyle; Olivier Temam (HiPEAC, 2005)

Software Directed Issue Queue Power Reduction. - Timothy M. Jones 001; Michael F. P. O'Boyle; Jaume Abella 001; Antonio González 001 (HPCA, 2005)

Probabilistic source-level optimisation of embedded programs. - Björn Franke; Michael F. P. O'Boyle; John Thomson; Grigori Fursin (LCTES, 2005)

Automatic Tuning of Inlining Heuristics. - John Cavazos; Michael F. P. O'Boyle (SC, 2005)

IATAC: a smart predictor to turn-off L2 cache lines. - Jaume Abella 001; Antonio González 001; Xavier Vera; Michael F. P. O'Boyle (ACM Trans. Archit. Code Optim., 2005)

A Complete Compiler Approach to Auto-Parallelizing C Programs for Multi-DSP Systems. - Björn Franke; Michael F. P. O'Boyle (IEEE Trans. Parallel Distributed Syst., 2005)

Automatic performance model construction for the fast software exploration of new hardware designs. - John Cavazos; Christophe Dubach; Felix V. Agakov; Edwin V. Bonilla; Michael F. P. O'Boyle; Grigori Fursin; Olivier Temam (CASES, 2006)

Iterative Collective Loop Fusion. - Thomas J. Ashby; Michael F. P. O'Boyle (CC, 2006)

Hybrid Optimizations: Which Optimization Algorithm to Use?. - John Cavazos; J. Eliot B. Moss; Michael F. P. O'Boyle (CC, 2006)

Using Machine Learning to Focus Iterative Optimization. - Felix V. Agakov; Edwin V. Bonilla; John Cavazos; Björn Franke; Grigori Fursin; Michael F. P. O'Boyle; John Thomson; Marc Toussaint; Christopher K. I. Williams (CGO, 2006)

Predictive search distributions. - Edwin V. Bonilla; Christopher K. I. Williams; Felix V. Agakov; John Cavazos; John Thomson; Michael F. P. O'Boyle (ICML, 2006)

Method-specific dynamic compilation using logistic regression. - John Cavazos; Michael F. P. O'Boyle (OOPSLA, 2006)

Fast compiler optimisation evaluation using code-feature based performance prediction. - Christophe Dubach; John Cavazos; Björn Franke; Grigori Fursin; Michael F. P. O'Boyle; Olivier Temam (Conf. Computing Frontiers, 2007)

Rapidly Selecting Good Compiler Optimizations using Performance Counters. - John Cavazos; Grigori Fursin; Felix V. Agakov; Edwin V. Bonilla; Michael F. P. O'Boyle; Olivier Temam (CGO, 2007)

Topic 4 High-Performance Architectures and Compilers. - Michael F. P. O'Boyle; François Bodin; José González; Lucian N. Vintan (Euro-Par, 2007)

MiDataSets: Creating the Conditions for a More Realistic Evaluation of Iterative Optimization. - Grigori Fursin; John Cavazos; Michael F. P. O'Boyle; Olivier Temam (HiPEAC, 2007)

Microarchitectural Design Space Exploration Using an Architecture-Centric Approach. - Christophe Dubach; Timothy M. Jones 001; Michael F. P. O'Boyle (MICRO, 2007)

High-Performance Embedded Architecture and Compilation Roadmap. - Koen De Bosschere; Wayne Luk; Xavier Martorell; Nacho Navarro; Michael F. P. O'Boyle; Dionisios N. Pnevmatikatos; Alex Ramírez; Pascal Sainrat; André Seznec; Per Stenström; Olivier Temam (Trans. High Perform. Embed. Archit. Compil., 2007)

Quick and Practical Run-Time Evaluation of Multiple Program Optimizations. - Grigori Fursin; Albert Cohen 001; Michael F. P. O'Boyle; Olivier Temam (Trans. High Perform. Embed. Archit. Compil., 2007)

Introduction to Part 2. - Michael F. P. O'Boyle; François Bodin; Marcelo Cintra (Trans. High Perform. Embed. Archit. Compil., 2007)

Exploring and predicting the architecture/optimising compiler co-design space. - Christophe Dubach; Timothy M. Jones 001; Michael F. P. O'Boyle (CASES, 2008)

Instruction Cache Energy Saving Through Compiler Way-Placement. - Timothy M. Jones 001; Sandro Bartolini; Bruno De Bus; John Cavazos; Michael F. P. O'Boyle (DATE, 2008)

Automatic Feature Generation for Machine Learning Based Optimizing Compilation. - Hugh Leather; Edwin V. Bonilla; Michael F. P. O'Boyle (CGO, 2009)

Rapid early-stage microarchitecture design using predictive models. - Christophe Dubach; Timothy M. Jones 001; Michael F. P. O'Boyle (ICCD, 2009)

Reducing Training Time in a One-Shot Machine Learning-Based Compiler. - John Thomson; Michael F. P. O'Boyle; Grigori Fursin; Björn Franke (LCPC, 2009)

Raced profiles: efficient selection of competing compiler optimizations. - Hugh Leather; Michael F. P. O'Boyle; Bruce Worton (LCTES, 2009)

Portable compiler optimisation across embedded programs and microarchitectures using machine learning. - Christophe Dubach; Timothy M. Jones 001; Edwin V. Bonilla; Grigori Fursin; Michael F. P. O'Boyle (MICRO, 2009)

Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping. - Georgios Tournavitis; Zheng Wang 001; Björn Franke; Michael F. P. O'Boyle (PLDI, 2009)

Mapping parallelism to multi-cores: a machine learning based approach. - Zheng Wang 001; Michael F. P. O'Boyle (PPoPP, 2009)

Obituary: Peter Knijnenburg (1961-2007). - Michael F. P. O'Boyle; Henk J. Sips (Concurr. Comput. Pract. Exp., 2009)

Exploring the limits of early register release: Exploiting compiler analysis. - Timothy M. Jones 001; Michael F. P. O'Boyle; Jaume Abella 001; Antonio González 001; Oguz Ergin (ACM Trans. Archit. Code Optim., 2009)

Energy-efficient register caching with compiler assistance. - Timothy M. Jones 001; Michael F. P. O'Boyle; Jaume Abella 001; Antonio González 001; Oguz Ergin (ACM Trans. Archit. Code Optim., 2009)

Partitioning streaming parallelism for multi-cores: a machine learning based approach. - Zheng Wang 001; Michael F. P. O'Boyle (PACT, 2010)

A Predictive Model for Dynamic Microarchitectural Adaptivity Control. - Christophe Dubach; Timothy M. Jones 001; Edwin V. Bonilla; Michael F. P. O'Boyle (MICRO, 2010)

A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL. - Dominik Grewe; Michael F. P. O'Boyle (CC, 2011)

A workload-aware mapping approach for data-parallel programs. - Dominik Grewe; Zheng Wang 001; Michael F. P. O'Boyle (HiPEAC, 2011)

Milepost GCC: Machine Learning Enabled Self-tuning Compiler. - Grigori Fursin; Yuriy Kashnikov; Abdul Wahid Memon; Zbigniew Chamski; Olivier Temam; Mircea Namolaru; Elad Yom-Tov; Bilha Mendelson; Ayal Zaks; Eric Courtois; François Bodin; Phil Barnard; et al. (Int. J. Parallel Program., 2011)

An Empirical Architecture-Centric Approach to Microarchitectural Design Space Exploration. - Christophe Dubach; Timothy M. Jones 001; Michael F. P. O'Boyle (IEEE Trans. Computers, 2011)

Compiler Directed Issue Queue Energy Reduction. - Timothy M. Jones 001; Michael F. P. O'Boyle; Jaume Abella 001; Antonio González 001 (Trans. High Perform. Embed. Archit. Compil., 2011)

Exploring and Predicting the Effects of Microarchitectural Parameters and Compiler Optimizations on Performance and Energy. - Christophe Dubach; Timothy M. Jones 001; Michael F. P. O'Boyle (ACM Trans. Embed. Comput. Syst., 2012)

General chairs' welcome message. - Michael F. P. O'Boyle; Christian Fensch (PACT, 2013)

Smart, adaptive mapping of parallelism in the presence of external workload. - Murali Krishna Emani; Zheng Wang 001; Michael F. P. O'Boyle (CGO, 2013)

Portable mapping of data parallel programs to OpenCL for heterogeneous systems. - Dominik Grewe; Zheng Wang 001; Michael F. P. O'Boyle (CGO, 2013)

OpenCL Task Partitioning in the Presence of GPU Contention. - Dominik Grewe; Zheng Wang 001; Michael F. P. O'Boyle (LCPC, 2013)

A large-scale cross-architecture evaluation of thread-coarsening. - Alberto Magni; Christophe Dubach; Michael F. P. O'Boyle (SC, 2013)

Using machine learning to partition streaming programs. - Zheng Wang 001; Michael F. P. O'Boyle (ACM Trans. Archit. Code Optim., 2013)

Automatic optimization of thread-coarsening for graphics processors. - Alberto Magni; Christophe Dubach; Michael F. P. O'Boyle (PACT, 2014)

Measuring flexibility in single-ISA heterogeneous processors. - Erik Tomusk; Christophe Dubach; Michael F. P. O'Boyle (PACT, 2014)

Exploiting GPU Hardware Saturation for Fast Compiler Optimization. - Alberto Magni; Christophe Dubach; Michael F. P. O'Boyle (GPGPU@ASPLOS, 2014)

A compiler framework for automatically mapping data parallel programs to heterogeneous MPSoCs. - Kiran Chandramohan; Michael F. P. O'Boyle (CASES, 2014)

Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code. - Zheng Wang 001; Daniel Christopher Powell; Björn Franke; Michael F. P. O'Boyle (CC, 2014)

Portable and Transparent Host-Device Communication Optimization for GPGPU Environments. - Christos Margiolas; Michael F. P. O'Boyle (CGO, 2014)

Smart multi-task scheduling for OpenCL programs on CPU/GPU heterogeneous platforms. - Yuan Wen; Zheng Wang 001; Michael F. P. O'Boyle (HiPC, 2014)

Change Detection Based Parallelism Mapping: Exploiting Offline Models and Online Adaptation. - Murali Krishna Emani; Michael F. P. O'Boyle (LCPC, 2014)

Partitioning data-parallel programs for heterogeneous MPSoCs: time and energy design space exploration. - Kiran Chandramohan; Michael F. P. O'Boyle (LCTES, 2014)

Automatic feature generation for machine learning-based optimising compilation. - Hugh Leather; Edwin V. Bonilla; Michael F. P. O'Boyle (ACM Trans. Archit. Code Optim., 2014)

Automatic and Portable Mapping of Data Parallel Programs to OpenCL for GPU-Based Heterogeneous Systems. - Zheng Wang 001; Dominik Grewe; Michael F. P. O'Boyle (ACM Trans. Archit. Code Optim., 2014)

Integrating profile-driven parallelism detection and machine-learning-based mapping. - Zheng Wang 001; Georgios Tournavitis; Björn Franke; Michael F. P. O'Boyle (ACM Trans. Archit. Code Optim., 2014)

Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. - Luigi Nardi; Bruno Bodin; M. Zeeshan Zia; John Mawer; Andy Nisbet; Paul H. J. Kelly; Andrew J. Davison; Mikel Luján; Michael F. P. O'Boyle; Graham D. Riley; Nigel P. Topham; Stephen B. Furber (ICRA, 2015)

PALMOS: A Transparent, Multi-tasking Acceleration Layer for Parallel Heterogeneous Systems. - Christos Margiolas; Michael F. P. O'Boyle (ICS, 2015)

Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments. - Murali Krishna Emani; Michael F. P. O'Boyle (PLDI, 2015)

Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene Understanding. - Bruno Bodin; Luigi Nardi; M. Zeeshan Zia; Harry Wagstaff; Govind Sreekar Shenoy; Murali Krishna Emani; John Mawer; Christos Kotselidis; Andy Nisbet; Mikel Luján; Björn Franke; Paul H. J. Kelly; et al. (PACT, 2016)

Portable and transparent software managed scheduling on accelerators for fair resource sharing. - Christos Margiolas; Michael F. P. O'Boyle (CGO, 2016)

Diplomat: Mapping of Multi-kernel Applications Using a Static Dataflow Abstraction. - Bruno Bodin; Luigi Nardi; Paul H. J. Kelly; Michael F. P. O'Boyle (MASCOTS, 2016)

Four Metrics to Evaluate Heterogeneous Multicores. - Erik Tomusk; Christophe Dubach; Michael F. P. O'Boyle (ACM Trans. Archit. Code Optim., 2016)

Selecting Heterogeneous Cores for Diversity. - Erik Tomusk; Christophe Dubach; Michael F. P. O'Boyle (ACM Trans. Archit. Code Optim., 2016)

Discovery and exploitation of general reductions: a constraint based approach. - Philip Ginsbach; Michael F. P. O'Boyle (CGO, 2017)

Merge or Separate?: Multi-job Scheduling for OpenCL Kernels on CPU/GPU Platforms. - Yuan Wen; Michael F. P. O'Boyle (GPGPU@PPoPP, 2017)

Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. - Philip Ginsbach; Toomas Remmelg; Michel Steuwer; Bruno Bodin; Christophe Dubach; Michael F. P. O'Boyle (ASPLOS, 2018)

CAnDL: a domain specific language for compiler analysis. - Philip Ginsbach; Lewis Crawford; Michael F. P. O'Boyle (CC, 2018)

SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. - Bruno Bodin; Harry Wagstaff; Sajad Saeedi 001; Luigi Nardi; Emanuele Vespa; John Mawer; Andy Nisbet; Mikel Luján; Steve B. Furber; Andrew J. Davison; Paul H. J. Kelly; Michael F. P. O'Boyle (ICRA, 2018)

Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks. - Jack Turner; José Cano 001; Valentin Radu; Elliot J. Crowley; Michael F. P. O'Boyle; Amos J. Storkey (IISWC, 2018)

Automatic Parameter Tuning of Motion Planning Algorithms. - José Cano 001; Yiming Yang; Bruno Bodin; Vijay Nagarajan; Michael F. P. O'Boyle (IROS, 2018)

Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications. - Bruno Bodin; Luigi Nardi; Harry Wagstaff; Paul H. J. Kelly; Michael F. P. O'Boyle (ISPASS, 2018)

A Cross-platform Evaluation of Graphics Shader Compiler Optimization. - Lewis Crawford; Michael F. P. O'Boyle (ISPASS, 2018)

MaxPair: Enhance OpenCL Concurrent Kernel Execution by Weighted Maximum Matching. - Yuan Wen; Michael F. P. O'Boyle; Christian Fensch (GPGPU@PPoPP, 2018)

Machine Learning in Compiler Optimisation. - Zheng Wang 001; Michael F. P. O'Boyle (CoRR, 2018)

Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality. - Sajad Saeedi 001; Bruno Bodin; Harry Wagstaff; Andy Nisbet; Luigi Nardi; John Mawer; Nicolas Melot; Oscar Palomar; Emanuele Vespa; Tom Spink; Cosmin Gorgovan; Andrew M. Webb; et al. (CoRR, 2018)

Pruning neural networks: is it time to nip it in the bud? - Elliot J. Crowley; Jack Turner; Amos J. Storkey; Michael F. P. O'Boyle (CoRR, 2018)

HAKD: Hardware Aware Knowledge Distillation. - Jack Turner; Elliot J. Crowley; Valentin Radu; José Cano 001; Amos J. Storkey; Michael F. P. O'Boyle (CoRR, 2018)

Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality. - Sajad Saeedi 001; Bruno Bodin; Harry Wagstaff; Andy Nisbet; Luigi Nardi; John Mawer; Nicolas Melot; Oscar Palomar; Emanuele Vespa; Tom Spink; Cosmin Gorgovan; Andrew M. Webb; et al. (Proc. IEEE, 2018)

Machine Learning in Compiler Optimization. - Zheng Wang 001; Michael F. P. O'Boyle (Proc. IEEE, 2018)

Type-Directed Program Synthesis and Constraint Generation for Library Portability. - Bruce Collie; Philip Ginsbach; Michael F. P. O'Boyle (PACT, 2019)

Specialization Opportunities in Graphical Workloads. - Lewis Crawford; Michael F. P. O'Boyle (PACT, 2019)

POSTER: Space and Time Optimal DNN Primitive Selection with Integer Linear Programming. - Yuan Wen; Andrew Anderson 001; Valentin Radu; Michael F. P. O'Boyle; David Gregg (PACT, 2019)

SLAMBench 3.0: Systematic Automated Reproducible Evaluation of SLAM Systems for Robot Vision Challenges and Scene Understanding. - Mihai Bujanca; Paul Gafton; Sajad Saeedi 001; Andy Nisbet; Bruno Bodin; Michael F. P. O'Boyle; Andrew J. Davison; Paul H. J. Kelly; Graham D. Riley; Barry Lennox; Mikel Luján; Steve B. Furber (ICRA, 2019)

Performance Aware Convolutional Neural Network Channel Pruning for Embedded GPUs. - Valentin Radu; Kuba Kaszyk; Yuan Wen; Jack Turner; José Cano 001; Elliot J. Crowley; Björn Franke; Amos J. Storkey; Michael F. P. O'Boyle (IISWC, 2019)

Full-System Simulation of Mobile CPU/GPU Platforms. - Kuba Kaszyk; Harry Wagstaff; Tom Spink; Björn Franke; Michael F. P. O'Boyle; Bruno Bodin; Henrik Uhrenholt (ISPASS, 2019)

BlockSwap: Fisher-guided Block Substitution for Network Compression. - Jack Turner; Elliot J. Crowley; Gavin Gray; Amos J. Storkey; Michael F. P. O'Boyle (CoRR, 2019)

Augmenting Type Signatures for Program Synthesis. - Bruce Collie; Michael F. P. O'Boyle (CoRR, 2019)

Transmuter: Bridging the Efficiency Gap using Memory and Dataflow Reconfiguration. - Subhankar Pal; Siying Feng; Dong-Hyeon Park; Sung Kim; Aporva Amarnath; Chi-Sheng Yang; Xin He; Jonathan Beaumont; Kyle May; Yan Xiong 002; Kuba Kaszyk; John Magnus Morton; et al. (PACT, 2020)

Optimizing Grouped Convolutions on Edge Devices. - Perry Gibson; José Cano 001; Jack Turner; Elliot J. Crowley; Michael F. P. O'Boyle; Amos J. Storkey (ASAP, 2020)

Automatically harnessing sparse acceleration. - Philip Ginsbach; Bruce Collie; Michael F. P. O'Boyle (CC, 2020)

DelayRepay: delayed execution for kernel fusion in Python. - John Magnus Morton; Kuba Kaszyk; Lu Li; Jiawen Sun; Christophe Dubach; Michel Steuwer; Murray Cole; Michael F. P. O'Boyle (DLS, 2020)

Modeling black-box components with probabilistic synthesis. - Bruce Collie; Jackson Woodruff; Michael F. P. O'Boyle (GPCE, 2020)

BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget. - Jack Turner; Elliot J. Crowley; Michael F. P. O'Boyle; Amos J. Storkey; Gavin Gray (ICLR, 2020)

HETSIM: Simulating Large-Scale Heterogeneous Systems using a Trace-driven, Synchronization and Dependency-Aware Framework. - Subhankar Pal; Kuba Kaszyk; Siying Feng; Björn Franke; Murray Cole; Michael F. P. O'Boyle; Trevor N. Mudge; Ronald G. Dreslinski (IISWC, 2020)

M3: Semantic API Migrations. - Bruce Collie; Philip Ginsbach; Jackson Woodruff; Ajitha Rajan; Michael F. P. O'Boyle (ASE, 2020)

Bayesian Meta-Learning for the Few-Shot Setting via Deep Kernels. - Massimiliano Patacchiola; Jack Turner; Elliot J. Crowley; Michael F. P. O'Boyle; Amos J. Storkey (NeurIPS, 2020)

Automatic generation of specialized direct convolutions for mobile GPUs. - Naums Mogers; Valentin Radu; Lu Li; Jack Turner; Michael F. P. O'Boyle; Christophe Dubach (GPGPU@PPoPP, 2020)

TASO: Time and Space Optimization for Memory-Constrained DNN Inference. - Yuan Wen; Andrew Anderson 001; Valentin Radu; Michael F. P. O'Boyle; David Gregg (SBAC-PAD, 2020)

Retrofitting Symbolic Holes to LLVM IR. - Bruce Collie; Michael F. P. O'Boyle (CoRR, 2020)

Deep Data Flow Analysis. - Chris Cummins; Hugh Leather; Zacharias V. Fisches; Tal Ben-Nun; Torsten Hoefler; Michael F. P. O'Boyle (CoRR, 2020)

Program Lifting using Gray-Box Behavior. - Bruce Collie; Michael F. P. O'Boyle (PACT, 2021)

CoSPARSE: A Software and Hardware Reconfigurable SpMV Framework for Graph Analytics. - Siying Feng; Jiawen Sun; Subhankar Pal; Xin He; Kuba Kaszyk; Dong-Hyeon Park; John Magnus Morton; Trevor N. Mudge; Murray Cole; Michael F. P. O'Boyle; Chaitali Chakrabarti; Ronald G. Dreslinski (DAC, 2021)

New Regular Expressions on Old Accelerators. - Jackson Woodruff; Michael F. P. O'Boyle (DAC, 2021)

Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design. - Nishil Talati; Kyle May; Armand Behroozi; Yichen Yang 005; Kuba Kaszyk; Christos Vasiladiotis; Tarunesh Verma; Lu Li; Brandon Nguyen; Jiawen Sun; John Magnus Morton; Agreen Ahmadi; et al. (HPCA, 2021)

ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations. - Chris Cummins; Zacharias V. Fisches; Tal Ben-Nun; Torsten Hoefler; Michael F. P. O'Boyle; Hugh Leather (ICML, 2021)

SparseAdapt: Runtime Control for Sparse Linear Algebra on a Reconfigurable Accelerator. - Subhankar Pal; Aporva Amarnath; Siying Feng; Michael F. P. O'Boyle; Ronald G. Dreslinski; Christophe Dubach (MICRO, 2021)

Learning C to x86 Translation: An Experiment in Neural Compilation. - Jordi Armengol-Estapé; Michael F. P. O'Boyle (CoRR, 2021)

Loop Rolling for Code Size Reduction. - Rodrigo C. O. Rocha; Pavlos Petoumenos; Björn Franke; Pramod Bhatotia; Michael F. P. O'Boyle (CGO, 2022)

F3M: Fast Focused Function Merging. - Sean Stirling; Rodrigo C. O. Rocha; Kim M. Hazelwood; Hugh Leather; Michael F. P. O'Boyle; Pavlos Petoumenos (CGO, 2022)

Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. - Celeste Hollenbeck; Michael F. P. O'Boyle; Michel Steuwer (Haskell, 2022)

ExeBench: an ML-scale dataset of executable C functions. - Jordi Armengol-Estapé; Jackson Woodruff; Alexander Brauckmann; José Wesley de Souza Magalhães; Michael F. P. O'Boyle (MAPS@PLDI, 2022)

Bind the gap: compiling real software to hardware FFT accelerators. - Jackson Woodruff; Jordi Armengol-Estapé; Sam Ainsworth; Michael F. P. O'Boyle (PLDI, 2022)

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis. - Alexander Brauckmann; Elizabeth Polgreen; Tobias Grosser; Michael F. P. O'Boyle (PACT, 2023)

Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators. - Pablo Antonio Martínez; Jackson Woodruff; Jordi Armengol-Estapé; Gregorio Bernabé; José Manuel García 001; Michael F. P. O'Boyle (CC, 2023)

HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. - Rodrigo C. O. Rocha; Charitha Saumya; Kirshanthan Sundararajah; Pavlos Petoumenos; Milind Kulkarni 001; Michael F. P. O'Boyle (CC, 2023)

C2TACO: Lifting Tensor Code to TACO. - José Wesley de Souza Magalhães; Jackson Woodruff; Elizabeth Polgreen; Michael F. P. O'Boyle (GPCE, 2023)

When Does Saving Power Save the Planet? - Jackson Woodruff; David Schall; Michael F. P. O'Boyle; Christopher Woodruff (HotCarbon, 2023)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembler. - Jordi Armengol-Estapé; Jackson Woodruff; Chris Cummins; Michael F. P. O'Boyle (CoRR, 2023)

Rewriting History: Repurposing Domain-Specific CGRAs. - Jackson Woodruff; Thomas Koehler; Alexander Brauckmann; Chris Cummins; Sam Ainsworth; Michael F. P. O'Boyle (CoRR, 2023)

DLAS: An Exploration and Assessment of the Deep Learning Acceleration Stack. - Perry Gibson; José Cano 001; Elliot J. Crowley; Amos J. Storkey; Michael F. P. O'Boyle (CoRR, 2023)

Matching linear algebra and tensor code to specialized hardware accelerators. - Pablo Antonio Martínez; Jackson Woodruff; Jordi Armengol-Estapé; Gregorio Bernabé; José Manuel García 001; Michael F. P. O'Boyle (Zenodo, 2023)

Matching linear algebra and tensor code to specialized hardware accelerators. - Pablo Antonio Martínez; Jackson Woodruff; Jordi Armengol-Estapé; Gregorio Bernabé; José Manuel García 001; Michael F. P. O'Boyle (Zenodo, 2023)

Matching linear algebra and tensor code to specialized hardware accelerators. - Pablo Antonio Martínez; Jackson Woodruff; Jordi Armengol-Estapé; Gregorio Bernabé; José Manuel García 001; Michael F. P. O'Boyle (Zenodo, 2023)

Matching linear algebra and tensor code to specialized hardware accelerators. - Pablo Antonio Martínez; Jackson Woodruff; Jordi Armengol-Estapé; Gregorio Bernabé; José Manuel García 001; Michael F. P. O'Boyle (Zenodo, 2023)

Matching linear algebra and tensor code to specialized hardware accelerators. - Pablo Antonio Martínez; Jackson Woodruff; Jordi Armengol-Estapé; Gregorio Bernabé; José Manuel García 001; Michael F. P. O'Boyle (Zenodo, 2023)

Matching linear algebra and tensor code to specialized hardware accelerators. - Pablo Antonio Martínez; Jackson Woodruff; Jordi Armengol-Estapé; Gregorio Bernabé; José Manuel García 001; Michael F. P. O'Boyle (Zenodo, 2023)

Secco: Codesign for Resource Sharing in Regular-Expression Accelerators. - Jackson Woodruff; Sam Ainsworth; Michael F. P. O'Boyle (ASPDAC, 2024)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly. - Jordi Armengol-Estapé; Jackson Woodruff; Chris Cummins; Michael F. P. O'Boyle (CGO, 2024)

Hot Call-Chain Inlining for the Glasgow Haskell Compiler. - Celeste Hollenbeck; Michael F. P. O'Boyle (GPCE, 2024)

Forklift: An Extensible Neural Lifter. - Jordi Armengol-Estapé; Rodrigo C. O. Rocha; Jackson Woodruff; Pasquale Minervini; Michael F. P. O'Boyle (CoRR, 2024)

Neural Architecture Search as Program Transformation Exploration. - Jack Turner; Elliot J. Crowley; Michael F. P. O'Boyle (Commun. ACM, 2024)

DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses. - Alexander Brauckmann; Anderson Faustino da Silva; Gabriel Synnaeve; Michael F. P. O'Boyle; Jerónimo Castrillón; Hugh Leather (CC, 2025)

Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving. - Alexander Brauckmann; Luc Jaulmes; José Wesley de Souza Magalhães; Elizabeth Polgreen; Michael F. P. O'Boyle (CGO, 2025)

Guided Tensor Lifting. - Yixuan Li 003; José Wesley de Souza Magalhães; Alexander Brauckmann; Michael F. P. O'Boyle; Elizabeth Polgreen (Proc. ACM Program. Lang., 2025)

What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces. - Jordi Armengol-Estapé; Quentin Carbonneaux; Tianjun Zhang; Aram H. Markosyan; Volker Seeker; Chris Cummins; Melanie Kambadur; Michael F. P. O'Boyle; Sida I. Wang; Gabriel Synnaeve; Hugh James Leather (CoRR, 2025)

DLAS: A Conceptual Model for Across-Stack Deep Learning Acceleration. - Perry Gibson; José Cano 001; Elliot Crowley; Amos J. Storkey; Michael F. P. O'Boyle (ACM Trans. Archit. Code Optim., 2025)