Genetic Program Repair using GHC, QuickCheck & Typed Holes

Leonhard Applis

Date: Wed, December 08, 2021
Time: 12:00
Room: Jesper's Zoom room

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

Previous: t.b.a. |