POPL 2017 (series) / N40AI 2017 (series) /
N40AI 2017 Program
This is the N40AI 2017 program - see the full program for POPL 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
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
08:45 - 09:00 | |||
08:45 15mDay opening | Opening N40AI | ||
09:00 - 10:00 | |||
09:00 30mTalk | Abstract Interpretation in Absint N40AI Christian Ferdinand AbsInt | ||
09:30 30mTalk | Abstract Interpretation in Facebook N40AI Francesco Logozzo Facebook | ||
10:30 - 12:00 | |||
10:30 30mTalk | Abstract Interpretation in Amazon N40AI Byron Cook Amazon | ||
11:00 30mTalk | Abstract Interpretation at Galois N40AI Aaron Tomb Galois, Inc. | ||
11:30 30mTalk | Systems biology N40AI Vincent Danos ENS Paris/CNRS | ||
14:00 - 15:30 | Security, Big Code and Synthesis N40AI at Amphitheater 44 Chair(s): Xavier Rival INRIA/CNRS/ENS Paris | ||
14:00 30mTalk | Security N40AI Michael Hicks University of Maryland at College Park, USA | ||
14:30 30mTalk | Big Code N40AI Bor-Yuh Evan Chang University of Colorado Boulder | ||
15:00 30mTalk | Program synthesis N40AI Eran Yahav Technion | ||
16:00 - 18:30 | System Verification and Patrick Cousot's KeynoteN40AI at Amphitheater 44 Chair(s): Francesco Ranzato University of Padova | ||
16:00 30mTalk | System verification N40AI Arie Gurfinkel University of Waterloo | ||
16:30 75mTalk | Keynote: the Next 40 years of Abstract Interpretation N40AI Patrick Cousot New York University | ||
17:45 45mSocial Event | Concrete Cheese and Wine N40AI | ||