Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Denis Mazzucato
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
NASA Formal Methods 2024 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Fri 17 Sep 2021
Name:
Denis Mazzucato
Affiliation:
INRIA & École Normale Supérieure
Contributions
2024
Static Analysis Symposium
Keynote Speaker of Quantitative Static Timing Analysis within the SAS 2024-track
ECOOP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
NFM
Author of Quantitative Input Usage Static Analysis within the NFM 2024-track
2023
Static Analysis Symposium
Committee Member in Artifact Evaluation Committee within the SAS 2023 Artifacts-track
2022
SPLASH
Author of Reduced Products of Abstract Domains for Fairness Certification of Neural Networks within the COVID Time Papers In Person-track
In-person student volunteer in Organizers within the Student Volunteers-track
Static Analysis Symposium
Committee Member in Artifact Evaluation Committee within the SAS 2022 Artifacts-track
2021
Static Analysis Symposium
Author of Reduced Products of Abstract Domains for Fairness Certification of Neural Networks within the SAS-track
Share
x
Wed 20 Nov 00:13