- Laboratoire d’informatique
  • Colloquium

Colloquium d’Informatique de Sorbonne Université

Patrick Cousot, New York University

Jeudi 29 septembre 2016 18 h
Amphi 15, Sorbonne Université - Faculté des Sciences

Abstract interpretation

Patrick Cousot received the Doctor Engineer degree in Computer Science and the Doctor ès Sciences degree in Mathematics from the University Joseph Fourier of Grenoble, France. He was a Research Scientist at the French National Center for Scientific Research at the University Joseph Fourier of Grenoble, France, then professor at the University of Metz, the École Polytechnique, the École Normale Supérieure, Paris, France. He is Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Patrick Cousot is the inventor, with Radhia Cousot, of Abstract Interpretation.


The complexity of large programs grows faster than the intellectual ability of programmers in charge of their development and maintenance. The direct consequence is a lot of errors and bugs in programs mostly debugged by their end-users. Programmers are not responsible for these bugs. They are not required to produce provably safe and secure programs. This is because professionals are only required to apply state of the art techniques, that is testing on finitely many cases. This state of the art is changing rapidly and so will irresponsibility, as in other manufacturing disciples.

Scalable and cost-effective tools have appeared recently that can avoid bugs with possible dramatic consequences for example in transportation, banks, privacy of social networks, etc. Entirely automatic, they are able to capture all bugs involving the violation of software healthiness rules such as the use of operations with arguments for which they are undefined.

These tools are formally founded on abstract interpretation. They are based on a definition of the semantics of programming languages specifying all possible executions of the programs of a language. Program properties of interest are abstractions of these semantics abstracting away all aspects of the semantics not relevant to a particular reasoning on programs. This yields proof methods.

Full automation is more difficult because of undecidability: programs cannot always prove programs correct in finite time and memory. Further abstractions are therefore necessary for automation, which introduce imprecision. Bugs may be signalled that are impossible in any execution (but still none is forgotten). This has an economic cost, much less than testing. Moreover, the best static analysis tools are able to reduce these false alarms to almost zero. A time-consuming and error-prone task which is too difficult, if not impossible for programmers, without tools.


Master Class

L'un des moment particulièrement apprécié lors du colloquium est la « Masterclass » au cours de laquelle quelques doctorants du laboratoires ont l'opportunité de présenter leurs travaux à l'invité(e). Chaque présentation est suivie d'une discussion approfondie. Le programme complet est donné dans le document suivant.

Informations en ligne

https://sorbonne-universite.cloud.panopto.eu/Panopto/Pages/Embed.aspx?id=c20ee0eb-df53-4dcd-886d-aec80111c79f
Patrick Cousot

À propos

Initié en 2012, le Colloquium d’Informatique de Sorbonne Université est un évènement régulier ayant pour but d'inviter des personnalités majeures du domaine de l’informatique à donner une conférence sur le campus de la faculté des sciences et ingénierie de Sorbonne Université. Il vise un public large, divers mais techniquement averti, et notamment les chercheurs en informatique de toutes spécialités, les doctorants et les étudiants en informatique de niveau Master.

L’évènement principal du Colloquium est l’exposé de l’orateur, d’environ 45 minutes, suivi d’une séance de questions et d’interactions avec l’auditoire. Il est généralement associé à l’organisation d’une masterclass à destination des doctorants du LIP6 et/ou d’autres laboratoires.

Principal participant au comité d’organisation, le LIP6 assure l’organisation du Colloquium et reçoit occasionnellement le soutien de l’ISIR.


Comité de Pilotage


Contact: Antoine Miné

Annonce des Colloquium

Si vous souhaitez être informé des prochains événements, vous pouvez souscrire à la liste de diffusion.
Si vous ne souhaitez plus être informé des événements, vous pouvez vous désinscrire de la liste de diffusion