Hello everyone, The new time for my practice run of my ESOP talk, "Verifying an Open Compiler Using Multi-Language Semantics," is Tuesday (4/1) at 1:30 PM in WVH 166. Please come and give me feedback if you can! --Jamie