• Sign in
  • Sign up
conf.researchr.org / Cyril Six
  • PLDI 2021 profile
  • POPL 2022 profile
  • SPLASH 2020 profile
No Photo

Registered user since Wed 19 Aug 2020

Name:Cyril Six
Affiliation:Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG

Contributions

2022

CPP

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

2021

LCTES

  • Author of Simple, Light, yet Formally Verified, Global Common Subexpression Elimination and Loop-invariant Code Motion within the LCTES 2021-track

2020

SPLASH

  • Author of Certified and Efficient Instruction Scheduling within the Posters-track
  • 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: Application to Interlocked VLIW Processors within the OOPSLA-track
Share
xSat 17 May 06:17
using conf.researchr.org (v1.69.0)
Support page
Sign Up