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