Troels Henriksen
where else to find them
what they talk about
all 4 in the filters
where they keep going back
all 8 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Magnus Madsen11 talks
- Martin Elsman16 talks
- Lars Birkedal35 talks
- Deepak Garg18 talks
- Daan Leijen16 talks
- Robert Schenck4 talks
| title | conference | date |
|---|---|---|
| Correctness Meets Performance: From Agda to Futhark | ICFP 2025 | 2025-10-12 |
Derives a reverse-mode automatic-differentiation pipeline in Agda for index-safe tensors, proves semantic preservation for AD and optimizer passes, and… | ||
| Gate Fusion Is Map Fusion | ARRAY 2025 | 2025-06-17 |
Claim: gate operations are exactly index-transformed maps on the global state vector, so map-map fusion implements gate fusion. Implementation: a Futhark… | ||
| AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming | OOPSLA 2024 | 2024-10-20 |
Automatic insertion of maps and replicates makes rank-polymorphic calls type-check by encoding per-application rank choices as integer variables and solving a… | ||
| A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array(…) | FProPer 2024 | 2024-09-06 |
Compares code generated by the Futhark compiler for Futhark across OpenCL, CUDA, and HIP on an NVIDIA A100 and AMD MI100 using 48 benchmarks and finds… | ||
| An LLP (q, k) Parser Generator | ARRAY 2024 | 2024-06-25 |
An implementation called Alpac generator produces LLP(q,k) parsers meant for data parallelism and is used to build a JSON parser; the work resolves minor… | ||
| AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming | ARRAY 2024 | 2024-06-25 |
Automatic insertion of map/rep annotations reduces array boilerplate by encoding rank differences as constraints, linearizing them into integer linear… | ||
| Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect... | OOPSLA 2023 | 2023-10-23 |
Presents a hybrid solver that combines Boole’s SVE elimination with binary decision diagrams plus precomputed tabling and caching; implemented in the Flix… | ||
| Shape-Constrained Array Programming with Size-Dependent Types | FHPNC 2023 | 2023-09-04 |
A dependent-type extension enforces array-size consistency in an ML-style data-parallel language and is implemented in the Futhark compiler; sizes are… | ||
| Parallelism in a Region Inference Context | PLDI 2023 | 2023-06-17 |
Implements a fork‑join parallel construct for a region‑inference compiler, embeds an effect-based region-protection inference that flags regions needing… | ||
| Designing a programming language for the desert | FOSDEM 2022 | 2022-02-05 |
You need a lot of hubris to design your own programming language. As a result, new languages are often engineered (or "over-engineered") for that glorious… | ||
| Full workshop | FHPNC 2021 | 2021-08-22 |
Workshop opens with practical results: a dependent-type array system uses lift_nuts and dependent pairs to express CSR and other sparse layouts, generates… | ||
| Data-Parallel Flattening by Expansion | ARRAY 2019 | 2019-06-22 |
Claims a single higher-order Futhark function expand compiles many irregular data-parallel patterns to GPU code with work-efficiency comparable to sequential… | ||
| Futhark: A High-Performance Purely Functional Array Language | Lambda Days 2017 | 2017-02-09 |
http://www.lambdadays.org/lambdadays2017/troels-henriksen
We give a presentation of the purely functional array language Futhark, supporting regular nested… | ||
| nothing matches | ||