I'll be holding a torture chamber for POPL tomorrow (1/20) at 1pm in WVH164. The room is only available for an hour, but that should be enough time to get the highest-level comments (and get the rest offline).