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

Michael Hicks will present the future challenges in verifying and certifying secure software systems and the relevance that Abstract Interpretation can have in this field.

Sat 21 Jan
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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