My home page has moved to: http://www.pdos.csail.mit.edu/~petar/