Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Patrick Cousot
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
ETAPS 2019 profile
PLDI 2021 profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2012 profile
SPLASH 2020 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Tue 22 Jan 2019
Name:
Patrick Cousot
Contributions
2025
POPL
Author of Calculational Design of Hyperlogics by Abstract Interpretation within the POPL-track
VMCAI
PC Member in Program Committee within the VMCAI 2025-track
2024
Static Analysis Symposium
Session Chair of Authorisation and responsibility (part of SAS 2024)
O'Hearn Fest
Author of Is Peter Correct or Incorrect? within the O'Hearn Fest-track
2023
Static Analysis Symposium
PC Member in Program Committee within the SAS 2023-track
2022
Static Analysis Symposium
Committee Member in Program Committee within the SAS-track
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
2021
SOAP
Author of [Invited talk] Dynamic abstract interpretation within the SOAP 2021-track
Invited Speaker in Invited Speakers within the SOAP 2021-track
2020
LPOP
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
Static Analysis Symposium
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
Steering Committee Member in Steering Committee within the VMCAI 2020-track
2019
ETAPS
Author of Calculational design of a static dependency analysis within the Mooly Fest-track
POPL
Author of A^2 I: Abstract^2 Interpretation within the Research Papers-track
2018
SOAP
Committee Member in Program Committee within the SOAP-track
VMCAI
Session Chair of Abstract Interpretation (part of VMCAI 2018)
Committee Member in Program Committee within the VMCAI 2018-track
2017
POPL
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
N40AI
Presenter of Keynote: the Next 40 years of Abstract Interpretation within the Next 40 years of Abstract Interpretation-track
VMCAI
Committee Member in Steering Committee
2016
VMCAI
Committee Member in Steering Committee
2012
SPLASH
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
Share
x
Mon 18 Nov 09:19
