2021-03-25: Donovan Crichton (Australian National University)

Sat, 21 Oct 2023 21:24:08 +0100

Donovan Crichton (Australian National University)

Type Preserving Crossover Operations for Genetic Programs

Abstract

This talk serves as my formal introduction to the MSP101 Group, and covers work from my Bachelor thesis. We will look at how dependent types can be used to enable a type-safe crossover operation to allow the generation of program examples that are guaranteed to be well typed. We'll also cover alternate approaches I could've taken, as well as further work in the area.

2021-03-25 15:00:00 UTC
Online