Adventures in program synthesis

Koen Claessen

Abstract

This talk will be about ongoing work on developing new program synthesis techniques. One of the applications is to find programs that break type soundness, given a type system and a semantics. I will show that some challenges of the IFC can be solved automatically in this way.

Date
May 20, 2022 1:15 PM — 2:15 PM
Event
Live talk in EDIT 8103
Location
Room EDIT 8103, Campus Johanneberg
Chalmers University of Technology
Rännvägen 6B, Gothenburg, 412 58

Speaker website: https://www.cse.chalmers.se/~koen/