We stand with Ukraine  

Cyril Six

Orcid: 0000-0003-4079-5488

According to our database1, Cyril Six authored at least 5 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Formally Verified Loop-Invariant Code Motion and Assorted Optimizations.
[BibTeX]
[DOI]
David Monniaux
,
Cyril Six
ACM Trans. Embed. Comput. Syst., 2023

2022
Formally verified superblock scheduling.
[BibTeX]
[DOI]
Cyril Six
,
Léo Gourdin
,
Sylvain Boulmé
,
David Monniaux
,
Justus Fasse
,
Nicolas Nardino
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021
Compilation optimisante et formellement prouvée pour un processeur VLIW.
[BibTeX]
[DOI]
Cyril Six
PhD thesis, 2021

Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion.
[BibTeX]
[DOI]
David Monniaux
,
Cyril Six
Proceedings of the LCTES '21: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, 2021

2020
Certified and efficient instruction scheduling: application to interlocked VLIW processors.
[BibTeX]
[DOI]
Cyril Six
,
Sylvain Boulmé
,
David Monniaux
Proc. ACM Program. Lang., 2020


  Loading...