I was able to find at least some version of all but two of the papers being presented at POPL next week. I've made a version of the "preliminary program" page with links to the papers I found: http://www.ccs.neu.edu/home/dherman/popl2007.html Dave