Michael F. P. O'Boyle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
90
Venues
28
Active years
1992–2026
Best venue rank
A*
Where they publish
- ACGO13 papers
- BCC12 papers
- BEuroPar11 papers
- AICS6 papers
- A*PLDI4 papers
- A*MICRO4 papers
- BPPoPP4 papers
- Journal PublishedCASES4 papers
- BGPCE3 papers
- A*ASPLOS3 papers
- A*ICRA3 papers
- BISPASS3 papers
- A*DAC2 papers
- A*HPCA2 papers
- A*ICML2 papers
- ASC2 papers
- BASPDAC1 paper
- CHASKELL1 paper
- CDLS1 paper
- A*ICLR1 paper
- CSBAC-PAD1 paper
- AIROS1 paper
- BMASCOTS1 paper
- NationalHiPC1 paper
- CICCD1 paper
- ADATE1 paper
- AOOPSLA1 paper
- CPDP1 paper
Papers
90 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CC | Optimizing Sparse Tensor Compilation for Sparse Output. | Shideh Hashemian, Michael F. P. O'Boyle, Amir Shaikhha |
| 2026 | CC | Accelerating Sparse Algebra with Program Synthesis. | Jos Wesley de Souza Magalhes, Shideh Hashemian, Alexander Brauckmann, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2026 | CGO | Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis. | Alexander Brauckmann, Aarsh Chaube, Jos Wesley de S. Magalhes, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2025 | CC | 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, Jernimo Castrilln, Hugh Leather |
| 2025 | CGO | Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving. | Alexander Brauckmann, Luc Jaulmes, Jos Wesley de Souza Magalhes, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2024 | ASPDAC | Secco: Codesign for Resource Sharing in Regular-Expression Accelerators. | Jackson Woodruff, Sam Ainsworth, Michael F. P. O'Boyle |
| 2024 | CGO | SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly. | Jordi Armengol-Estap, Jackson Woodruff, Chris Cummins, Michael F. P. O'Boyle |
| 2024 | GPCE | Hot Call-Chain Inlining for the Glasgow Haskell Compiler. | Celeste Hollenbeck, Michael F. P. O'Boyle |
| 2023 | CC | Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators. | Pablo Antonio Martnez, Jackson Woodruff, Jordi Armengol-Estap, Gregorio Bernab, Jos Manuel Garca, Michael F. P. O'Boyle |
| 2023 | CC | HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. | Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle |
| 2023 | GPCE | C2TACO: Lifting Tensor Code to TACO. | Jos Wesley de Souza Magalhes, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2022 | CGO | Loop Rolling for Code Size Reduction. | Rodrigo C. O. Rocha, Pavlos Petoumenos, Bjrn Franke, Pramod Bhatotia, Michael F. P. O'Boyle |
| 2022 | CGO | F3M: Fast Focused Function Merging. | Sean Stirling, Rodrigo C. O. Rocha, Kim M. Hazelwood, Hugh Leather, Michael F. P. O'Boyle, Pavlos Petoumenos |
| 2022 | HASKELL | Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. | Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer |
| 2022 | PLDI | ExeBench: an ML-scale dataset of executable C functions. | Jordi Armengol-Estap, Jackson Woodruff, Alexander Brauckmann, Jos Wesley de Souza Magalhes, Michael F. P. O'Boyle |
| 2022 | PLDI | Bind the gap: compiling real software to hardware FFT accelerators. | Jackson Woodruff, Jordi Armengol-Estap, Sam Ainsworth, Michael F. P. O'Boyle |
| 2021 | ASPLOS | Neural architecture search as program transformation exploration. | Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle |
| 2021 | DAC | 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 |
| 2021 | DAC | New Regular Expressions on Old Accelerators. | Jackson Woodruff, Michael F. P. O'Boyle |
| 2021 | HPCA | Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design. | 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 |
| 2021 | ICML | 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 |
| 2021 | MICRO | 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 |
| 2020 | CC | Automatically harnessing sparse acceleration. | Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle |
| 2020 | DLS | 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 |
| 2020 | GPCE | Modeling black-box components with probabilistic synthesis. | Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle |
| 2020 | ICLR | BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget. | Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos Storkey, Gavin Gray |
| 2020 | PPoPP | Automatic generation of specialized direct convolutions for mobile GPUs. | Naums Mogers, Valentin Radu, Lu Li, Jack Turner, Michael F. P. O'Boyle, Christophe Dubach |
| 2020 | SBAC-PAD | TASO: Time and Space Optimization for Memory-Constrained DNN Inference. | Yuan Wen, Andrew Anderson, Valentin Radu, Michael F. P. O'Boyle, David Gregg |
| 2019 | ICRA | SLAMBench 3.0: Systematic Automated Reproducible Evaluation of SLAM Systems for Robot Vision Challenges and Scene Understanding. | 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 Lujn, Steve B. Furber |
| 2019 | ISPASS | Full-System Simulation of Mobile CPU/GPU Platforms. | Kuba Kaszyk, Harry Wagstaff, Tom Spink, Bjrn Franke, Michael F. P. O'Boyle, Bruno Bodin, Henrik Uhrenholt |
| 2018 | ASPLOS | 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 |
| 2018 | CC | CAnDL: a domain specific language for compiler analysis. | Philip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle |
| 2018 | ICRA | SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. | Bruno Bodin, Harry Wagstaff, Sajad Saeedi, Luigi Nardi, Emanuele Vespa, John Mawer, Andy Nisbet, Mikel Lujn, Steve B. Furber, Andrew J. Davison, Paul H. J. Kelly, Michael F. P. O'Boyle |
| 2018 | IROS | Automatic Parameter Tuning of Motion Planning Algorithms. | Jos Cano, Yiming Yang, Bruno Bodin, Vijay Nagarajan, Michael F. P. O'Boyle |
| 2018 | ISPASS | Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications. | Bruno Bodin, Luigi Nardi, Harry Wagstaff, Paul H. J. Kelly, Michael F. P. O'Boyle |
| 2018 | ISPASS | A Cross-platform Evaluation of Graphics Shader Compiler Optimization. | Lewis Crawford, Michael F. P. O'Boyle |
| 2018 | PPoPP | MaxPair: Enhance OpenCL Concurrent Kernel Execution by Weighted Maximum Matching. | Yuan Wen, Michael F. P. O'Boyle, Christian Fensch |
| 2017 | CGO | Discovery and exploitation of general reductions: a constraint based approach. | Philip Ginsbach, Michael F. P. O'Boyle |
| 2017 | PPoPP | Merge or Separate?: Multi-job Scheduling for OpenCL Kernels on CPU/GPU Platforms. | Yuan Wen, Michael F. P. O'Boyle |
| 2016 | CGO | Portable and transparent software managed scheduling on accelerators for fair resource sharing. | Christos Margiolas, Michael F. P. O'Boyle |
| 2016 | MASCOTS | Diplomat: Mapping of Multi-kernel Applications Using a Static Dataflow Abstraction. | Bruno Bodin, Luigi Nardi, Paul H. J. Kelly, Michael F. P. O'Boyle |
| 2015 | ICRA | 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 Lujn, Michael F. P. O'Boyle, Graham D. Riley, Nigel P. Topham, Stephen B. Furber |
| 2015 | ICS | PALMOS: A Transparent, Multi-tasking Acceleration Layer for Parallel Heterogeneous Systems. | Christos Margiolas, Michael F. P. O'Boyle |
| 2015 | PLDI | Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments. | Murali Krishna Emani, Michael F. P. O'Boyle |
| 2014 | ASPLOS | Exploiting GPU Hardware Saturation for Fast Compiler Optimization. | Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle |
| 2014 | CASES | A compiler framework for automatically mapping data parallel programs to heterogeneous MPSoCs. | Kiran Chandramohan, Michael F. P. O'Boyle |
| 2014 | CC | Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code. | Zheng Wang, Daniel Christopher Powell, Bjrn Franke, Michael F. P. O'Boyle |
| 2014 | CGO | Portable and Transparent Host-Device Communication Optimization for GPGPU Environments. | Christos Margiolas, Michael F. P. O'Boyle |
| 2014 | HiPC | Smart multi-task scheduling for OpenCL programs on CPU/GPU heterogeneous platforms. | Yuan Wen, Zheng Wang, Michael F. P. O'Boyle |
| 2013 | CGO | Smart, adaptive mapping of parallelism in the presence of external workload. | Murali Krishna Emani, Zheng Wang, Michael F. P. O'Boyle |
| 2013 | CGO | Portable mapping of data parallel programs to OpenCL for heterogeneous systems. | Dominik Grewe, Zheng Wang, Michael F. P. O'Boyle |
| 2013 | SC | A large-scale cross-architecture evaluation of thread-coarsening. | Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle |
| 2011 | CC | A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL. | Dominik Grewe, Michael F. P. O'Boyle |
| 2010 | MICRO | A Predictive Model for Dynamic Microarchitectural Adaptivity Control. | Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla, Michael F. P. O'Boyle |
| 2009 | CGO | Automatic Feature Generation for Machine Learning Based Optimizing Compilation. | Hugh Leather, Edwin V. Bonilla, Michael F. P. O'Boyle |
| 2009 | ICCD | Rapid early-stage microarchitecture design using predictive models. | Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle |
| 2009 | MICRO | Portable compiler optimisation across embedded programs and microarchitectures using machine learning. | Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla, Grigori Fursin, Michael F. P. O'Boyle |
| 2009 | PLDI | Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping. | Georgios Tournavitis, Zheng Wang, Bjrn Franke, Michael F. P. O'Boyle |
| 2009 | PPoPP | Mapping parallelism to multi-cores: a machine learning based approach. | Zheng Wang, Michael F. P. O'Boyle |
| 2008 | CASES | Exploring and predicting the architecture/optimising compiler co-design space. | Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle |
| 2008 | DATE | Instruction Cache Energy Saving Through Compiler Way-Placement. | Timothy M. Jones, Sandro Bartolini, Bruno De Bus, John Cavazos, Michael F. P. O'Boyle |
| 2007 | CGO | 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 |
| 2007 | EuroPar | Topic 4 High-Performance Architectures and Compilers. | Michael F. P. O'Boyle, Franois Bodin, Jos Gonzlez, Lucian N. Vintan |
| 2007 | MICRO | Microarchitectural Design Space Exploration Using an Architecture-Centric Approach. | Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle |
| 2006 | CASES | 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 |
| 2006 | CC | Iterative Collective Loop Fusion. | Thomas J. Ashby, Michael F. P. O'Boyle |
| 2006 | CC | Hybrid Optimizations: Which Optimization Algorithm to Use?. | John Cavazos, J. Eliot B. Moss, Michael F. P. O'Boyle |
| 2006 | CGO | Using Machine Learning to Focus Iterative Optimization. | Felix V. Agakov, Edwin V. Bonilla, John Cavazos, Bjrn Franke, Grigori Fursin, Michael F. P. O'Boyle, John Thomson, Marc Toussaint, Christopher K. I. Williams |
| 2006 | ICML | Predictive search distributions. | Edwin V. Bonilla, Christopher K. I. Williams, Felix V. Agakov, John Cavazos, John Thomson, Michael F. P. O'Boyle |
| 2006 | OOPSLA | Method-specific dynamic compilation using logistic regression. | John Cavazos, Michael F. P. O'Boyle |
| 2005 | EuroPar | Topic 4 - Compilers for High Performance. | Albert Cohen, Michael F. P. O'Boyle, Martin Griebl, Jos Moreira |
| 2005 | HPCA | Software Directed Issue Queue Power Reduction. | Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio Gonzlez |
| 2005 | SC | Automatic Tuning of Inlining Heuristics. | John Cavazos, Michael F. P. O'Boyle |
| 2004 | EuroPar | Cross Component Optimisation in a High Level Category-Based Language. | Thomas J. Ashby, Anthony D. Kennedy, Michael F. P. O'Boyle |
| 2004 | EuroPar | Topic 4: Compilers for High Performance. | Hans P. Zima, Siegfried Benkner, Michael F. P. O'Boyle, Beniamino Di Martino |
| 2004 | ICS | Adaptive Java optimisation using instance-based learning. | Shun Long, Michael F. P. O'Boyle |
| 2003 | EuroPar | Topic Introduction. | Michael Gerndt, Chau-Wen Tseng, Michael F. P. O'Boyle, Markus Schordan |
| 2001 | CASES | An empirical evaluation of high level transformations for embedded processors. | Bjrn Franke, Michael F. P. O'Boyle |
| 2001 | CC | Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications. | Bjrn Franke, Michael F. P. O'Boyle |
| 2001 | EuroPar | Topic 04: Compilers for High Performance. | Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle |
| 2000 | EuroPar | Exact Distributed Invalidation. | Rupert W. Ford, Michael F. P. O'Boyle, Elena Sthr |
| 1999 | EuroPar | OCEANS - Optimising Compilers for Embedded Applications. | Michel Barreteau, Franois 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, Andy Nisbet, Michael F. P. O'Boyle, Erven Rohou, Andr Seznec, Elena Sthr, Menno Treffers, Harry A. G. Wijshoff |
| 1998 | EuroPar | OCEANS: Optimising Compilers for Embedded Applications. | Michel Barreteau, Franois 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, Erven Rohou, Rizos Sakellariou, Andr Seznec, Elena Sthr, Menno Treffers, Harry A. G. Wijshoff |
| 1997 | EuroPar | OCEANS: Optimizing Compilers for Embedded Applications. | Bas Aarts, Michel Barreteau, Franois 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, Erven Rohou, Rizos Sakellariou, Henk Schepers, Andr Seznec, Elena Sthr, Marco Verhoeven, Harry A. G. Wijshoff |
| 1997 | ICS | Non-Singular Data Transformations: Definition, Validity and Applications. | Michael F. P. O'Boyle, Peter M. W. Knijnenburg |
| 1997 | ICS | A Graph Based Approach to Barrier Synchronisation Minimisation. | Elena Sthr, Michael F. P. O'Boyle |
| 1996 | EuroPar | Compiler Reduction of Invalidation Traffic in Virtual Shared Memory Systems. | Michael F. P. O'Boyle, Rupert W. Ford, Andy Nisbet |
| 1995 | ICS | Compiler Reduction of Synchronisation in Shared Virtual Memory Systems. | Michael F. P. O'Boyle, Franois Bodin |
| 1995 | PDP | A hierarchical locality algorithm for NUMA compilation. | Michael F. P. O'Boyle |
| 1992 | ICS | A transformational approach to compiling Sisal for distributed memory architectures. | Michael F. P. O'Boyle, G. A. Hedayat |