Recent & Upcoming Talks

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)