Categories
papers
- Kronecker-Free Quantum Simulation at PPDP/LOPSTR 2026
- Hash Maps in a Functional Array Language at TFP 2026
- Compositional Deep Argument Flattening at ML 2025
- Kronecker-Free Quantum Simulation at WQS 2025
- Gate Fusion Is Map Fusion at ARRAY 2025
- AUTOMAP at OOPSLA 2024
- Double-Ended Bit-Stealing at ICFP 2024
- Explicit Effects and Effect Constraints in ReML at POPL 2024
- Programming with Explicit Effects in ReML at ML 2023
- Shape-Constrained Array Programming at FHPNC 2023
- Garbage-Collection Safety at PLDI 2023
- Parallelism in a Region Inference Context at PLDI 2023
- Combinatory Adjoints and Differentiation at MSFP 2022
- Size-Dependent Types for Array Programming at ARRAY 2021
- Region Memory Management and Generational GC in JFP
- Irregular Array Comprehensions at TFP 2020
- Combining Regions and Generational GC at PADL 2020
- Functional GPU Option Pricing at IFL 2019
- Compositional Deep Learning in Futhark at FHPNC 2019
- Functional Option Pricing at FHPNC 2019
- Data-Parallel Flattening by Expansion at ARRAY 2019
- Incremental Flattening at PPoPP 2019
- APL on GPUs through TAIL and Futhark at FHPC 2016
- Compiling APL through TAIL at ARRAY 2014
lessons
projects
- dq: Exploring Quantum Simulation with Standard ML and Futhark
- sml-server: A New Home for Web Programming in Standard ML
- Caddie: Exploring Combinatory Automatic Differentiation
- smlpkg: A Package Manager for Standard ML
- Drawing Bézier Curves with Futhark's expand Operation
- Exploring Chaos with Futhark: The Feigenbaum Project
- apltail: From APL to Typed Array Programs
technical reports
- New report: Agentic Development of an ARM64 Compiler Backend
- New report: Crafting a REPL for HOT Compiled Execution
- New report: Generic Combinators for Monoid Nesting in Futhark
- Programming with Regions in the MLKit: Updated Manual
- Programming with Regions in the MLKit: Version 4.7.2
- New report: Garbage-Collection Safety for Polymorphic Programs
- Programming with Regions in the MLKit: Version 4.6.0
- New report: Combining Region Inference and Generational GC