[PRL] Practice Talk by Ryan Culpepper
Karl Lieberherr
lieber at ccs.neu.edu
Fri Sep 16 15:14:22 EDT 2005
On Monday, September 19, at noon in Room 164 WVH
Ryan Culpepper will give a practice talk (a la torture chamber)
about the GPCE presentation:
Shadow Programming: Reasoning about Programs using Lexical
Join Point Information
(paper by Pengcheng Wu and Karl Lieberherr at GPCE 2005)
http://www.ccs.neu.edu/research/demeter/papers/shadow-prog/gpce2005-Wu-Liebe
rherr.pdf
Ryan has kindly agreed to present the paper in Estonia for us.
Hoping to see many of you.
-- Karl
More information about the PRL
mailing list