POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / N40AI 2017 (series) / N40AI /

Big Code

N40AI 2017 Next 40 years of Abstract Interpretation
Sat 21 Jan 2017 14:30 - 15:00 at Amphitheater 44 - Security, Big Code and Synthesis Chair(s): Xavier Rival

Bor-Yuh Evan Chang will present the latest achievements in Big Code and how Abstract Interpretation may influence this new research field.

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Security, Big Code and Synthesis N40AI at Amphitheater 44
Chair(s): Xavier Rival INRIA/CNRS/ENS Paris
14:00
30m
Talk
Security
N40AI
Michael Hicks University of Maryland at College Park, USA
14:30
30m
Talk
Big Code
N40AI
Bor-Yuh Evan Chang University of Colorado Boulder
15:00
30m
Talk
Program synthesis
N40AI
Eran Yahav Technion
Bor-Yuh Evan Chang

Bor-Yuh Evan Chang

University of Colorado Boulder