Patrick Cousot - PEPM 2017

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Registered user since Tue 22 Jan 2019

Name:Patrick Cousot

Affiliation:New York University

Contributions

2017

POPL

N40AI

Keynote: the Next 40 years of Abstract Interpretation

VMCAI

Committee Member in Steering Committee

Show activities from other conferences

POPL 2017-profile
View general profile