Caterina Urban

Registered user since Wed 17 Jun 2015

Name:Caterina Urban
Country:France
Affiliation:INRIA & École Normale Supérieure | Université PSL
Research interests:Program Analysis, Abstract Interpretation, Programming Languages, Machine Learning, Data Science

Contributions

SOAP 2022 Keynote Speaker of Static Analysis for Data Scientists within the SOAP 2022-track
Session Chair of Paper Session 1 (part of SOAP 2022)
SAS 2022 Co-chair in Program Committee within the SAS 2022 Papers-track
Program Co-Chair in Organizing Committee
PLDI 2022 Author of (OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks within the SIGPLAN Track-track
POPL 2022 Committee Member in Program Committee within the POPL-track
SAS 2021 Author of Reduced Products of Abstract Domains for Fairness Certification of Neural Networks within the SAS-track
SOAP 2021 Committee Member in Organizing Committee within the SOAP 2021-track
Session Chair of Session 2 (part of SOAP 2021)
Session Chair of Session 1 (part of SOAP 2021)
Author of Welcome from the chairs within the SOAP 2021-track
Author of Award and send-off within the SOAP 2021-track
SPLASH 2021 Student Research Competition Co-Chair in Organizers within the Student Research Competition-track
Student Research Competition Co-Chair in Organizing Committee
SPLASH 2022 Student Research Competition Co-Chair in Organizers within the Student Research Competition-track
SAS Co-Chair in Organizing Committee
Posters Co-Chair in Organizing Committee within the Posters-track
Student Research Competition Co-Chair in Organizing Committee
SAS 2020 Session Chair of 4 (part of SAS)
Committee Member in Program Committee within the SAS-track
SOAP 2020 Committee Member in Program Committee within the SOAP 2020-track
SPLASH 2020 Author of Perfectly Parallel Fairness Certification of Neural Networks within the OOPSLA-track
Author of Perfectly Parallel Fairness Certification of Neural Networks within the OOPSLA Artifacts-track
Committee Member in Reviewers/Judges within the Student Research Competition-track
VMCAI 2020 PC Member in Program Committee within the VMCAI 2020-track
VMCAI 2019 Committee Member in Program Committee within the VMCAI 2019-track
PLDI 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2018 Committee Member in Student Research Competition Committee
VMCAI Committee Member in Program Committee
SPLASH 2015 Committee Member in Organizing Committee within the Demos-track