E-LIB Suche - Ergebnisse für: Six, Cyril

1

Formally verified superblock scheduling:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain... - p. 40-54 , 2022

Link: https://dl.acm.org/doi/1..

2

Formally Verified Loop-Invariant Code Motion and Assorted O..:

Monniaux, David ; Six, Cyril
ACM Transactions on Embedded Computing Systems. 22 (2022) 1 - p. 1-27 , 2022

Link: https://doi.org/10.1145/..

3

Simple, light, yet formally verified, global common subexpr..:

, In: Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems,

Monniaux, David ; Six, Cyril - p. 85-96 , 2021

Link: https://dl.acm.org/doi/1..

4

Certified and efficient instruction scheduling: application..:

Six, Cyril ; Boulmé, Sylvain ; Monniaux, David
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

5

Certified and efficient instruction scheduling: application..:

Six, Cyril ; Boulmé, Sylvain ; Monniaux, David
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

6

Formally Verified Superblock Scheduling:

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503679. , 2022

Link: https://hal.science/hal-..

7

Formally Verified Superblock Scheduling:

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503679. , 2022

Link: https://hal.archives-ouv..

8

Formally Verified Loop-Invariant Code Motion and Assorted O..:

Monniaux, David ; Six, Cyril
info:eu-repo/semantics/altIdentifier/doi/10.1145/3529507. , 2022

Link: https://hal.science/hal-..

9

Formally Verified Superblock Scheduling:

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503679. , 2022

Link: https://hal.science/hal-..

10

Formally Verified Loop-Invariant Code Motion and Assorted O..:

Monniaux, David ; Six, Cyril
info:eu-repo/semantics/altIdentifier/doi/10.1145/3529507. , 2022

Link: https://hal.science/hal-..

11

Formally Verified Superblock Scheduling:

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503679. , 2022

Link: https://hal.archives-ouv..

12

Formally Verified Superblock Scheduling:

Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503679. , 2022

Link: https://hal.science/hal-..

13

Simple, Light, Yet Formally Verified, Global Common Subexpr..:

Monniaux, David ; Six, Cyril
info:eu-repo/semantics/altIdentifier/doi/10.1145/3461648.3463850. , 2021

Link: https://hal.archives-ouv..

14

Optimized and formally-verified compilation for a VLIW proc..:

Six, Cyril
NNT: 2021GRALM025. , 2021

Link: https://hal.science/tel-..

15

Optimized and formally-verified compilation for a VLIW proc..:

Six, Cyril
NNT: 2021GRALM025. , 2021

Link: https://hal.archives-ouv..