Invited Talks

2024

Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software
Sunday, October 20, 2024 2:00 PM
Abstract Interpretation
Monday, June 17, 2024 3:00 PM
Machine Learning Interpretability and Verification
Thursday, April 4, 2024 9:30 AM
Machine Learning Interpretability and Verification
Friday, March 29, 2024 2:00 PM

2023

Interpretability-Aware Verification of Machine Learning Software
Thursday, April 27, 2023 2:00 PM
Interpretability-Aware Verification of Machine Learning Software
Thursday, March 30, 2023 2:00 PM
Interpretability-Aware Verification of Machine Learning Software
Thursday, February 9, 2023 2:00 PM

2022

Data Usage across the Machine Learning Pipeline
Wednesday, July 20, 2022 2:30 PM
Static Analysis for Data Scientists
Friday, July 8, 2022 1:30 PM
Static Analysis for Data Scientists
Tuesday, June 14, 2022 1:30 PM
Static Analysis for Data Scientists
Friday, May 20, 2022 2:00 PM
🇫🇷 Interprétation Abstraite des Réseaux de Neurones
Thursday, May 12, 2022 1:45 PM

2021

An Abstract Interpretation Recipe for Machine Learning Fairness
Wednesday, November 17, 2021 2:00 PM
An Abstract Interpretation Recipe for Machine Learning Fairness
Tuesday, November 9, 2021 2:30 PM
An Abstract Interpretation Recipe for Machine Learning Fairness
Sunday, July 18, 2021 9:00 AM
Perfectly Parallel Fairness Certification of Neural Networks
Wednesday, May 5, 2021 5:00 PM
Formal Methods for Robust Artificial Intelligence: State of the Art
Friday, February 5, 2021 2:00 PM
Perfectly Parallel Fairness Certification of Neural Networks
Wednesday, January 13, 2021
Formal Methods for Robust Artificial Intelligence: State of the Art
Wednesday, January 13, 2021

2020

Static Analysis for Data Science
Monday, November 2, 2020 10:00 AM
A Guided Tour of a Static Analyzer for Data Science Software
Monday, July 20, 2020 7:15 AM
Perfectly Parallel Fairness Certification of Neural Networks
Thursday, June 18, 2020 3:00 PM
Perfectly Parallel Fairness Certification of Neural Networks
Wednesday, June 3, 2020 2:00 PM
Perfectly Parallel Fairness Certification of Neural Networks
Sunday, May 24, 2020 12:30 PM
Perfectly Parallel Fairness Certification of Neural Networks
Friday, May 15, 2020 10:00 AM

2019

Static Analysis of Data Science Software
Wednesday, October 9, 2019 2:00 PM
What Programs Want: Automatic Inference of Input Data Specifications
Tuesday, April 2, 2019 11:30 AM

2018

Static Program Analysis for a Software-Driven Society
Monday, March 26, 2018 10:15 AM
Static Program Analysis for a Software-Driven Society
Thursday, March 22, 2018 11:00 AM
Static Program Analysis for a Software-Driven Society
Thursday, March 15, 2018 10:30 AM

2017

An Abstract Interpretation Framework for Input Data Usage
Monday, October 2, 2017 5:00 PM
An Abstract Interpretation Framework for Input Data Usage
Tuesday, September 12, 2017 3:30 PM
Synthesizing Ranking Functions from Bits and Pieces
Thursday, January 26, 2017 3:00 PM

2016

Bringing Abstract Interpretation To Termination And Beyond
Thursday, May 19, 2016
🇫🇷 Analyse Statique par Interprétation Abstraite de Propriétés Temporelles des Programmes
Thursday, January 28, 2016 8:45 AM

2015

Abstract Interpretation as Automated Deduction
Friday, August 14, 2015 9:30 AM
Counterexample-Guided Inference of Ranking Functions
Thursday, July 30, 2015 3:30 PM

2014

Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
Thursday, December 18, 2014 10:30 AM
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
Monday, November 3, 2014 10:30 AM
Automatic Inference of Ranking Functions by Abstract Interpretation
Wednesday, October 1, 2014 11:00 AM
Automatic Inference of Ranking Functions by Abstract Interpretation
Tuesday, August 26, 2014
Automatic Inference of Ranking Functions by Abstract Interpretation
Wednesday, June 18, 2014 4:00 PM
An Abstract Domain to Infer Ordinal-Valued Ranking Functions
Wednesday, May 28, 2014 2:30 PM
Automatic Inference of Ranking Functions by Abstract Interpretation
Tuesday, March 18, 2014 2:00 PM
Automatic Inference of Ranking Functions by Abstract Interpretation
Thursday, January 16, 2014 11:00 AM

2013

The Abstract Domain of Piecewise-Defined Ranking Functions
Thursday, November 28, 2013 3:00 PM
The Abstract Domain of Piecewise-Defined Ranking Functions
Saturday, November 23, 2013 2:00 PM
The Abstract Domain of Segmented Ranking Functions
Monday, March 25, 2013 11:30 AM