• Sign in
  • Sign up
conf.researchr.org / Sylvain Boulmé
  • 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
xWed 25 May 03:19
using conf.researchr.org (v1.55.6)
Support page
Sign Up