I'll be holding a torture chamber for my HOPE talk "Logical relations for fine-grained concurrency" on Thursday, 1:30-3, in WVH366. Please come and provide torture!