Invited Talks

2024

Formal Methods for Machine Learning
Wednesday, November 13, 2024 9:30 AM
17th International Scientific Conference on Informatics, 🇸🇰 Poprad, Slovakia
Abstract Domains for Machine Learning Verification
Tuesday, October 22, 2024 9:00 AM
10th International Workshop on Numerical and Symbolic Abstract Domains, 🇺🇸 Padasena, USA
Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software
Sunday, October 20, 2024 2:00 PM
31st Static Analysis Symposium, 🇺🇸 Padasena, USA
Slides
Abstract Interpretation
Monday, June 17, 2024 3:00 PM
🇫🇷 Université de La Réunion, France (remote)
Machine Learning Interpretability and Verification
Thursday, April 4, 2024 9:30 AM
Journées FAC 2024, 🇫🇷 Toulouse, France
Slides Project Project
Machine Learning Interpretability and Verification
Friday, March 29, 2024 2:00 PM
🇫🇷 Quarkslab, France
Project Project

2023

Interpretability-Aware Verification of Machine Learning Software
Thursday, April 27, 2023 2:00 PM
29th International Symposium on Model Checking of Software (SPIN 2023), 🇫🇷 Paris, France
Project
Interpretability-Aware Verification of Machine Learning Software
Thursday, March 30, 2023 2:00 PM
🇫🇷 CEA-LIST, France
Project
Interpretability-Aware Verification of Machine Learning Software
Thursday, February 9, 2023 2:00 PM
Séminaire IRILL, 🇫🇷 Center for Research and Innovation on Free Software, France
Project

2022

Data Usage across the Machine Learning Pipeline
Wednesday, July 20, 2022 2:30 PM
Dagstuhl Seminar 22291 “Machine Learning and Logical Reasoning: The New Frontier”, 🇩🇪 Schloss Dagstuhl, Germany
Project
Static Analysis for Data Scientists
Friday, July 8, 2022 1:30 PM
Isaac Newton Institute Workshop “Vistas in Verified Software”, 🇬🇧 Cambridge, UK (remote)
Video Project
Static Analysis for Data Scientists
Tuesday, June 14, 2022 1:30 PM
11th International Workshop on the State Of the Art in Program Analysis (SOAP 2022), 🇺🇸 San Diego, USA
Project
Static Analysis for Data Scientists
Friday, May 20, 2022 2:00 PM
Challenges of Software Verification Workshop, 🇮🇹 Università Ca’ Foscari Venezia, Italy
Slides Video Project
🇫🇷 Interprétation Abstraite des Réseaux de Neurones
Thursday, May 12, 2022 1:45 PM
La Demi-Heure de Science, 🇫🇷 INRIA Paris, France
Slides

2021

An Abstract Interpretation Recipe for Machine Learning Fairness
Wednesday, November 17, 2021 2:00 PM
Journées du GT Vérif 2021, 🇫🇷 ENS Paris-Saclay, France
Code Project
An Abstract Interpretation Recipe for Machine Learning Fairness
Tuesday, November 9, 2021 2:30 PM
🇫🇷 CEA-LIST, France
Code Project
An Abstract Interpretation Recipe for Machine Learning Fairness
Sunday, July 18, 2021 9:00 AM
4th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2021), 🇺🇸 Los Angeles, USA (remote)
Code Project
Perfectly Parallel Fairness Certification of Neural Networks
Wednesday, May 5, 2021 5:00 PM
Séminaire du DI, 🇫🇷 École Normale Supérieure, France (remote)
PDF Code Project
Formal Methods for Robust Artificial Intelligence: State of the Art
Friday, February 5, 2021 2:00 PM
🇫🇷 Airbus, France (remote)
Slides
Perfectly Parallel Fairness Certification of Neural Networks
Wednesday, January 13, 2021
Lorentz Center Workshop “Robust Artificial Intelligence”, 🇳🇱 Lorentz Center, The Netherlands (remote)
PDF Slides Video Code Project
Formal Methods for Robust Artificial Intelligence: State of the Art
Wednesday, January 13, 2021
Lorentz Center Workshop “Robust Artificial Intelligence”, 🇳🇱 Lorentz Center, The Netherlands (remote)
Slides Video Project

2020

Static Analysis for Data Science
Monday, November 2, 2020 10:00 AM
🇫🇷 INSERM, France (remote)
Slides Project
A Guided Tour of a Static Analyzer for Data Science Software
Monday, July 20, 2020 7:15 AM
2nd Workshop on Democratizing Software Verification (DSV 2020), 🇺🇸 Los Angeles, USA (remote)
Slides Video Code Project
Perfectly Parallel Fairness Certification of Neural Networks
Thursday, June 18, 2020 3:00 PM
Séminaire 68NQRT, 🇫🇷 INRIA Rennes, France (remote)
PDF Slides Code Project
Perfectly Parallel Fairness Certification of Neural Networks
Wednesday, June 3, 2020 2:00 PM
Verification Seminar, 🇫🇷 IRIF, France (remote)
PDF Code Project
Perfectly Parallel Fairness Certification of Neural Networks
Sunday, May 24, 2020 12:30 PM
PL & Systems Seminar, 🇮🇱 Tel Aviv University, Israel (remote)
PDF Code Project
Perfectly Parallel Fairness Certification of Neural Networks
Friday, May 15, 2020 10:00 AM
ThereSIS Seminar, 🇫🇷 Thales Research & Technology, France (remote)
PDF Code Project

