hello, world.

Here is some of my academic work:

PhD Thesis (2024): Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach
IFL 2023: CSI: Haskell - Tracing Lazy Evaluations in a Functional Language [Slides]
ICST 2023: Spectacular: Finding Laws from 25 Trillion Programs [Slides]
ICFP SRC/HIW 2022: CSI:Haskell - Fault-Localization in Lazy Languages using Runtime Tracing [Slides] [Proposal]
ICSE 2022: PropR: Property-Based Automatic Program Repair [Talk] [Slides]
Licentiate (half-time) thesis: The Hole Story: Type-Directed Synthesis and Repair
PLAS 2020: Short Paper: Weak Runtime-Irrelevant Typing for Security [Talk]
ICFP 2019: Hole Fit Plugins for GHC (SRC Finalist Poster) Hole Fit Plugins for GHC (HIW Talk)
Haskell Symposium 2018: Suggesting Valid Hole Fits for Typed-Holes (Experience Report) [Slides] [Demo Output]
MSc Thesis: Suggesting Valid Hole Fits for Typed-Holes in Haskell