boulme
Send a private message to this author
Articles by this author
VPL (Verimag/Verified Polyhedron Library)
Tuesday 20 October 2020
KALRAY-CompCert
Tuesday 6 July 2021
SatAns-Cert
Tuesday 20 October 2020
the Chamois CompCert Compiler
Tuesday 20 October 2020
The Impure Library
Friday 9 October 2020
The VPL Tactic
Tuesday 20 October 2020
[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié
Thursday 20 March 2025
[L3/M1/M2 Internship] Topics in Formally Verified Compilation
Wednesday 1 June 2022
[Postdoc positions] Coq Developments
Wednesday 16 October 2019
