boulme
Envoyer un message privé à cet auteur
Articles de cet auteur
VPL (Verimag/Verified Polyhedron Library)
mardi 20 octobre 2020
KALRAY-CompCert
mardi 6 juillet 2021
SatAns-Cert
mardi 20 octobre 2020
the Chamois CompCert Compiler
mardi 20 octobre 2020
The Impure Library
vendredi 9 octobre 2020
The VPL Tactic
mardi 20 octobre 2020
[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié
jeudi 20 mars 2025
[L3/M1/M2 Internship] Topics in Formally Verified Compilation
mercredi 1er juin 2022
[Postdoc positions] Coq Developments
mercredi 16 octobre 2019
