@phdthesis{Six1,
title = { {Optimized and formally-verified compilation for a VLIW processor} },
author = {Six, Cyril},
month = {Jul},
year = {2021},
team = {axe_FormalProofs, axe_SharedResources, PACSS},
pdf = {https://hal.archives-ouvertes.fr/tel-03326923/file/thesis.pdf},
hal_id = {tel-03326923},
hal_version = {v1},
}