[PRL] FW: [Csail-related] Course Announcement: Patrick Cousot - 16.399Abstract Interpretation

[Philippe Meunier]

I just came back from Cousot's class on abstract interpretation at MIT
and I must say it was very good.  Today was just an introduction to
the subject but it was nice with lots of figures and examples.  Cousot
promised that even when he'll start with the heavy math he'll keep
having examples and so on, not just bare math.  There's also going to
be a project about designing and implementing a small static analyzer
based on abstract interpretation for people who are interested
(apparently OCaml will be the language of choice).  More info, nice
slides, and pointers to papers at http://www.mit.edu/~cousot/ (follow
the link to the 16.399 course).

Philippe