Michael F. P. O'Boyle

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 78

Top Venues

CoRR

PACT

CGO

Publications

Jordi Armengol-Estapé, Rodrigo C. O. Rocha, Jackson Woodruff, Pasquale Minervini, Michael F. P. O'Boyle
Forklift: An Extensible Neural Lifter. CoRR (2024)
Jackson Woodruff, Sam Ainsworth, Michael F. P. O'Boyle
Secco: Codesign for Resource Sharing in Regular-Expression Accelerators. ASPDAC (2024)
Jordi Armengol-Estapé, Jackson Woodruff, Chris Cummins, Michael F. P. O'Boyle
SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly. CGO (2024)
Jordi Armengol-Estapé, Jackson Woodruff, Chris Cummins, Michael F. P. O'Boyle
SLaDe: A Portable Small Language Model Decompiler for Optimized Assembler. CoRR (2023)
Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis. CoRR (2023)
Jackson Woodruff, David Schall, Michael F. P. O'Boyle, Christopher Woodruff
When Does Saving Power Save the Planet? HotCarbon (2023)
Pablo Antonio Martínez, Jackson Woodruff, Jordi Armengol-Estapé, Gregorio Bernabé, José Manuel García, Michael F. P. O'Boyle
Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators. CC (2023)
Jackson Woodruff, Thomas Koehler, Alexander Brauckmann, Chris Cummins, Sam Ainsworth, Michael F. P. O'Boyle
Rewriting History: Repurposing Domain-Specific CGRAs. CoRR (2023)
Perry Gibson, José Cano, Elliot J. Crowley, Amos J. Storkey, Michael F. P. O'Boyle
DLAS: An Exploration and Assessment of the Deep Learning Acceleration Stack. CoRR (2023)
Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis. PACT (2023)
Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. CC (2023)
José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
C2TACO: Lifting Tensor Code to TACO. GPCE (2023)
Pablo Antonio Martínez, Jackson Woodruff, Jordi Armengol-Estapé, Gregorio Bernabé, Jose Manuel García, Michael F. P. O'Boyle
Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators. CoRR (2023)
Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, Michael F. P. O'Boyle
Bind the gap: compiling real software to hardware FFT accelerators. PLDI (2022)
Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer
Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. Haskell (2022)
Rodrigo C. O. Rocha, Pavlos Petoumenos, Björn Franke, Pramod Bhatotia, Michael F. P. O'Boyle
Loop Rolling for Code Size Reduction. CGO (2022)
Jordi Armengol-Estapé, Jackson Woodruff, Alexander Brauckmann, José Wesley de Souza Magalhães, Michael F. P. O'Boyle
ExeBench: an ML-scale dataset of executable C functions. MAPS@PLDI (2022)
Sean Stirling, Rodrigo C. O. Rocha, Kim M. Hazelwood, Hugh Leather, Michael F. P. O'Boyle, Pavlos Petoumenos
F3M: Fast Focused Function Merging. CGO (2022)
Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle
Neural Architecture Search as Program Transformation Exploration. CoRR (2021)
Jordi Armengol-Estapé, Michael F. P. O'Boyle
Learning C to x86 Translation: An Experiment in Neural Compilation. CoRR (2021)
Nishil Talati, Kyle May, Armand Behroozi, Yichen Yang, Kuba Kaszyk, Christos Vasiladiotis, Tarunesh Verma, Lu Li, Brandon Nguyen, Jiawen Sun, John Magnus Morton, Agreen Ahmadi, Todd M. Austin, Michael F. P. O'Boyle, Scott A. Mahlke, Trevor N. Mudge, Ronald G. Dreslinski
Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design. HPCA (2021)
Subhankar Pal, Aporva Amarnath, Siying Feng, Michael F. P. O'Boyle, Ronald G. Dreslinski, Christophe Dubach
SparseAdapt: Runtime Control for Sparse Linear Algebra on a Reconfigurable Accelerator. MICRO (2021)
Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle
Neural architecture search as program transformation exploration. ASPLOS (2021)
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
CoSPARSE: A Software and Hardware Reconfigurable SpMV Framework for Graph Analytics. DAC (2021)
Bruce Collie, Michael F. P. O'Boyle
Program Lifting using Gray-Box Behavior. PACT (2021)
Jackson Woodruff, Michael F. P. O'Boyle
New Regular Expressions on Old Accelerators. DAC (2021)
Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael F. P. O'Boyle, Hugh Leather
ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations. ICML (2021)
Valentin Radu, Kuba Kaszyk, Yuan Wen, Jack Turner, José Cano, Elliot J. Crowley, Björn Franke, Amos J. Storkey, Michael F. P. O'Boyle
Performance Aware Convolutional Neural Network Channel Pruning for Embedded GPUs. CoRR (2020)
Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle
Automatically harnessing sparse acceleration. CC (2020)
Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
M3: Semantic API Migrations. ASE (2020)
Perry Gibson, José Cano, Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey
Optimizing Grouped Convolutions on Edge Devices. ASAP (2020)
Subhankar Pal, Kuba Kaszyk, Siying Feng, Björn Franke, Murray Cole, Michael F. P. O'Boyle, Trevor N. Mudge, Ronald G. Dreslinski
HETSIM: Simulating Large-Scale Heterogeneous Systems using a Trace-driven, Synchronization and Dependency-Aware Framework. IISWC (2020)
Yuan Wen, Andrew Anderson, Valentin Radu, Michael F. P. O'Boyle, David Gregg
TASO: Time and Space Optimization for Memory-Constrained DNN Inference. SBAC-PAD (2020)
Chris Cummins, Hugh Leather, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael F. P. O'Boyle
Deep Data Flow Analysis. CoRR (2020)
Subhankar Pal, Siying Feng, Dong-Hyeon Park, Sung Kim, Aporva Amarnath, Chi-Sheng Yang, Xin He, Jonathan Beaumont, Kyle May, Yan Xiong, Kuba Kaszyk, John Magnus Morton, Jiawen Sun, Michael F. P. O'Boyle, Murray Cole, Chaitali Chakrabarti, David T. Blaauw, Hun-Seok Kim, Trevor N. Mudge, Ronald G. Dreslinski
Transmuter: Bridging the Efficiency Gap using Memory and Dataflow Reconfiguration. PACT (2020)
Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
Modeling Black-Box Components with Probabilistic Synthesis. CoRR (2020)
Bruce Collie, Michael F. P. O'Boyle
Retrofitting Symbolic Holes to LLVM IR. CoRR (2020)
Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
Modeling black-box components with probabilistic synthesis. GPCE (2020)
Naums Mogers, Valentin Radu, Lu Li, Jack Turner, Michael F. P. O'Boyle, Christophe Dubach
Automatic generation of specialized direct convolutions for mobile GPUs. GPGPU@PPoPP (2020)
Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
M3: Semantic API Migrations. CoRR (2020)
Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey, Gavin Gray
BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget. ICLR (2020)
Yuan Wen, Andrew Anderson, Valentin Radu, Michael F. P. O'Boyle, David Gregg
TASO: Time and Space Optimization for Memory-Constrained DNN Inference. CoRR (2020)
John Magnus Morton, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, Michael F. P. O'Boyle
DelayRepay: delayed execution for kernel fusion in Python. DLS (2020)
Perry Gibson, José Cano, Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey
Optimizing Grouped Convolutions on Edge Devices. CoRR (2020)
Massimiliano Patacchiola, Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey
Bayesian Meta-Learning for the Few-Shot Setting via Deep Kernels. NeurIPS (2020)
Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle
Automatically Harnessing Sparse Acceleration. CoRR (2020)
Valentin Radu, Kuba Kaszyk, Yuan Wen, Jack Turner, José Cano, Elliot J. Crowley, Björn Franke, Amos J. Storkey, Michael F. P. O'Boyle
Performance Aware Convolutional Neural Network Channel Pruning for Embedded GPUs. IISWC (2019)
Kuba Kaszyk, Harry Wagstaff, Tom Spink, Björn Franke, Michael F. P. O'Boyle, Bruno Bodin, Henrik Uhrenholt
Full-System Simulation of Mobile CPU/GPU Platforms. ISPASS (2019)
Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle
Type-Directed Program Synthesis and Constraint Generation for Library Portability. CoRR (2019)
Bruce Collie, Michael F. P. O'Boyle
Augmenting Type Signatures for Program Synthesis. CoRR (2019)
Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle
Type-Directed Program Synthesis and Constraint Generation for Library Portability. PACT (2019)
Jack Turner, Elliot J. Crowley, Gavin Gray, Amos J. Storkey, Michael F. P. O'Boyle
BlockSwap: Fisher-guided Block Substitution for Network Compression. CoRR (2019)
Yuan Wen, Andrew Anderson, Valentin Radu, Michael F. P. O'Boyle, David Gregg
POSTER: Space and Time Optimal DNN Primitive Selection with Integer Linear Programming. PACT (2019)
Mihai Bujanca, Paul Gafton, Sajad Saeedi, 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
SLAMBench 3.0: Systematic Automated Reproducible Evaluation of SLAM Systems for Robot Vision Challenges and Scene Understanding. ICRA (2019)
Lewis Crawford, Michael F. P. O'Boyle
Specialization Opportunities in Graphical Workloads. PACT (2019)
Bruno Bodin, Luigi Nardi, Harry Wagstaff, Paul H. J. Kelly, Michael F. P. O'Boyle
Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications. ISPASS (2018)
Jack Turner, José Cano, Valentin Radu, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey
Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks. CoRR (2018)
Bruno Bodin, Harry Wagstaff, Sajad Saeedi, 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
SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. ICRA (2018)
Jack Turner, José Cano, Valentin Radu, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey
Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks. IISWC (2018)
Zheng Wang, Michael F. P. O'Boyle
Machine Learning in Compiler Optimization. Proc. IEEE 106 (11) (2018)
Yuan Wen, Michael F. P. O'Boyle, Christian Fensch
MaxPair: Enhance OpenCL Concurrent Kernel Execution by Weighted Maximum Matching. GPGPU@PPoPP (2018)
Philip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle
CAnDL: a domain specific language for compiler analysis. CC (2018)
Bruno Bodin, Harry Wagstaff, Sajad Saeedi, 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
SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. CoRR (2018)
Philip Ginsbach, Toomas Remmelg, Michel Steuwer, Bruno Bodin, Christophe Dubach, Michael F. P. O'Boyle
Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. ASPLOS (2018)
Zheng Wang, Michael F. P. O'Boyle
Machine Learning in Compiler Optimisation. CoRR (2018)
Elliot J. Crowley, Jack Turner, Amos J. Storkey, Michael F. P. O'Boyle
Pruning neural networks: is it time to nip it in the bud? CoRR (2018)
Sajad Saeedi, Bruno Bodin, Harry Wagstaff, Andy Nisbet, Luigi Nardi, John Mawer, Nicolas Melot, Oscar Palomar, Emanuele Vespa, Tom Spink, Cosmin Gorgovan, Andrew M. Webb, James Clarkson, Erik Tomusk, Thomas Debrunner, Kuba Kaszyk, Pablo González de Aledo, Andrey Rodchenko, Graham D. Riley, Christos Kotselidis, Björn Franke, Michael F. P. O'Boyle, Andrew J. Davison, Paul H. J. Kelly, Mikel Luján, Steve B. Furber
Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality. CoRR (2018)
Lewis Crawford, Michael F. P. O'Boyle
A Cross-platform Evaluation of Graphics Shader Compiler Optimization. ISPASS (2018)
Sajad Saeedi, Bruno Bodin, Harry Wagstaff, Andy Nisbet, Luigi Nardi, John Mawer, Nicolas Melot, Oscar Palomar, Emanuele Vespa, Tom Spink, Cosmin Gorgovan, Andrew M. Webb, James Clarkson, Erik Tomusk, Thomas Debrunner, Kuba Kaszyk, Pablo González de Aledo Marugán, Andrey Rodchenko, Graham D. Riley, Christos Kotselidis, Björn Franke, Michael F. P. O'Boyle, Andrew J. Davison, Paul H. J. Kelly, Mikel Luján, Steve B. Furber
Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality. Proc. IEEE 106 (11) (2018)
Jack Turner, Elliot J. Crowley, Valentin Radu, José Cano, Amos J. Storkey, Michael F. P. O'Boyle
HAKD: Hardware Aware Knowledge Distillation. CoRR (2018)
José Cano, Yiming Yang, Bruno Bodin, Vijay Nagarajan, Michael F. P. O'Boyle
Automatic Parameter Tuning of Motion Planning Algorithms. IROS (2018)
Yuan Wen, Michael F. P. O'Boyle
Merge or Separate?: Multi-job Scheduling for OpenCL Kernels on CPU/GPU Platforms. GPGPU@PPoPP (2017)
Philip Ginsbach, Michael F. P. O'Boyle
Discovery and exploitation of general reductions: a constraint based approach. CGO (2017)
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, Michael F. P. O'Boyle
Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene Understanding. PACT (2016)
Bruno Bodin, Luigi Nardi, Paul H. J. Kelly, Michael F. P. O'Boyle
Diplomat: Mapping of Multi-kernel Applications Using a Static Dataflow Abstraction. MASCOTS (2016)
Christos Margiolas, Michael F. P. O'Boyle
Portable and transparent software managed scheduling on accelerators for fair resource sharing. CGO (2016)
Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle
Four Metrics to Evaluate Heterogeneous Multicores. ACM Trans. Archit. Code Optim. 12 (4) (2016)
Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle
Selecting Heterogeneous Cores for Diversity. ACM Trans. Archit. Code Optim. 13 (4) (2016)
Murali Krishna Emani, Michael F. P. O'Boyle
Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments. PLDI (2015)
Christos Margiolas, Michael F. P. O'Boyle
PALMOS: A Transparent, Multi-tasking Acceleration Layer for Parallel Heterogeneous Systems. ICS (2015)
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
Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. ICRA (2015)
Kiran Chandramohan, Michael F. P. O'Boyle
A compiler framework for automatically mapping data parallel programs to heterogeneous MPSoCs. CASES (2014)
Zheng Wang, Georgios Tournavitis, Björn Franke, Michael F. P. O'Boyle
Integrating profile-driven parallelism detection and machine-learning-based mapping. ACM Trans. Archit. Code Optim. 11 (1) (2014)
Zheng Wang, Dominik Grewe, Michael F. P. O'Boyle
Automatic and Portable Mapping of Data Parallel Programs to OpenCL for GPU-Based Heterogeneous Systems. ACM Trans. Archit. Code Optim. 11 (4) (2014)
Yuan Wen, Zheng Wang, Michael F. P. O'Boyle
Smart multi-task scheduling for OpenCL programs on CPU/GPU heterogeneous platforms. HiPC (2014)
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, Steve B. Furber
Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. CoRR (2014)
Kiran Chandramohan, Michael F. P. O'Boyle
Partitioning data-parallel programs for heterogeneous MPSoCs: time and energy design space exploration. LCTES (2014)
Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle
Measuring flexibility in single-ISA heterogeneous processors. PACT (2014)
Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle
Exploiting GPU Hardware Saturation for Fast Compiler Optimization. GPGPU@ASPLOS (2014)
Hugh Leather, Edwin V. Bonilla, Michael F. P. O'Boyle
Automatic feature generation for machine learning-based optimising compilation. ACM Trans. Archit. Code Optim. 11 (1) (2014)
Christos Margiolas, Michael F. P. O'Boyle
Portable and Transparent Host-Device Communication Optimization for GPGPU Environments. CGO (2014)
Zheng Wang, Daniel Christopher Powell, Björn Franke, Michael F. P. O'Boyle
Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code. CC (2014)
Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle
Automatic optimization of thread-coarsening for graphics processors. PACT (2014)
Murali Krishna Emani, Michael F. P. O'Boyle
Change Detection Based Parallelism Mapping: Exploiting Offline Models and Online Adaptation. LCPC (2014)
Murali Krishna Emani, Zheng Wang, Michael F. P. O'Boyle
Smart, adaptive mapping of parallelism in the presence of external workload. CGO (2013)
Zheng Wang, Michael F. P. O'Boyle
Using machine learning to partition streaming programs. ACM Trans. Archit. Code Optim. 10 (3) (2013)
Dominik Grewe, Zheng Wang, Michael F. P. O'Boyle
Portable mapping of data parallel programs to OpenCL for heterogeneous systems. CGO (2013)
Michael F. P. O'Boyle, Christian Fensch
General chairs' welcome message. PACT (2013)
Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle
A large-scale cross-architecture evaluation of thread-coarsening. SC (2013)
Dominik Grewe, Zheng Wang, Michael F. P. O'Boyle
OpenCL Task Partitioning in the Presence of GPU Contention. LCPC (2013)

Michael F. P. O'Boyle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael F. P. O'Boyle