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

Personal website:https://www.dcs.ed.ac.uk/home/mob/

Research interests:Optimizing compilation, Machine learning, Heterogenous systems, Program synthesis, Neural machine translation, Hardware /software co-design

Contributions

GPCE 2023	Committee Member in Program Committee within the GPCE 2023-track
CGO 2023	Committee Member in Program Committee within the Main Conference-track
CC 2023	Author of HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction within the Research Papers-track Author of Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators within the Research Papers-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