Visited Verimag in Grenoble

I gave an invited talk about my recent work on finding concurrency errors in systems code at Verimag in Grenoble, France. Verimag is a very nice place and it was a pleasant visit. I would like to thank Radu Iosif again for hosting me.