Ready for InfoQ 3.0? Try the new design and let us know what you think!

AI, ML & Data Engineering Follow 1118 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 2649 Followers

IronFleet: A Methodology for Proving Distributed Systems

by Abel Avram Follow 12 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 657 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 657 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 657 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.