Eran Yahav will show how systematic and automatic code synthesis can be obtained by using Abstract interpretation.
Sat 21 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30
Michael Hicks University of Maryland at College Park, USA
Bor-Yuh Evan Chang University of Colorado Boulder
Eran Yahav Technion