[PRL] ESOP Practice Talk 3/26

James T. Perconti jtpercon at ccs.neu.edu
Fri Mar 21 16:41:18 EDT 2014

Previous message: [PRL] Torture Chamber: Tue 3/18, 11:00-1:00
Next message: [PRL] Torture Chamber: Fri 3/28, 2:00-4:00
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello everyone,
  I will be doing a practice run of my ESOP talk, "Verifying an Open Compiler Using Multi-Language Semantics," next Wednesday (3/26) at 2:00 PM in WVH 166. Please come and give me feedback if you can!
 --Jamie

Previous message: [PRL] Torture Chamber: Tue 3/18, 11:00-1:00
Next message: [PRL] Torture Chamber: Fri 3/28, 2:00-4:00
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the PRL mailing list