Matthew, I wanted to point out that the PLDI 2001 deadline is a month away. http://www.cs.pitt.edu/~soffa/pldi01/cfp.html You might want to consider writing up your stuff and submitting it. Suresh, any thoughts? BTW, is Greg officially your advisor?