[PRL] Mike Dodds's visit

Aaron Turon turon at ccs.neu.edu
Sun Feb 5 22:23:32 EST 2012


Mike Dodds (http://www.cl.cam.ac.uk/~md466/) will be visiting the lab
this week, on Tuesday 2/7.  Mike has done work on manual and automatic
verification of concurrent programs and data structures, and has also
worked on automatic parallelization.  He'll be giving a talk on some
very neat work called "deny-guarantee reasoning" -- the announcement
should go early tomorrow.

Please let me know if you'd like to meet with Mike on Tuesday.  He'll
be in the lab for the full day.

Thanks,

Aaron



More information about the PRL mailing list