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

Registered user since Tue 22 Jan 2019

Name: Patrick Cousot

Affiliation: New York University

Contributions

N40AI 2017Presenter of Keynote: the Next 40 years of Abstract Interpretation within the Next 40 years of Abstract Interpretation-track
VMCAI 2017Committee Member in Steering Committee
POPL 2017Speaker of 40 Years of Abstract Interpretation — An Interview with Patrick Cousot within the POPL-track
Author of Ogre and Pythia, An invariance proof method for weak consistency models within the POPL-track
Show activities from other conferences

POPL 2017-profile
View general profile