munksgaard.me
This is the personal site of Philip Munksgaard.
About 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.
Links
Papers
- 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.
Futhark
pdb
Random unfinished projects
toyml
Other projects
- Ordleg. A clone of Wordle, in Danish (source).
- Blue Noise in Futhark. An investigation into dithering using Futhark, written
using
futhark literate
(source).