See also this more applied site, where you can try out results of some of a part of MS research in your browser -- http://rise4fun.com/ -- this comes from the "research in software engineering" group: http://research.microsoft.com/en-us/groups/rise/default.aspx