Benjamin Bonneau - ISMM 2024

Tue 25 Jun 2024 Copenhagen, Denmark

co-located with PLDI 2024

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

2024

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language

Show activities from other conferences

PLDI 2024-profile
View general profile