Gabriele Keller
where else to find them
x:gckeller
what they talk about
where they keep going back
no series more than once — all 8 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Tobias Grosser14 talks
- Jonathan Ragan-Kelley12 talks
- Alastair F. Donaldson14 talks
- Julien Lange5 talks
- Manya Bansal4 talks
- Deepak Garg18 talks
| 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… | ||
| Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling | ARRAY 2024 | 2024-06-25 |
Work Assisting implements a scheduler that links task-parallel work stealing with data-parallel self scheduling by having threads publish current loops in a… | ||
| Opening | PEPM 2024 | 2024-01-16 |
Conference opens with housekeeping and a schedule note: organizers mark 30 years of PEPM with a special session at the end of the day devoted to that… | ||
| JFP at ICFP | ICFP 2023 | 2023-09-04 |
Announcement says JFP runs a JFP to ICFP track started in 2020 that lets original JFP articles — explicitly not extended versions of conference papers — be… | ||
| Dargent: A Silver Bullet for Verified Data Layout Refinement | POPL 2023 | 2023-01-15 |
Dargent provides a declarative layout language integrated into Cogent that generates verified C getters and setters so algebraic types map to bit-precise… | ||
| 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… | ||
| Accelerate Haskell for GPU and Multicores | ZuriHac 2022 | 2022-06-15 |
A Haskell EDSL compiles array programs to native kernels via LLVM/CUDA codegen, caches compiled kernels (run/runN) and aggressively fuses combinators so… | ||
| nothing matches | ||