[PRL] Mike Dodds's visit

[Sam Tobin-Hochstadt]

I'd love to meet with Mike.

On Sun, Feb 5, 2012 at 10:23 PM, Aaron Turon <turon at ccs.neu.edu> wrote:
> 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
>
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl



-- 
sam th
samth at ccs.neu.edu