Automatically redirecting to my new page at Microsoft Research. Click here if you are in a hurry or are on a non-standard browser.