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

Registered user since Wed 19 Aug 2020

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

Contributions

CPP 2022 Author of Formally Verified Superblock Scheduling within the CPP 2022-track
LCTES 2021 Author of Simple, Light, yet Formally Verified, Global Common Subexpression Elimination and Loop-invariant Code Motion within the LCTES 2021-track
SPLASH 2020 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
xThu 23 Mar 13:10
using conf.researchr.org (v1.59.1)
Support page
Sign Up