Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sylvain Boulmé
conf.researchr.org general profile
POPL 2022 profile
SPLASH 2020 profile
Registered user since Wed 16 Sep 2020
Name:
Sylvain Boulmé
Affiliation:
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
Contributions
PriSC 2022
Author of A CompCert backend with symbolic encryption within the PriSC 2022-track
CPP 2022
Author of Formally Verified Superblock Scheduling within the CPP 2022-track
SPLASH 2020
Author of Certified and efficient instruction scheduling and application to interlocked VLIW processors within the OOPSLA Artifacts-track
Author of Certified and Efficient Instruction Scheduling within the Posters-track
Session Chair of R-4 (part of OOPSLA)
Author of Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors within the OOPSLA-track
Share
x
Wed 25 May 03:19