munksgaard.me

Currently doing a PhD at the University of Copenhagen, working on the parallel functional programming language Futhark. I am a MSc in Computer Science from the University of Copenhagen (2015). I like programming languages, programming language theory, algorithms, concurrency and parallelism.

https://sr.ht/~munksgaard/

https://github.com/Munksgaard/

gopher://munksgaard.me

• Memory Optimizations in an Array Language. SC22.
• Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties. Presented at TFP 2021.
• Experience report: Type-safe multi-tier programming with Standard ML modules. ML Family Workshop 2018.
• Session Types for Rust. Presented at WGP '15.
• Practical Session Types in Rust. MSc thesis, June 2015.

• Improving a Futhark benchmark
• Existentialized index functions in loops

• Let's build a database
• Create, Insert and Select
• Lambdas and Lets

• smlfuck
• lispski
• primlisp

• Typechecking toyml

• Ordleg. A clone of Wordle, in Danish (source).
• Blue Noise in Futhark. An investigation into dithering using Futhark, written using futhark literate (source).

Technical diary

5658 4D09 71AF E45F CC29 6BD7 4CE6 2A90 EFC0 B9B2