Michael F. P. O'Boyle

Registered user since Tue 8 Mar 2022

Name:Michael F. P. O'Boyle
Country:United Kingdom
Affiliation:University of Edinburgh
Research interests:Optimizing compilation, Machine learning, Heterogenous systems, Program synthesis, Neural machine translation, Hardware /software co-design

Contributions

CGO 2023 Committee Member in Program Committee within the Main Conference-track
Haskell 2022 Author of Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler within the Haskell 2022-track
PLDI 2022 Author of Bind the Gap: Compiling Real Software to Hardware FFT Accelerators within the PLDI-track
Committee Member in PLDI within the PLDI-track
MAPS 2022 Author of ExeBench: An ML-scale dataset of executable C functions within the MAPS 2022-track
CGO 2022 Author of F3M: Fast Focused Function Merging within the Main Conference-track
Author of Loop Rolling for Code Size Reduction within the Main Conference-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
CGO 2021 Committee Member in Program Committee within the Main Conference-track
Session Chair of Session #4: Parallelism - Optimizing, Modeling, Testing (part of Main Conference)
DLS 2020 Author of DelayRepay: Delayed Execution for Kernel Fusion in Python within the DLS 2020-track
GPCE 2020 Author of Modeling Black-Box Components with Probabilistic Synthesis within the GPCE-track
ASE 2020 Author of M3: Semantic API Migrations within the Research Papers-track
TyDe 2020 Author of Retrofitting Symbolic Holes to LLVM IR (Extended Abstract) within the TyDe 2020-track
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
CC 2020 Author of Automatically Harnessing Sparse Acceleration within the Main Conference-track
TyDe 2019 Author of Augmenting Type Signatures for Program Synthesis within the TyDe 2019-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
PPoPP 2019 Speaker of CGO Keynote: Michael O’Boyle (University of Edinburgh) within the Main Conference-track
MAPL 2017 Committee Member in Program Committee within the MAPL 2017-track
PLDI 2017 Committee Member in Steering Committee
LCTES 2017 Committee Member in Program Committee
LCTES 2016 Committee Member in Program Committee
PLDI 2015 Author of Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments within the Research Papers-track