Adventures in program synthesis


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.

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

Speaker website: