Recent & Upcoming Talks

2024

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

Legal expert systems routinely rely on date computations to determine the eligibility of a citizen to social benefits or whether an …
14/11/24 GT LVP Irif, Paris
Slides

An Overview of Automated Program Analysis

This talk will present a brief overview of automated program analysis such as fuzzing, symbolic execution, and conservative static …
21/10/24 CRIStAL’s CyberSecurity Seminar Lille
Slides

Easing implementation and maintenance of academic static analyzers

Academic research in static analysis produces software implementations. These implementations are time-consuming to develop and to …
20/09/24 Antique Team Seminar Paris
Slides

Mopsa tutorial

Interactive engine demo AsciinemaPlayer.create('/img/240606_csv_mopsa.cast', document.getElementById('demo'), {fit: "width", rows: 40, cols: 160, idleTimeLimit: 1, markers: [6, 7, 14.0, 23, 26.95, 27.5, 28.5], pauseOnMarkers: true, poster: 'npt:7' });
04/09/24 Lipari Summer School on Abstract Interpretation Lipari, Italy
Slides Slides (handout) Practical session Anonymous feedback

Easing implementation and maintenance of academic static analyzers

Academic research in static analysis produces software implementations. These implementations are time-consuming to develop and to …
06/06/24 CSV (Challenges in Software Verification) Venice, Italy
Slides

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

Legal expert systems routinely rely on date computations to determine the eligibility of a citizen to social benefits or whether an …
11/04/24 ESOP 2024 Luxembourg

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)

We present advances we brought to Mopsa for SV-Comp 2024. We significantly improved the precision of our verifier in the presence of …
08/04/24 TACAS 2024 – SV-Comp Luxembourg

Lessons Learned Along the Path of an Early Career Researcher

In this talk, I will share some lessons I learned the last 6 years, from the start of my PhD to my current permanent position as a …
07/04/24 ETAPS Mentoring Workshop Luxembourg
Slides

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

See related publication page.
23/02/24 Épicure seminar IRISA
Slides

2022

A Multilanguage Static Analysis of Python/C Programs with Mopsa

Mopsa is a conservative static analysis platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions (numeric, pointer, memory, etc.) and syntax iterators for new languages. Mopsa encourages the development of independent abstractions which can cooperate or be combined to improve precision.
07/07/22 Software Languages Lab, Vrije Universiteit Brussels
Slides

Formal methods for realistic systems: a study of two cases

The goal of my research is to improve the quality of software. I use for that the field of formal methods, in order to define precisely the behavior of programs. This allows to reason rigorously about these behaviors (to detect dangerous states for example).
28/04/22 LIP, ENS de Lyon
Slides

A Multilanguage Static Analysis of Python/C Programs with Mopsa

Mopsa is a conservative static analysis platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions (numeric, pointer, memory, etc.) and syntax iterators for new languages. Mopsa encourages the development of independent abstractions which can cooperate or be combined to improve precision.
17/03/22 SRG Seminar Imperial College, London
Slides

Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries

We aim at designing both theoretically and experimentally methods for the automatic detection of potential bugs in software – or the proof of the absence thereof. This detection is done statically by analyzing programs' source code without running them.
16/02/22 MTV Seminar LaBRI, Bordeaux
Slides

A Multilanguage Static Analysis of Python/C Programs with Mopsa

Mopsa is a static analyzer platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions (numeric, pointer, memory, etc.) and syntax iterators for new languages. Mopsa encourages the development of independent abstractions which can cooperate or be combined to improve precision.
31/01/22 SyCoMoRES Seminar CRIStAL, Lille
Slides

2021

A Modern Compiler for the French Tax Code

In France, income tax is computed from taxpayers' individual returns, using an algorithm that is authored, designed and maintained by …
02/12/21 IRILL Seminar IRILL, Sorbonne Université, Paris
Slides

A Multilanguage Static Analysis of Python/C Programs with Mopsa

Mopsa is a static analyzer platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions …
01/12/21 Facebook TAV Symposium Virtual
Slides Mopsa (research) Mopsa (code)

Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries

We aim at designing both theoretically and experimentally methods for the automatic detection of potential bugs in software – or the proof of the absence thereof. This detection is done statically by analyzing programs' source code without running them.
29/11/21 CASH Seminar LIP, Lyon
Slides

A Multilanguage Static Analysis of Python/C Programs with Mopsa

Mopsa is a static analyzer platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions …
26/11/21 Binsec Seminar Virtual
Slides

A Multilanguage Static Analysis of Python/C Programs with Mopsa

Mopsa is a static analyzer platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions …
19/11/21 Celtique Seminar INRIA Rennes
Slides

A Multilanguage Static Analysis of Python Programs with Native C Extensions

Modern programs are increasingly multilanguage, to benefit from each programming language’s advantages and to reuse libraries. …
18/10/21 SAS 2021 Virtual (Covid-19)

A Multilanguage Static Analysis of Python Programs with Native C Extensions

05/07/21 Axe Sécurité, Sûreté, Fiabilité du LIP6 LIP6, Sorbonne Université & CNRS
Slides

Mlang: an Open-Source Toolchain for the Income Tax Computation

See the associated publication page.
07/04/21 JFLA 2021 Virtual (Covid-19)

Mopsa, a Multi-lingual Static Analysis Platform

12/03/21 Groupe de travail LVP du GdR GPL Virtual (Covid-19)
Slides

A Modern Compiler for the French Tax Code

In France, income tax is computed from taxpayers' individual returns, using an algorithm that is authored, designed and maintained by …
03/03/21 CC 2021 Virtual (Covid-19)