![Jérôme Boillot](https://pldi24.sigplan.org/getProfileImage/jeromeboillot/b15f1932-ae71-4ae6-95d8-5d97448854b1/small.jpg?1720987563000)
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
PLDI 2024-profile
View general profile
View general profile