> SPJ doesn't work for MSR anymore

Interesting. Where is he now? His MSR page hasn't been updated - http://research.microsoft.com/en-us/people/simonpj/

I thought only Simon Marlow left recently.