Not registered as user yet

Name: Patrick Cousot

Affiliation: New York University

POPL 2017 Activities

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