David Monniaux

La Recherche, 2026, 585

La Recherche, 2026

The Conversation France, 2025

La Recherche, 2024, 578

International Journal on Software Tools for Technology Transfer, 2024, 26 (4), pp.463-477. ⟨10.1007/s10009-024-00760-3⟩

Proceedings of the ACM on Programming Languages, 2023, 7 (OOPSLA2), pp.59-88. ⟨10.1145/3622799⟩

ACM Transactions on Embedded Computing Systems (TECS), 2022, 22 (1), pp.#3 1-27. ⟨10.1145/3529507⟩

Formal Methods in System Design, 2022, 59 (1-3), pp.1-20. ⟨10.1007/s10703-022-00392-w⟩

Concurrency and Computation: Practice and Experience, 2021, 33 (6), pp.e6050. ⟨10.1002/cpe.6050⟩

Proceedings of the ACM on Programming Languages, 2020, OOPSLA 2020, pp.129. ⟨10.1145/3428197⟩

Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.#54. ⟨10.1145/3290367⟩

Acta Informatica, 2019, 56 (4), pp.385-389. ⟨10.1007/s00236-018-0324-y⟩

Journal of the ACM (JACM), 2019, 66 (6), pp.41. ⟨10.1145/3366018⟩

Archives de politique criminelle, 2016, Terrorismes, 38, pp.123-135. ⟨10.3917/apc.038.0123⟩

Journal of Automated Reasoning, 2014, 53 (3), pp.271-304. ⟨10.1007/s10817-014-9306-0⟩

Logical Methods in Computer Science, 2012, Volume 8, Issue 3, ⟨10.2168/LMCS-8(3:29)2012⟩

Quadrature, 2012, 86, pp.17-28

Electronic Notes in Theoretical Computer Science, 2012, Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2011, 288, pp.61-74. ⟨10.1016/j.entcs.2012.10.008⟩

Logical Methods in Computer Science, 2010, 6 (3), pp.4. ⟨10.2168/LMCS-6(3:4)2010⟩

Higher-Order and Symbolic Computation, 2009, 22 (2), pp.145-154. ⟨10.1007/s10990-009-9046-8⟩

ACM Transactions on Programming Languages and Systems (TOPLAS), 2008, 30 (3), pp.12. ⟨10.1145/1353445.1353446⟩

Science of Computer Programming, 2005, 58, pp.179-205. ⟨10.1016/j.scico.2005.02.008⟩

2nd conference on Undone Science in Computer Science, Université du Luxembourg, Mar 2026, Esch-sur-Alzette, Luxembourg

International Conference on Embedded Software (EMSOFT), IEEE; ACM, Oct 2026, Barcelona, Spain

35th European Symposium on Programming (ESOP 2026), Apr 2026, Torino, Italy. pp.94-124, ⟨10.1007/978-3-032-22723-2_4⟩

36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France

InCyber, Apr 2025, Lille, France

14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP’25), Jan 2025, Denver (CO), United States. ⟨10.1145/3703595.3705880⟩

Journée LVP 2024, CNRS, Nov 2024, Paris, France

Certified Programs and Proofs 2024, Brigitte Pientka; Sandrine Blazy; Amin Timany; Dmitriy Traytel, Jan 2024, London, United Kingdom. ⟨10.1145/3636501.3636952⟩

35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France

10th Workshop on Horn Clauses for Verification and Synthesis (HCVS), Apr 2023, Paris, France. ⟨10.4204/EPTCS.402⟩

Tests and Proofs (TAP 2023), Jul 2023, Leicester, United Kingdom. pp.40-48, ⟨10.1007/978-3-031-38828-6_3⟩

Challenges of Software Verification Symposium 2023, Università Ca' Foscari Venezia, May 2023, Venezia, Italy

FMCAD 2022, Oct 2022, Trente, Italy. ⟨10.34727/2022/isbn.978-3-85448-053-2⟩

Fête de la science, CNRS, Oct 2023, Grenoble, France

Tribulations savantes, Université Grenoble Alpes, May 2023, Grenoble, France

GdR sécurité GT MFS 2023 (2023 Annual Meeting of the WG "Formal Methods for Security"), CNRS, Mar 2023, Roscoff, France

Journée thématique du club des partenaires sur le RISC-V, Thalès + CNRS GDR SoC², Sep 2023, Palaiseau, France

Programming Languages and Systems (ESOP 2022), Apr 2022, Munich, Germany. pp.204-233, ⟨10.1007/978-3-030-99336-8_8⟩

Journées nationales du GDR GPL 2022, CNRS, Jun 2022, Vannes, France

2022 IEEE 29th Symposium on Computer Arithmetic (ARITH), Sep 2022, Lyon, France. pp.128-132, ⟨10.1109/ARITH54963.2022.00032⟩

Journées nationales du GDR GPL 2022, CNRS, Jun 2022, Vannes, France

