![Samuel Vivien](https://conf.researchr.org/getProfileImage/samuelvivien/95f92285-4546-4f64-b055-0053fb71cdcd/small.jpg?1737559375000)
Registered user since Fri 7 Apr 2023
Name:Samuel Vivien
Country:France
Affiliation:École Normale Supérieure, PSL & Chalmers University of Technology Sweden
GitHub: https://github.com/samsa1
Research interests:Compilers & Formal methods
Contributions
PLDI 2023-profile
View general profile
View general profile