[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