Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cyril Six
conf.researchr.org general profile
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
x
Thu 23 Mar 13:10