Martin Elsman
where else to find them
what they talk about
all 5 in the filters
where they keep going back
all 10 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Robert Schenck4 talks
- Troels Henriksen16 talks
- Magnus Madsen11 talks
- Michel Steuwer17 talks
- Daan Leijen16 talks
- Robbert Krebbers26 talks
| title | conference | date |
|---|---|---|
| Deriving a Kronecker-Free Functional Quantum Simulator | LOPSTR+PPDP 2026 | 2026-08-27 |
Derives a Kronecker-free interpreter that evaluates an n‑qubit circuit on a 2^n state vector without first building the 2^n×2^n unitary by using the… | ||
| Modular Storage Mode Analysis | HOPE 2026 | 2026-08-24 |
Claims a modular storage mode analysis that works across compilation units and is now adopted in MLKit, replacing the old conservative local analysis… | ||
| Compositional Deep Argument Flattening | ML 2025 | 2025-11-24 |
Presents a compositional mechanism that uncurries and unboxes nested and curried arguments across module boundaries, implemented as argument transformers in… | ||
| Contractions Are Abstractions - Towards Effective Memory Management in ReML | HOPE 2025 | 2025-10-12 |
Work in progress extends ReML and the MLKit region/effect inference backend to let programmers write abstract region annotations that map to many concrete… | ||
| 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… | ||
| Deriving a Kronecker-Free Functional Quantum Simulator | WQS 2025 | 2025-06-16 |
Derives a compositional, Kronecker-free interpreter that applies circuits directly to 2^n state vectors using the vectorization trick (vec/unvec, transposition… | ||
| 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… | ||
| 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… | ||
| Explicit Effects and Effect Constraints in ReML | POPL 2024 | 2024-01-14 |
ReML is a Standard ML dialect that makes memory and other effects explicit while staying backwards compatible; it integrates region-polymorphic inference with… | ||
| Programming with Explicit Effects in ReML | Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | 2023-09-08 |
ReML is a statically typed ML dialect that lets programmers annotate where values live and what effects occur so region-based allocation and deallocation… | ||
| 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… | ||
| Garbage-Collection Safety for Region-Based Type-Polymorphic Programs | PLDI 2023 | 2023-06-17 |
Region-inference plus polymorphism produces a real soundness hole that yields dangling pointers during reference-tracing (and generational) collection; the… | ||
| 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… | ||
| nothing matches | ||