POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 09:30 - 10:00 at Amphitheater 44 - Industrial Panel 1 Chair(s): Antoine Miné

Absint, Facebook, Amazon, Galois will present the state of the art in the use of Abstract Interpretation in software analysis and production. Invited speakers are: Christian Ferdinand, Francesco Logozzo, Byron Cook, and Aaron Tomb

I love static static program analysis. I’ve been designing and implementing widely used static analysis tools. I published papers in the most important research conferences and gave talks at main research and industrial conferences as e.g., Build.

Sat 21 Jan

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

09:00 - 10:00
Industrial Panel 1N40AI at Amphitheater 44
Chair(s): Antoine Miné UPMC, France
09:00
30m
Talk
Abstract Interpretation in Absint
N40AI
09:30
30m
Talk
Abstract Interpretation in Facebook
N40AI