AI, ML & Data Engineering Follow 1006 Followers

Microsoft Makes Cloud-Based Biological Research Tool Open Source

by Michael Stiefel Follow 6 Followers on  Feb 21, 2017

Bio Model Analyzer, a Microsoft cloud-based tool that biologists can use to model cell interactions and communications, is now available as open-source on GitHub. It is used to create computer models that can compare the processes within healthy and diseased cells. Scientists can see the interactions between millions of genes and proteins, speeding up research and treatment of diseases.

Architecture & Design Follow 2431 Followers

IronFleet: A Methodology for Proving Distributed Systems

by Abel Avram Follow 11 Followers on  Dec 29, 2015

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.


Analyze Public .NET Code with Code Digger

by Anand Narayanaswamy Follow 0 Followers on  Apr 28, 2013

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 receives ACM SIGACT Knuth Price 2011

by Michael Stal Follow 0 Followers on  Apr 29, 2011 2

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.


Footsteps: Deterministic Logging and Replay for JavaScript

by Jonathan Allen Follow 615 Followers on  Apr 18, 2011

Debugging event driven applications has always been notoriously difficult. The research project Footsteps project seeks to address the problems of reproducibility by offering a logging and replay framework that records non-deterministic events such as mouse clicks and random number generation. No plugins or special browsers are needed, this done entirely with JavaScript.


Silo: Using Hashing and Delta Update to Improve Today’s Browsers

by Jonathan Allen Follow 615 Followers on  Apr 15, 2011

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.


Trinity: Microsoft Research’s Hypergraph Database

by Jonathan Allen Follow 615 Followers on  Apr 10, 2011

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.

Login to InfoQ to interact with what matters most to you.

Recover your password...


Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.


More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.


Stay up-to-date

Set up your notifications and don't miss out on content that matters to you