Microsoft Research, Roger Needham Building, JJ Thomson Avenue, Cambridge CB3 0FB