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 2017 Keynote: the Next 40 years of Abstract Interpretation
VMCAI 2017 Committee Member in Steering Committee
POPL 2017 40 Years of Abstract Interpretation — An Interview with Patrick Cousot
Ogre and Pythia, An invariance proof method for weak consistency models
Show activities from other conferences

POPL 2017-profile
View general profile