Patrick Cousot, Is Static Analysis Successful?

Patrick Cousot.
Is Static Analysis Successful?
Online seminar series on Verification beyond 2020, Tuesday, July 7^th, 2020.
Slides of the 25mn seminar:
- A4, 1 slide per landscape page, 7.6 Mb,
Abstract:
When I was invited for the online seminar, I first thought of a technical subject (more precisely, symbolic terms, substitutions, and systems of equations which abstract interpretation clarifies by giving them various ground semantics).
But then, the conversation Andreas and I had on the mainstream success of deductive methods while static analysis stays in the shade, led me to another idea: discuss whether static analysis is successful, or not, and what are the conditions to make it mainstream, and, why not, immensely popular?.
Keywords:
Static analysis, Deductive methods.

Bibliographic reference:

@inproceedings{PCousot-VerifBeyond2020,
  author    = {Patrick Cousot},
  title     = {Is Static Analysis Successful?},
  booktitle = {Online seminar series on Verification beyond 2020},
  year      = {Tuesday, July 7 , 2020},
  editor    = {Azadeh Farzan},
  publisher = {U. Toronto, CAnada},
 }

copyright notice
Last modified: Sun Jul 12 18:04:16 EDT 2020