Invited Talks

talks

2020

A Static Analyzer for Data Science Software
Monday, July 20, 2020
Perfectly Parallel Fairness Certification of Neural Networks
Thursday, June 18, 2020
Perfectly Parallel Fairness Certification of Neural Networks
Wednesday, June 3, 2020
Perfectly Parallel Fairness Certification of Neural Networks
Sunday, May 24, 2020
Perfectly Parallel Fairness Certification of Neural Networks
Friday, May 15, 2020

2019

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

2018

Static Program Analysis for a Software-Driven Society
Monday, March 26, 2018
Static Program Analysis for a Software-Driven Society
Thursday, March 22, 2018
Static Program Analysis for a Software-Driven Society
Thursday, March 15, 2018

2017

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

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

2015

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

2014

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

2013

The Abstract Domain of Piecewise-Defined Ranking Functions
Saturday, November 23, 2013
The Abstract Domain of Piecewise-Defined Ranking Functions
Saturday, November 23, 2013
The Abstract Domain of Segmented Ranking Functions
Monday, March 25, 2013