The Right Stuff

On a Saturday afternoon, Greta, Martin and me enjoyed this ale (mostly its name, actually). The meat that accompanied it was cooked in a range from running-rare to nuclear-well-done... the chef was mostly hitting the end points of this range.

Workshop on the Verification of Concurrent Algorithms

Four of the nomads attended the Cambridge workshop on the verification of concurrent algorithms. I gave an overview talk on Shape Analysis for concurrent programs (slides). Martin gave a short talk about our work on synthesis of concurrent set algorithms (slides).

On the last day, we had a few hours before our flight, so we went punting. Below are a couple of pictures taken by Noam (you can see Noam's reflection in my sunglasses).