• Sign in
  • Sign up
conf.researchr.org / Sylvain Boulmé
  • POPL 2022 profile
  • POPL 2025 profile
  • SPLASH 2020 profile
  • SPLASH 2023 profile
  • STAF 2023 profile

Registered user since Wed 16 Sep 2020

Name:Sylvain Boulmé
Country:France
Affiliation:Université Grenoble Alpes - CNRS - Grenoble INP - Verimag

Contributions

2025

CPP

  • Author of Formally verified hardening of C programs against hardware fault injection within the CPP 2025-track

2023

SPLASH

  • Author of Formally Verifying Optimizations with Block Simulations within the OOPSLA-track

TAP

  • Author of Testing a Formally Verified Compiler within the Research Papers-track

2022

CPP

  • Author of Formally Verified Superblock Scheduling within the CPP 2022-track

PriSC

  • Author of A CompCert backend with symbolic encryption within the PriSC 2022-track

2020

SPLASH

  • 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
xSun 26 Oct 22:56
using conf.researchr.org (v1.72.1)
Support page
Sign Up