conf.researchr.org / Cyril Six

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