
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 | PureCake: A Verified Compiler for a Lazy Functional Language | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2023-profile
View general profile
View general profile