Login / Signup
Cyril Six
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Motion Analysis
Projective Geometry
Wafer Fabrication
Project Scheduling
Top Venues
Proc. ACM Program. Lang.
CoRR
CPP
LCTES
</>
Publications
</>
David Monniaux
,
Cyril Six
Formally Verified Loop-Invariant Code Motion and Assorted Optimizations.
ACM Trans. Embed. Comput. Syst.
22 (1) (2023)
Cyril Six
,
Léo Gourdin
,
Sylvain Boulmé
,
David Monniaux
,
Justus Fasse
,
Nicolas Nardino
Formally verified superblock scheduling.
CPP
(2022)
David Monniaux
,
Cyril Six
Simple, Light, Yet Formally Verified, Global Common Subexpression Elimination and Loop-Invariant Code Motion.
CoRR
(2021)
David Monniaux
,
Cyril Six
Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion.
LCTES
(2021)
Cyril Six
,
Sylvain Boulmé
,
David Monniaux
Certified and efficient instruction scheduling: application to interlocked VLIW processors.
Proc. ACM Program. Lang.
4 (OOPSLA) (2020)