M2-6: Abstract interpretation: application to verification and static analysis
Organization
The course takes place on Friday, from 8:45 to 11:45,
at the ENS, in room U/V.
The course is organized in two periods of 8 courses.
The first period is from Friday 21 September 2012 to Friday 23 November 2012 and is followed by a
written exam.
The second period is from Friday 14 December 2012 to Friday 22 Ferbuary 2013 and is followed by
an oral exam. The oral exam consists in the presentation of a research article; the list of
articles will be provided a few weeks before the exam.
Syllabus
You will find here the provisional course plan and the slides.
These will be updated progressively.
First Period
- Lesson 1: Friday 21 September 2012,
by Antoine Miné.
- Lesson 2: Friday 28 September 2012,
by Antoine Miné.
- Lesson 3: Friday 5 October 2012,
by Antoine Miné.
- Lesson 4: Friday 12 October 2012,
by Xavier Rival
- No course on Friday 19 October 2012.
- Lesson 5: Friday 26 October 2012,
by Jérôme Feret
- Lesson 6: Friday 2 November 2012,
by Xavier Rival
- No course on Friday 9 November 2012.
- Lesson 7: Friday 16 November 2012,
by Xavier Rival
- Lesson 8: Friday 23 November 2012,
by Xavier Rival
Exam: on Friday 7 December 2012.
(see also the former exams)
Second Period
Exam: on Friday 8 March 2013
Written exams and their corrections from former years are available
on
last year's cours.
You will find below a list of M2 internship proposals related to
the course, either in the Abstraction team at the ENS or outside.
Feel free to contact directly the teachers for more information and more proposals.
- Compilation optimisante pour la précision numérique, Matthieu Martel, Équipe Projet DALI, laboratoire LIRM, Université de Perpignan.
- Interference abstractions for thread-modular static analyses by abstract interpretation, Antoine Miné, Abstraction Team, Département d'informatique, École normale supérieure, Paris.
- Analyse statique de programme manipulant des structures complexes avec partage, Xavier Rival, Abstraction Team, Département d'informatique, École normale supérieure, Paris.
- Abstraction de relations entre états de la mémoire, Xavier Rival, Abstraction Team, Département d'informatique, École normale supérieure, Paris.
Contact: