Michael F. P. O'Boyle
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- GPCE3 editions2020–2024
all 5 in the filters
on a stage with
all 13 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Guided Tensor Lifting | PLDI 2025 | 2025-06-16 |
Automatic lifting from C to Taco uses an LLM to generate 10 candidate tensor expressions, extracts a probabilistic grammar from those samples, and drives… | ||
| Hot Call-Chain Inlining for the Glasgow Haskell Compiler | GPCE 2024 | 2024-10-21 |
Proposes a profile-directed hot call-chain inlining pass for GHC that extracts call chains from the AST, marks functions with INLINE/INLINABLE pragmas during… | ||
| C2TACO: Lifting Tensor Code to TACO | GPCE 2023 | 2023-10-22 |
C2TACO synthesizes TACO tensor-DSL programs from C by using enumerative program synthesis guided by automatically generated IO examples and static code… | ||
| Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow ... | Haskell Symposium 2022 | 2022-09-15 |
Explores changing GHC’s hard-coded inliner “magic numbers” by turning ten tuning constants into parameters, compiling GHC with different settings and running a… | ||
| DelayRepay: Delayed Execution for Kernel Fusion in Python | DLS 2020 | 2020-11-17 |
DelayRepay is a drop-in NumPy replacement that defers NumPy operations to build a delayed execution graph, fuses those nodes into single CUDA kernels via CuPy… | ||
| Modeling Black-Box Components with Probabilistic Synthesis | GPCE 2020 | 2020-11-16 |
Presyn builds executable models of opaque library functions by composing a library of 11 fragment families, scoring fragments with a probabilistic fragment… | ||
| Retrofitting Symbolic Holes to LLVM IR | TyDe 2020 | 2020-08-23 |
Implements untyped symbolic holes inside LLVM IR by encoding holes as calls to uninterpreted functions and introducing an unknown-type marker whole.t, plus… | ||
| nothing matches | ||