Seminars - communications
"recent" Talks
- May 2017 : exposé à I3S, Sophia Antipolis (Abstract Interpretation 101)
: slides.
- Nov 2017 : les transparents de mon HDR.
- Avril 2018 : Journées ISFE/FAC à Toulouse (Exposé invité,
Experiences in designing scalable static analyses) : : slides.
- Sept 2018 : LOPSTR conference in Frankfurt (Invited Talk,
Experiences in designing scalable static analyses) : slides.
- Dec 2020 : exposé au séminaire IRIF (array properties) slides.
- Mai 2021 : exposé au séminaire LCIS (static analyses) slides.
- October 2022 : 2 lectures at PLISS 22 summer school (abstract interpretation for compilers):
part1, part2