Patrick Cousot

Registered user since Tue 22 Jan 2019

Name:Patrick Cousot

Contributions

VMCAI 2022 PC Member in Program Committee within the VMCAI 2022-track
SOAP 2021 Author of [Invited talk] Dynamic abstract interpretation within the SOAP 2021-track
Invited Speaker in Invited Speakers within the SOAP 2021-track
LPOP 2020 Panelist of Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? within the LPOP 2020-track
Author of Logic in Program Analysis and Verification within the LPOP 2020-track
SAS 2020 Session Chair of 3 (part of SAS)
Committee Member in Program Committee within the SAS-track
Session Chair of 5 (part of SAS)
Session Chair of 1 (part of SAS)
VMCAI 2020 Steering Committee Member in Steering Committee within the VMCAI 2020-track
ETAPS 2019 Author of Calculational design of a static dependency analysis within the Mooly Fest-track
POPL 2019 Author of A^2 I: Abstract^2 Interpretation within the Research Papers-track
SOAP 2018 Committee Member in Program Committee within the SOAP-track
VMCAI 2018 Session Chair of Abstract Interpretation (part of VMCAI 2018)
Committee Member in Program Committee within the VMCAI 2018-track
N40AI 2017 Presenter of Keynote: the Next 40 years of Abstract Interpretation within the Next 40 years of Abstract Interpretation-track
VMCAI 2017 Committee Member in Steering Committee
POPL 2017 Speaker 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
VMCAI Committee Member in Steering Committee
SPLASH 2012 Author of A semantic integrated development environment within the Demos-track
Author of An abstract interpretation framework for refactoring with application to extract methods with contracts within the OOPSLA Research Papers-track