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

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