Home
>
Topics
>
Formal Proofs
>
Jobs and Internships
>
Jobs and Internships
Jobs and Internships
Masters
[Master] Proved-Secure Compilation for RISC-V Processor
Jobs in the whole Verimag lab
New publications
Some Recent Publications (Preuves Formelles)
Sylvain Boulmé:
Construire des logiciels fiables
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes:
On Self-stabilizing Leader Election in Directed Networks
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Complexité certifiée d'algorithmes autostabilisants en rondes
Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard:
Formally Verifying Optimizations with Block Simulations
David Monniaux, Sylvain Boulmé:
Chamois: agile development of CompCert extensions for optimization and security
Léo Gourdin:
Lazy Code Transformations in a Formally Verified Compiler
David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel:
Testing a Formally Verified Compiler
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes:
Self-stabilizing Synchronous Unison in Directed Networks
Jobs and internships
Jobs and internships (Preuves Formelles)
[Master] Proved-Secure Compilation for RISC-V Processor
Browsing
Sections
Verimag
Topics
Shared Resources
ETiCS
Formal Proofs
Members
Projects
Partners
Ongoing Phd Thesis
Tools
Jobs and Internships
Publications
PACS
MOHYTOS
FETLAS
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 4.2.8
+
AHUNTSIC
[CC License]
info visites
3747035
English
Français