Trevor L. McDonell
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Fusing Gathers with Integer Linear Programming | FProPer 2024 | 2024-09-06 |
Extends an existing Integer Linear Programming formulation to fuse combinator programs that include the gather combinator, encoding fusion choices with binary… | ||
| Zero-Overhead Parallel Scans for Multi-Core CPUs | ARRAY 2024 | 2024-06-25 |
Claims zero single-thread overhead parallel scans for multi-core CPUs and delivers two concrete algorithms: assisted reduce-and-scan and adaptive chain scan… | ||
| Embedded Pattern Matching | Haskell Symposium 2022 | 2022-09-15 |
Presents a concrete technique that lets host-language pattern matching produce embedded-language case expressions by representing user ADTs as a… | ||
| Annotating Deeply Embedded Languages | HIW 2022 | 2022-09-11 |
Claims a novel implicit-parameter SourceMap mechanism that forces source-location evidence at compile time (unlike GHC HasCallStack’s loose magic), instruments… | ||
| nothing matches | ||