conf.researchr.org / Sylvain Boulmé

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