Please see my new page at http://www.cs.cmu.edu/~deva/