monniaux
Articles de cet auteur
(un)decidability of polyhedral invariant inference
mercredi 31 août 2022
Prix de l’épreuve du temps pour l’outil CADP
dimanche 17 septembre 2023
Abstract interpretation and decision procedures
vendredi 16 octobre 2015
Certified compilation for security
mercredi 1er septembre 2021
Code analysis for vulnerability detection
vendredi 16 octobre 2015
Experienced engineer wanted (compiler frontend / GUIs)
jeudi 8 août 2013
Junior professorship chair on verifiable / explainable artificial intelligence
mardi 14 mai 2024
Junior research professorship on cybersecurity at the software-hardware boundary
dimanche 24 mars 2024
KALRAY-CompCert
mardi 6 juillet 2021
Measures against speculative attacks in a certified optimizing compiler
jeudi 12 octobre 2023
Mjollnir
mardi 15 mai 2012
Pagai
mardi 15 mai 2012
PhD subject : combinations of Boolean reasoning and parametric linear programming
jeudi 15 septembre 2016
Poste de maître de conférences VERIMAG / UFR IM2AG
dimanche 7 mai 2023
Poste de professeur des universités (section 27)
mercredi 24 avril 2024
Proofs of correctness using Coq
vendredi 16 octobre 2015
Security counter-measures in a certified optimizing compiler
jeudi 12 octobre 2023
Security properties evaluation
vendredi 16 octobre 2015
STATOR
dimanche 31 décembre 2017
the Chamois CompCert Compiler
mardi 20 octobre 2020
VERASCO
vendredi 1er janvier 2016
Verification by automata and acceleration-based approaches
vendredi 16 octobre 2015
verified decomposition of arithmetic operators
mercredi 31 août 2022
Verified global value numbering
mercredi 31 août 2022
Verified hash tables and hash-consing
jeudi 12 octobre 2023
[Funded PhD/PostDoc] Countermeasures to (transient) Side-Channel Attacks in a Formally Verified Compiler
lundi 25 mars 2030
[funded PhD] avanced static analysis techniques
vendredi 1er novembre 2013
[M2R 2012-2013] Analyse de programme efficace : SMT-solving et itérations
mardi 1er janvier 2013
[M2R 2012-2013] Analyse modulaire de programmes
mardi 1er janvier 2013
[M2R 2012-2013] Annotation automatique de préconditions, application à la compilation optimisante
vendredi 1er février 2013
[M2R 2012-2013] Borner le temps maximum d’exécution par analyse statique
mercredi 10 octobre 2012
[M2R 2012-2013] Calcul de pire temps d’exécution en présence de caches
vendredi 1er février 2013
[M2R 2012-2013] Contraintes non linéaires
vendredi 1er février 2013
[M2R 2012-2013] Décision de formules contenant des flottants
vendredi 1er février 2013
[M2R 2012-2013] Optimisation de formules SMT
vendredi 1er février 2013
[M2R 2012-2013] Preuve de programmes avec des structures de données
mercredi 13 février 2013
[M2R 2012-2013] Programmation linéaire modulo disjonctions
vendredi 1er février 2013
[master or PhD] Convex polyhedra in floating point
jeudi 1er septembre 2022
[master/PhD] Formally verified optimizations for safety-critical embedded code
mercredi 15 novembre 2023
[master/PhD] Static analysis of “pseudo-LRU” caches
mercredi 15 novembre 2023
[master] Algorithmes d’ordonnancement ou d’allocation de registres dans un compilateur formellement vérifié
jeudi 31 août 2023
[master] automatic insertion of countermeasures in a verified compiler
mercredi 31 août 2022
[master] formally verified hash-consing
mercredi 31 août 2022
[Postdoc positions] Coq Developments
mercredi 16 octobre 2019
[postdoc] Advanced static analysis
mardi 6 août 2013
