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
2026
Static Analysis Symposium
2025
Static Analysis Symposium
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