2019

Static Analysis of Data Science Software
Wednesday, October 9, 2019 2:00 PM
26th Static Analysis Symposium (SAS 2019), 🇵🇹 Porto, Portugal
Slides Video Project Project
What Programs Want: Automatic Inference of Input Data Specifications
Tuesday, April 2, 2019 11:30 AM
Guest Seminars, 🇮🇹 Gran Sasso Science Institute (GSSI), Italy
Project

2018

Static Program Analysis for a Software-Driven Society
Monday, March 26, 2018 10:15 AM
IC Colloquium, 🇨🇭 École Polytechnique Fédérale de Lausanne, Switzerland
Static Program Analysis for a Software-Driven Society
Thursday, March 22, 2018 11:00 AM
CS Seminar Series, 🇺🇸 Stevens Institute of Technology, USA
Static Program Analysis for a Software-Driven Society
Thursday, March 15, 2018 10:30 AM
SWS Colloquium, 🇩🇪 Max Planck Institute for Software Systems, Germany

2017

An Abstract Interpretation Framework for Input Data Usage
Monday, October 2, 2017 5:00 PM
NII Shonan Meeting Seminar 100 “Analysis and Verification of Pointer Programs”, 🇯🇵 Shonan Village Center, Japan
Project
An Abstract Interpretation Framework for Input Data Usage
Tuesday, September 12, 2017 3:30 PM
NII Shonan Meeting Seminar 108 “Memory Abstraction, Emerging Techniques and Applications”, 🇯🇵 Shonan Village Center, Japan
Project
Synthesizing Ranking Functions from Bits and Pieces
Thursday, January 26, 2017 3:00 PM
Séminaire APR, 🇫🇷 Université Pierre et Marie Curie (Paris 6), France
Slides

2016

Bringing Abstract Interpretation To Termination And Beyond
Thursday, May 19, 2016
Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”, 🇩🇪 Schloss Dagstuhl, Germany
Project
🇫🇷 Analyse Statique par Interprétation Abstraite de Propriétés Temporelles des Programmes
Thursday, January 28, 2016 8:45 AM
Congrès SIF 2016, 🇫🇷 Strasbourg, France
Project

2015

Abstract Interpretation as Automated Deduction
Friday, August 14, 2015 9:30 AM
FORSYTE Seminar, 🇦🇹 TU Wien, Austria
Counterexample-Guided Inference of Ranking Functions
Thursday, July 30, 2015 3:30 PM
🇺🇸 SRI International, USA
Project

2014

Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
Thursday, December 18, 2014 10:30 AM
🇮🇹 Università degli Studi di Udine, Italy
Project
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
Monday, November 3, 2014 10:30 AM
🇨🇭 ETH Zurich, Switzerland
Project
Automatic Inference of Ranking Functions by Abstract Interpretation
Wednesday, October 1, 2014 11:00 AM
Theory Group Seminar, 🇬🇧 Queen Mary University of London, UK
Project
Automatic Inference of Ranking Functions by Abstract Interpretation
Tuesday, August 26, 2014
Dagstuhl Seminar 14352 “Next Generation Static Software Analysis Tools”, 🇩🇪 Schloss Dagstuhl, Germany
Slides Project
Automatic Inference of Ranking Functions by Abstract Interpretation
Wednesday, June 18, 2014 4:00 PM
🇬🇧 University College London, UK
Project
An Abstract Domain to Infer Ordinal-Valued Ranking Functions
Wednesday, May 28, 2014 2:30 PM
Séminaire 68NQRT, 🇫🇷 INRIA Rennes, France
Project
Automatic Inference of Ranking Functions by Abstract Interpretation
Tuesday, March 18, 2014 2:00 PM
INRIA Junior Seminar, 🇫🇷 INRIA Paris-Rocquencourt, France
Slides Video Project
Automatic Inference of Ranking Functions by Abstract Interpretation
Thursday, January 16, 2014 11:00 AM
🇺🇸 IBM Thomas J. Watson Research Center, USA
Project

2013

The Abstract Domain of Piecewise-Defined Ranking Functions
Thursday, November 28, 2013 3:00 PM
🇨🇳 East China Normal University, China
Slides Project
The Abstract Domain of Piecewise-Defined Ranking Functions
Saturday, November 23, 2013 2:00 PM
2nd Workshop on Analysis and Verification of Dependable Cyber Physical Software (AVDCPS 2013), 🇨🇳 National University of Defense Technology, China
Slides Project
The Abstract Domain of Segmented Ranking Functions
Monday, March 25, 2013 11:30 AM
🇮🇹 Università degli Studi di Udine, Italy
Project