Invited Talks

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

🇫🇷 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