![Benjamin Bonneau](https://pldi24.sigplan.org/getProfileImage/benjaminbonneau1/6df7543c-3ffb-4708-9c62-81773dba48d5/small.jpg?1720987562000)
Registered user since Thu 25 Jan 2024
Name:Benjamin Bonneau
Bio:
phd student at Verimag
Country:France
Affiliation:Verimag
GitHub: https://github.com/857b
Research interests:Compilation, Program verification
Contributions
PLDI 2024-profile
View general profile
View general profile