Recent & Upcoming Talks
56 talks
2026
ECOOP, Brussels
ECOOP Academy, Brussels
Mopsa-C at SV-Comp 2026 . SV-Comp @ ETAPS 2026, Torino
SV-Comp @ ETAPS 2026, TorinoSV-Comp @ ETAPS 2026, Torino
AnalyzeThat (ETAPS 2026), Torino
AnalyzeThat (ETAPS 2026), Torino
2025
CODE beyond FAIR: towards sustainable research software . Invited Presentation for Software Heritage Ambassadors, Online
Invited Presentation for Software Heritage Ambassadors, OnlineMultilanguage Static Analysis of Python/C Programs with Mopsa . Invited AWS Tech Talk, Online
Invited AWS Tech Talk, OnlineTry-Mopsa: Relational Static Analysis in Your Pocket . Dagstuhl Seminar, Schloss Dagstuhl
Dagstuhl Seminar, Schloss DagstuhlFormal methods for public administrations . COST proposal discussion, Lille
COST proposal discussion, LilleThe Mopsa static analysis platform, and our quest to ease implementation & maintenance . Dagstuhl Seminar, Schloss Dagstuhl
Dagstuhl Seminar, Schloss DagstuhlThe Mopsa static analysis platform, and our quest to ease implementation & maintenance . CUPLV Seminar, Online (Colorado Boulder)
CUPLV Seminar, Online (Colorado Boulder)How static program analysis can help trusting Python programs . InCyber International CyberSecurity Forum, Lille
InCyber International CyberSecurity Forum, LilleMopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution) . SV-Comp Meeting, Frauenchiemsee
SV-Comp Meeting, FrauenchiemseeThe Mopsa static analysis platform, and our quest to ease implementation & maintenance . ConVeY Seminar, TUM
ConVeY Seminar, TUMThe Mopsa static analysis platform, and our quest to ease implementation & maintenance . Prosecco Team Seminar, Paris
Prosecco Team Seminar, ParisVMCAI 2026, Rennes
2024
GT LVP, Irif, Paris
An Overview of Automated Program Analysis . CRIStAL’s CyberSecurity Seminar, Lille
CRIStAL’s CyberSecurity Seminar, LilleAntique Team Seminar, Paris
Mopsa tutorial . Lipari Summer School on Abstract Interpretation, Lipari, Italy
Lipari Summer School on Abstract Interpretation, Lipari, ItalyEasing implementation and maintenance of academic static analyzers . CSV (Challenges in Software Verification), Venice, Italy
CSV (Challenges in Software Verification), Venice, ItalyFormalizing Date Arithmetic and Statically Detecting Ambiguities for the Law . ESOP 2024, Luxembourg
ESOP 2024, LuxembourgMopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution) . TACAS 2024 – SV-Comp, Luxembourg
TACAS 2024 – SV-Comp, LuxembourgETAPS Mentoring Workshop, Luxembourg
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law . Épicure seminar, IRISA
Épicure seminar, IRISA2023
A Multilanguage Static Analysis of Python/C Programs with Mopsa . Dagstuhl 23281, Schloss Dagstuhl
Dagstuhl 23281, Schloss DagstuhlMopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) . TACAS 2023 – SV-Comp, Paris
TACAS 2023 – SV-Comp, ParisFrom Python to the Income Tax Code: Applying Formal Methods to Real-World Systems . CS Dept. Seminar, ENS Paris
CS Dept. Seminar, ENS ParisThe Mopsa static analysis framework and its participation at SV-Comp 2023 . 30 minutes of science, Inria Lille
30 minutes of science, Inria LilleMopsa at the Software Verification Competition . Inria ProgLang day, ENS Paris
Inria ProgLang day, ENS Paris2022
A Multilanguage Static Analysis of Python/C Programs with Mopsa . , Software Languages Lab, Vrije Universiteit Brussels
, Software Languages Lab, Vrije Universiteit BrusselsFormal methods for realistic systems: a study of two cases . , LIP, ENS de Lyon
, LIP, ENS de LyonA Multilanguage Static Analysis of Python/C Programs with Mopsa . SRG Seminar, Imperial College, London
SRG Seminar, Imperial College, LondonStatic Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries . MTV Seminar, LaBRI, Bordeaux
MTV Seminar, LaBRI, BordeauxA Multilanguage Static Analysis of Python/C Programs with Mopsa . SyCoMoRES Seminar, CRIStAL, Lille
SyCoMoRES Seminar, CRIStAL, Lille2021
A Modern Compiler for the French Tax Code . IRILL Seminar, IRILL, Sorbonne Université, Paris
IRILL Seminar, IRILL, Sorbonne Université, ParisFacebook TAV Symposium, Virtual
Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries . CASH Seminar, LIP, Lyon
CASH Seminar, LIP, LyonA Multilanguage Static Analysis of Python/C Programs with Mopsa . Binsec Seminar, Virtual
Binsec Seminar, VirtualA Multilanguage Static Analysis of Python/C Programs with Mopsa . Celtique Seminar, INRIA Rennes
Celtique Seminar, INRIA RennesA Multilanguage Static Analysis of Python Programs with Native C Extensions . SAS 2021, Virtual (Covid-19)
SAS 2021, Virtual (Covid-19)A Multilanguage Static Analysis of Python Programs with Native C Extensions, 20 minutes . Axe Sécurité, Sûreté, Fiabilité du LIP6, LIP6, Sorbonne Université & CNRS
Axe Sécurité, Sûreté, Fiabilité du LIP6, LIP6, Sorbonne Université & CNRSMlang: an Open-Source Toolchain for the Income Tax Computation, 15 minutes . JFLA 2021, Virtual (Covid-19)
JFLA 2021, Virtual (Covid-19)Mopsa, a Multi-lingual Static Analysis Platform, 20 minutes . Groupe de travail LVP du GdR GPL, Virtual (Covid-19)
Groupe de travail LVP du GdR GPL, Virtual (Covid-19)A Modern Compiler for the French Tax Code . CC 2021, Virtual (Covid-19)
CC 2021, Virtual (Covid-19)2020
Static Type Analysis by Abstract Interpretation of Python Programs . ECOOP 2020, Virtual (Covid-19)
ECOOP 2020, Virtual (Covid-19)SOAP, Online
JFLA 2020, Gruissan
2019
Séminaire Gallium, Inria Paris
Static Type Analysis of Python Programs: A Type Abstract Domain for Python . Doctoral Symposium, Formal Methods 2019, Porto, Portugal
Doctoral Symposium, Formal Methods 2019, Porto, PortugalSemantics & Static Type Analysis of Python Programs . EDITE Day 2019, Sorbonne Université, Paris, France
EDITE Day 2019, Sorbonne Université, Paris, France2018
No matching entries. Try changing or clearing the filters.