Registered user since Wed 16 Sep 2020

Name:Sylvain Boulmé
Affiliation:Grenoble Alps University / CNRS / Grenoble INP / VERIMAG

Contributions

PriSC 2022 A CompCert backend with symbolic encryption
CPP 2022 Formally Verified Superblock Scheduling
Show activities from other conferences

POPL 2022-profile
View general profile