Research Tools: code, datasets, & models

This repository contains a subset of the internal tests used by Microsoft’s Static Driver Verifier tool. These tests are generated from Window’s Device Drivers while checking for one of the various properties that WDM drivers…

We introduce the Microsoft Information-Seeking Conversation data (MISC), a set of recordings of information-seeking conversations between human “seekers” and “intermediaries”. MISC includes audio and video signals; transcripts of conversation; affectual and physiological signals; recordings of…

This repository contains a subset of the internal tests used by Microsoft’s Static Driver Verifier (opens in new tab) tool. These tests are generated from Window’s Device Drivers while checking for one of the various properties (opens in…

LIQUi|〉 is a simulation platform developed by the Quantum Architectures and Computation team at Microsoft Research to aid in the exploration of quantum computation. LIQUi|〉 stands for “Language Integrated Quantum Operations”. A quantum operation is…

ReVerC (pronounced “reverse”) is a reversible circuit compiler which compiles a high-level, ml-like language to combinational reversible circuits. It is fully verified in the sense that the program and compiled circuit, when generated by ReVerC,…

Cluster Map displays clusters of related documents in an expressive image mosaic. Clusters can be arranged in a symmetric “spiral” layout or a more freeform “relational” layout, with cluster proximity in the latter case determined…

Attribute Slicer lets you filter a dataset on a given column by selecting attribute values of interest. The initial display is a helpful overview that lists the most common values first and shows the overall…

Time Brush lets you filter a time-based dataset by directly dragging or brushing over a time period of interest. The initial display is a helpful overview that shows the frequency of items in each pre-defined…

This data set consists of the tweet IDs collected for the propensity-score analysis of longitudinal social media messages posted by people who mention specific health, social and business domains. This data set accompanies the paper,…

Each file contains data from one of 21 volunteers who carried a GPS logger with them in the region of Seattle, Washington USA for approximately eight weeks in the fall of 2009. This set of…