http://netvouz.com/lillymark/tag/patrick?feed=rss lillymark's bookmarks tagged "patrick" on Netvouz http://www.computer.org/portal/web/pressroom/Patrick-and-Radhia-Cousot-Honored-with-2014-Harlan-D.-Mills-Award Patrick and Radhia Cousot have been named recipients of the 2014 IEEE Computer Society Harlan D. Mills Award for their invention of abstract interpretation and tools to support its implementation. lillymark Mon, 14 Apr 2014 04:13:32 GMT