Registered user since Wed 16 Sep 2020
Name:Sylvain Boulmé
Affiliation:Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
Contributions
| CPP 2022 | Formally Verified Superblock Scheduling | ||||||||||||||||||||||||||||||||||||||||
| PriSC 2022 | A CompCert backend with symbolic encryption | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile