A group of researchers from Microsoft has published the paper “IronFleet: Proving Practical Distributed Systems Correct” (PDF) and made available the accompanying source code demonstrating the use of the methodology in machine proving the correctness of a non-trivial distributed system from a safety and liveliness point of view.
Code Digger, a Visual Studio 2012 extension released by Microsoft Research enables you to dissect Public .NET code to trap bugs, exceptions and assertion failures.
Ravi Kannan from Microsoft Research has been appointed winner of the ACM SIGACT's (Special Interest Group on Algorithms and Computation Theory) Knuth Price 2011. According to the press announcement he receives the price for his work on influential algorithic techniques aimed at solving long-standing computational problems.
On Tuesday Microsoft Researcher James Mickens discussed Silo, a framework for using hashing and delta-updates to dramatically reduce the number of round-trips to the server needed when loading a website. The technology works in today’s browsers without the need for plugins.
MS Research has begun working on its own graph database, Trinity. Graph databases store data in terms of nodes and edges instead of rows and columns, making them quite effective for loosely and arbitrarily connected data. Hypergraphs extend this by allowing one edge to connect multiple nodes. Potentially uses for this included social networks, movie recommendations, and related product searches.