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