Cyril SIX

Cyril SIX has a diverse work experience spanning over several years. Cyril began their career in 2013 as an Ouvrier non qualifié at finso. In 2016, they served as a Research Engineer at Inria for a year. From 2018 to 2021, Cyril pursued their Ph.D. studies at Kalray, focusing on optimizing and formally verifying the CompCert compiler for a VLIW Processor. Cyril also developed a KV3 backend for the compiler and implemented various optimizations such as postpass basic-block scheduling, prepass superblock scheduling, loop-invariant code motion, loop rotation, and loop unrolling. Currently, Cyril works at Kalray as a Compiler Engineer, specializing in compiler optimizations and working on the LLVM backend.

Cyril SIX attended the National School of Computer Science and Applied Mathematics of Grenoble from 2014 to 2016. No degree or specific field of study was mentioned during this period.