Genetic Program Repair using GHC, QuickCheck & Typed Holes

Leonhard Applis

This talk presents a tool for genetic program repair utilizing the rich features provided by Haskell and the available frameworks. It covers basics of program repair, genetic search and typed holes. We then look at our novel approach of type-based program repair using properties and present some of the (mixed) results we achieved. In general, the patches are cool but often too fine-grained, but we hope that they can help especially for classroom settings. The program and a sneak-preview can be found on github https://github.com/Tritlo/Endemic

---

Previous: | Deriving Effect Handler Semantics
Next: Lucas Escot | Datatype-generic programming and practical subtyping for dependently-typed languages