conf.researchr.org / Caterina Urban
Registered user since Wed 17 Jun 2015
Name:Caterina Urban
Country:France
Affiliation:Inria - École Normale Supérieure
Personal website: https://caterinaurban.github.io
Research interests:Program Analysis, Abstract Interpretation, Programming Languages, Machine Learning, Data Science
Contributions
2024
NSAD
SPLASH
Static Analysis Symposium
N40AI
2023
Static Analysis Symposium
2022
SPLASH
- Student Research Competition Co-Chair in Organizers within the Student Research Competition-track
- Session Chair of SPLASH Posters (part of Posters)
- SAS Co-Chair in Organizing Committee
- Posters Co-Chair in Organizing Committee within the Posters-track
- Author of Reduced Products of Abstract Domains for Fairness Certification of Neural Networks within the COVID Time Papers In Person-track
- Student Research Competition Co-Chair in Organizing Committee
Static Analysis Symposium
- Session Chair of Keynote 3 (part of SAS)
- Session Chair of Keynote 1 (part of SAS)
- Presenter of PC Chairs Report within the SAS-track
- Session Chair of Keynote 2, Radhia Cousot Award, PC Chairs Report (part of SAS)
- Co-chair in Program Committee within the SAS-track
- Program Co-Chair in Organizing Committee
- Presenter of Radhia Cousot Award within the SAS-track