InfoQ Homepage Microsoft Research Content on InfoQ


RSS Feed
  • Microsoft Presents Static TypeScript, a Fast Subset of TypeScript Targeting Embedded Devices

    Microsoft recently submitted a research paper introducing Static TypeScript (STS), a subset of TypeScript targeting low-resource embedded devices, to the Managed Programming Languages and Runtimes 2019 (MPLR 2019) international conference. STS programs may run on devices with only 16 kB of RAM faster than embedded interpreters would, which would extend battery life of these devices.

  • Microsoft Makes Cloud-Based Biological Research Tool Open Source

    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.

  • IronFleet: A Methodology for Proving Distributed Systems

    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

    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

    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

    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

    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

    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.


Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.