Michael O'Boyle
Professor
Researches compilers for heterogeneous architectures, using machine learning, program synthesis and transformer models for code optimisation and translation.
Michael O'Boyle's lab at Edinburgh works on compilers & programming languages, accelerators, chips & architecture and multilingual, translation & linguistics. 17 papers since 2023, 1 at top venues, mostly PACMPL. 33 alumni, most often to Huawei and Intel.
At a glance
- papers, 2023–2026
- 4/ year
- at T1 venues
- 6%
- PhD students
- 0
- MS students
- 0
- alumni listed
- 33
Papers by yearfrom DBLP, 2023–2026
- 3 papers2026 · T1 0 · collecting
- 5 papers2025 · T1 1
- 4 papers2024 · T1 0
- 5 papers2023 · T1 0
T1 venuesOtherVenues: PACMPL
Research focuspaper titles that use each topic's words
- Accelerators, chips & architecture4 papers
- program synthesis3 papers
- Compilers & programming languages0 papers
- Multilingual, translation & linguistics0 papers
- transformer0 papers
Paper list
From DBLP.
20263 papers
20255 papers
- CCDFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses (opens in a new tab)
- ACM Trans. Archit. Code Optim.DLAS: A Conceptual Model for Across-Stack Deep Learning Acceleration (opens in a new tab)
- PACTGuess, Measure & Edit: Using Lowering to Lift Tensor Code (opens in a new tab)
- PACMPL (T1)Guided Tensor Lifting (opens in a new tab)
- CGOTensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving (opens in a new tab)
20244 papers
- GPCEHot Call-Chain Inlining for the Glasgow Haskell Compiler (opens in a new tab)
- Commun. ACMNeural Architecture Search as Program Transformation Exploration (opens in a new tab)
- ASPDACSecco: Codesign for Resource Sharing in Regular-Expression Accelerators (opens in a new tab)
- CGOSLaDe: A Portable Small Language Model Decompiler for Optimized Assembly (opens in a new tab)
20235 papers
- GPCEC2TACO: Lifting Tensor Code to TACO (opens in a new tab)
- CCHyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction (opens in a new tab)
- CCMatching Linear Algebra and Tensor Code to Specialized Hardware Accelerators (opens in a new tab)
- PACTmlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis (opens in a new tab)
- HotCarbonWhen Does Saving Power Save the Planet? (opens in a new tab)
Where alumni went33 listed, 67% to industry
Industry 10Academia 5
Most often to
- Huawei
- Intel
- Argonne National Labs
Also to
- McGill University
- NUS
- Trinity College
Apply to EdinburghFall 2027
Not announced yet
Informatics PhD
- Round
- Rolling (funding consideration)
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- none
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USMIT
Manya Ghobadi
- Distributed, cloud & edge systems
- USUSC
Viktor K. Prasanna
- Accelerators, chips & architecture
- USUSC
Konstantinos Psounis
- Efficient training & inference
- USUMD
Abhinav Bhatele
- Efficient training & inference
- CNSJTU
Xingda Wei
- Efficient training & inference
- USUT Austin
Neeraja Yadwadkar
- Efficient training & inference
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- DBLP
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.