Certified Programs and Proofs (CPP ’22), Jan 2022, Philadelphia, United States. pp.40-54, ⟨10.1145/3497775.3503679⟩

Colloqium LORIA 2024 - Day on citizen trust and informatics – DigiTrust – OLKi, LORIA; Enka Blanchard; Aurore Coince; Maïra NASSAU, Nov 2021, Nancy, France

Languages, Compilers, Tools and Theory of Embedded Systems (LCTES), ACM, Jun 2021, online, Canada. pp.85-96, ⟨10.1145/3461648.3463850⟩

Conférence francophone d'informatique en Parallélisme, Architecture et Système, CC-IN2P3; LIP, Jul 2021, Lyon, France

3rd RISC-V Meeting, RISC-V Summit Europe, Mar 2021, Grenoble, France

SAS 2021 - 28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.215-235, ⟨10.1007/978-3-030-88806-0_11⟩

6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR), Aug 2020, Vienna (virtual), Austria

Static Analysis (SAS 2019), Oct 2019, Porto, Portugal. pp.203-224, ⟨10.1007/978-3-030-32304-2_11⟩

International conference on computational science, Jun 2019, Faro, Portugal. pp.566-572, ⟨10.1007/978-3-030-22750-0_52⟩

Euromicro conference on real-time systems (ECRTS), Euromicro; Arne Hamann; Dirk Ziegenbein, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.0⟩

25th Static Analysis Symposium (SAS 2018), Aug 2018, Freiburg im Breisgau, Germany. pp.127-145, ⟨10.1007/978-3-319-99725-4_10⟩

20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Universitatea de Vest din Timișoara, Sep 2018, Timișoara, Romania. pp.9-17, ⟨10.1109/SYNASC.2018.00014⟩

24th International Static Analysis Symposium (SAS), Francesco Ranzato; Patrick Cousot, Aug 2017, New York City, United States. ⟨10.1007/978-3-319-66706-5_2⟩

Computer Aided Verification - 29th International Conference, Rupak Majumdar; Viktor Kuncak, Jul 2017, Heidelberg, France. pp.20 - 40, ⟨10.1007/978-3-319-63390-9_2⟩

Static Analysis Symposium (SAS), Francesco Ranzato, Aug 2017, New York, United States

Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. ⟨10.1007/978-3-319-45641-6_26⟩

10th Junior Researcher Workshop on Real-Time Computing, Oct 2016, Brest, France

12th International Haifa Verification Conference (HVC), Nov 2016, Haifa, Israel. pp.169-185, ⟨10.1007/978-3-319-49052-6_11⟩

23rd Static Analysis Symposium (SAS 2016), Sep 2016, Edimbourg, United Kingdom. pp.361-382, ⟨10.1007/978-3-662-53413-7_18⟩

International Conference on Verification, Model Checking, and Abstract Interpretation 2016, Barbara Jobstmann; Rustan Leino, Jan 2016, St. Petersburg, United States. ⟨10.1007/978-3-662-49122-5_8⟩

Verification, Model Checking, and Abstract Interpretation (VMCAI), Jan 2016, Saint Petersburg, Florida, United States. pp.127-146, ⟨10.1007/978-3-662-49122-5_6⟩

Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩

22nd International Static Analysis Symposium (SAS), Sep 2015, Saint-Malo, France. pp.217-234, ⟨10.1007/978-3-662-48288-9_13⟩

ACM/SIGAPP Symposium On Applied Computing, Apr 2015, Salamanca, Spain. pp.1745-1750, ⟨10.1145/2695664.2695784⟩

Static analysis, Sep 2014, Munich, Germany. pp.253-267, ⟨10.1007/978-3-319-10936-7_16⟩

ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, Jun 2014, Edimbourg, United Kingdom. pp.1-10

Interactive Theorem Proving, 4th international conference, Jul 2013, Rennes, France. pp.477-483, ⟨10.1007/978-3-642-39634-2_36⟩

20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩

10th International Workshop on Satisfiability Modulo Theories, Jun 2012, Manchester, United Kingdom. pp.6, ⟨10.29007/8cf7⟩

Tools for Automatic Program AnalysiS (TAPAS 2012), Sep 2012, Deauville, France. pp.3, ⟨10.1016/j.entcs.2012.11.003⟩

Static analysis symposium (SAS), Sep 2012, Deauville, France. pp.283-299, ⟨10.1007/978-3-642-33125-1_20⟩

PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning, Jun 2012, Manchester, United Kingdom. pp.19-28, ⟨10.29007/j7x4⟩

European symposium on programming (ESOP 2011), Mar 2011, Saarbrücken, Germany. pp.236-255, ⟨10.1007/978-3-642-19718-5_13⟩

Asian symposium on programming languages and systems (APLAS), Dec 2011, Kenting, Taiwan. pp.19-33, ⟨10.1007/978-3-642-25318-8_5⟩

Static analysis symposium (SAS), Sep 2011, Venezia, Italy. pp.369-385, ⟨10.1007/978-3-642-23702-7_27⟩

