We're going to hold an informal PLDI recap tomorrow, during the PL seminar slot (starting at 11:45) in WVH366. As before, we'll walk through the program and call out the talks worth summarizing for the group.