Registered user since Sun 7 May 2023
Name:Jérôme Boillot
Country:France
Affiliation:École Normale Supérieure, PSL University & INRIA
Personal website: https://jerome-boillot.com/
GitHub: https://github.com/jboillot
Research interests:Static Analysis, Abstract Interpretation
Contributions
SPLASH 2023-profile
View general profile
View general profile