Interactive Theorem Proving, Aug 2011, Nijmegen, Netherlands. pp.249-264, ⟨10.1007/978-3-642-22863-6_19⟩

CAV 2010, Jul 2010, Edimburgh, United Kingdom. pp.585-599, ⟨10.1007/978-3-642-14295-6_51⟩

POPL 2009, 36th annual ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, Jan 2009, Savannah, Georgia, United States. pp.140-151, ⟨10.1145/1594834.1480899⟩

Computer-aided verification (CAV 2009), Jun 2009, Grenoble, France. pp.570-583, ⟨10.1007/978-3-642-02658-4_42⟩

LPAR ( Logic for Programming, Artificial Intelligence, and Reasoning), Nov 2008, Doha, Qatar. pp.243-257, ⟨10.1007/978-3-540-89439-1_18⟩

14th International Static Analysis Symposium (SAS 2007), 2007, Kongens Lyngby, Denmark. pp.104-120, ⟨10.1007/978-3-540-74061-2_7⟩

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), Jun 2007, Shanghai, China. pp.3-20, ⟨10.1109/TASE.2007.55⟩

International Conference On Embedded Software (EMSOFT), Sep 2007, Salzburg, Austria. pp.30 - 36, ⟨10.1145/1289927.1289937⟩

the 11th Annual Asian Computing Science Conference - ASIAN'06, Okada, Mitsu and Satoh, Ichir, Dec 2006, Tokyo, Japan. pp.272-300, ⟨10.1007/978-3-540-77505-8_23⟩

2005, pp.86-96, ⟨10.1007/11575467_7⟩

2005, pp.199, ⟨10.1007/11513988_21⟩

2005, pp.21, ⟨10.1007/b107380⟩

2003, pp.196 - 207, ⟨10.1145/781131.781153⟩

2001, pp.93 - 101, ⟨10.1145/360204.360211⟩

RISC-V Summit Europe 2023, Jun 2023, Barcelona, Spain

Mokrane Bouzeghoub; Michel Daydé; Christian Jutten. Le calcul à découvert, CNRS Éditions, 2025, 978-2-271-15373-9

Vincenzo Arceri; Agostino Cortesi; Pietro Ferrara; Martina Olliaro. Challenges of Software Verification, 238, Springer Nature Singapore, pp.93-108, 2023, Intelligent Systems Reference Library, 978-981-19-9600-9. ⟨10.1007/978-981-19-9601-6_6⟩

Gilles Rouet. Algorithmes et décisions publiques, CNRS Éditions, 2019, 978-2-271-12466-1. ⟨10.4000/books.editionscnrs.46122⟩

Mogensen, T. and Schmidt, D.A. and Sudborough, I.H. The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, 2566, Springer, pp.85-108, 2002, Lecture Notes in Computer Science, ⟨10.1007/3-540-36377-7_5⟩

2026, ⟨10.64628/AAK.yaycvq3vf⟩

2018

2026

2026

2022

2010

2009

2009

2005

[Research Report] RR-9408, Inria Grenoble Rhône-Alpes; VERIMAG UMR 5104, Université Grenoble Alpes, France; LIP - Laboratoire de l’Informatique du Parallélisme; Université Lyon 1 - Claude Bernard; ENS Lyon. 2021, pp.1-29

[Internship report] ENS Lyon. 2016

Software Engineering [cs.SE]. Université Paris Dauphine - Paris IX, 2001. English. ⟨NNT : ⟩

Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2009

École thématique. European joint conferences on theory and practice of software - Invited tutorial, Luxembourg, Luxembourg. 2024

Engineering school. Le Kremlin-Bicêtre, France. 2022

École d'ingénieur. Vaulx en Velin, France. 2022

Doctoral. En ligne, Russia. 2022

2024

2024, ⟨swh:1:dir:3d6edc4eb44188275528710f67e46d711a55f3d9;origin=https://hal.archives-ouvertes.fr/hal-04749015;visit=swh:1:snp:a99f137fe7e250d0df845a6370a663212effeacf;anchor=swh:1:rel:40e9091218e645b81affcd664bd6813f95a2b1e3;path=/⟩

2024

2022, ⟨swh:1:dir:c27fbd27ad4d26ff8f1ab8ca911349793f118f27;origin=https://hal.archives-ouvertes.fr/hal-04247158;visit=swh:1:snp:edf305d95bbf42bf523a70c51083e3a8258a8d2b;anchor=swh:1:rel:e1876e56dd5aece8a8665acb4ee643e1989804f5;path=/⟩

Verification, Model Checking, and Abstract Interpretation (VMCAI), 10145, Springer, 2017, 978-3-319-52233-3. ⟨10.1007/978-3-319-52234-0⟩

Electronic Proceedings in Theoretical Computer Science, 402, 2024, ⟨10.4204/EPTCS.402⟩

2025

2018