Genetic Program Repair using GHC, QuickCheck & Typed Holes
Date: Wed, December 08, 2021
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 https://github.com/Tritlo/Endemic
t.b.a. | t.b.a.