Research Tools: code, datasets, & models

This dataset is based on 14 months of optical data, from February 2015 to April 2016, taken from Microsoft’s optical backbone in North America. This backbone has O(50) optical cross-connects, O(100) WAN segments, and O(1000)…

Static analysis of MSIL based on the analysis-net infrastructure.

Dafny is a verification-aware programming language.

This data release is part of the MSR FastRDFStore Package (https://github.com/Microsoft/FastRDFStore/ (opens in new tab)) and includes the last dump of Freebase, as well as the processed version ready to load directly into FastRDFStore.

C# library that implements algorithms for the numerical solution of ordinary differential equations. The library incorporates .NET desktop and Silverlight builds.

Microsoft Hyperlapse Mobile creates smooth and stabilized time lapses from first-person videos using a Windows Phone or Android device.

With this new, intelligent camera app for your iphone, you can enjoy life’s moments instead of struggling to capture them.

Recent work in semantic parsing for question answering has focused on long and complicated questions, many of which would seem unnatural if asked in a normal conversation between two humans. In an effort to explore…

We introduce this dataset in order to support the novel task of Visual Question Generation (VQG), where, given an image, the system should ‘ask a natural and engaging question’. This dataset can be used to…

CP drops only the packet payload instead of the entire packet during buffer overload and uses a SACK-like precise ACK (PACK) technique to accurately inform senders of lost packets. The paper appears on NSDI 2014.