[PRL] Fwd: Systems seminar: Fri. @ 2 p.m., "4th fl. fish bowl"
Mitchell Wand
wand at ccs.neu.edu
Fri Feb 20 07:27:03 EST 2015
This talk may be of interest to us. --Mitch
---------- Forwarded message ----------
From: Gene Cooperman <gene at ccs.neu.edu>
Date: Fri, Feb 20, 2015 at 1:00 AM
Subject: Systems seminar: Fri. @ 2 p.m., "4th fl. fish bowl"
To: Gene Cooperman <gene at ccs.neu.edu>
Sumit Ghosh will be making the presentation in the systems seminar this
week.
He will be presenting:
"Prototyping Symbolic Execution Engines for Interpreted Languages".
http://www.cs.rhul.ac.uk/home/kinder/papers/asplos14.pdf
REMINDER: Could everybody at least do a fast reading of the paper,
and be prepared with at least one question at the end of the presentation.
This will make for a more "fun" discussion period.
(And we want to continue this policy for future papers in the seminar.)
Thanks,
- Gene
-------------- next part --------------
HTML attachment scrubbed and removed
More information about the PRL
mailing list