POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 15:00 - 15:30 at Amphitheater 44 - Security, Big Code and Synthesis Chair(s): Xavier Rival

Eran Yahav will show how systematic and automatic code synthesis can be obtained by using Abstract interpretation.

Sat 21 Jan

N40AI
14:00 - 15:30: Next 40 years of Abstract Interpretation - Security, Big Code and Synthesis at Amphitheater 44
Chair(s): Xavier RivalINRIA/CNRS/ENS Paris
N40AI14:00 - 14:30
Talk
Michael HicksUniversity of Maryland at College Park, USA
N40AI14:30 - 15:00
Talk
Bor-Yuh Evan ChangUniversity of Colorado Boulder
N40AI15:00 - 15:30
Talk
Eran YahavTechnion