Son Tuan Vu: Optimizing Property-Preserving Compilation. (Préservation des propriétés dans un flot de compilation optimisant). Sorbonne University, Paris, France 2021