Cyril Six

Statistics

Publications

Citations

H-Index

Active since

2020

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut polytechnique de Grenoble

Université Grenoble Alpes

Verimag

Cyril Six is an author at Centre National de la Recherche Scientifique specializing in computer engineering, parallel computing, and hardware security.

ORCID

Top concepts

CompilersEngineeringFormal MethodsComputer ScienceProgram AnalysisHardware SecurityParallel ComputingComputer EngineeringParallel ProgrammingSoftware Engineering

Publications per year

2020–2022

Publications

Certified and efficient instruction scheduling: application to interlocked VLIW processors

Cyril Six, Sylvain Boulmé, David Monniaux · Proceedings of the ACM on Programming Languages · 2020 · 16 citations · Full text

Engineering, Compcert Backend, Compiler Technology +21

Formally verified superblock scheduling

Cyril Six, Léo Gourdin, Sylvain Boulmé et al. · 2022 · 11 citations · Full text

1–2 of 2