Josselin Giet -

Registered user since Wed 13 Sep 2023

Name:Josselin Giet

Country:France

Affiliation:Ecole Normale Supérieure

Personal website: https://www.di.ens.fr/~giet

GitHub: https://github.com/jogiet

Contributions

2023

Static Analysis Symposium

Author of A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best Paper Award) within the SAS 2023-track