Patrick Cousot

Registered user since Tue 22 Jan 2019

Name: Patrick Cousot

Contributions

LPOP 2020Panelist 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 2020Session 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 2020Steering Committee Member in Steering Committee within the VMCAI 2020-track
ETAPS 2019Author of Calculational design of a static dependency analysis within the Mooly Fest-track
POPL 2019Author of A^2 I: Abstract^2 Interpretation within the Research Papers-track
SOAP 2018Committee Member in Program Committee within the SOAP-track
VMCAI 2018Session Chair of Abstract Interpretation (part of VMCAI 2018)
Committee Member in Program Committee within the VMCAI 2018-track
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
VMCAICommittee Member in Steering Committee
SPLASH 2012Author 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