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