IEEE Harlan D. Mills Award
The IEEE Computer Society has awarded the Harlan D. Mills 2014 Award to Patrick Cousot and Radhia Cousot for the invention of abstract interpretation, development of tool support, and its practical application. Congratulations! Link