Research Tools: code, datasets, & models

miTLS is a verified reference implementation of the TLS protocol. Our code fully supports its wire formats, ciphersuites, sessions and connections, re-handshakes and resumptions, alerts and errors, and data fragmentation, as prescribed in the RFCs;…

Microsoft Hands-Free Sound Jam, or “MSHFSJ”, is an eye-controlled music environment for electronic loop-based performance and composition. It is designed using familiar design paradigms found in commercial music production software, which have been adapted to…

With Blink for Windows Phone 8 and 8.1, you’ll never miss the best shot or the action. Blink captures a burst of images before you even press the shutter, and continues to capture pictures after…

Image Composite Editor (ICE) is an advanced panoramic image stitcher created by the Microsoft Research Computational Photography Group. Given a set of overlapping photographs of a scene shot from a single camera location, the app…

The Soundscape code is now available as open-source software, so that anyone can continue to build on, and find new ways to leverage, this novel feature set for the growing navigation opportunities in today’s world.…

This is a detailed specification for the Checked C extension that explains the design in-depth.  

The Checked C extension to C is being implemented in a fork of the clang compiler.     You can download the latest version of the Checked C compiler for Windows from this GitHub link.…

This contains a set of utilities used across projects of the DPU team.

This data set consists of timelines of geo-located Twitter activity per U.S. county over ~4 years, from Jan 1, 2011 through April 30, 2014. Each county-timeline represents the amount of Twitter activity seen coming from…

Common Runtime for Applications (CRA) is a software layer (library) that makes it easy to create and deploy distributed dataflow-style applications on top of resource managers such as Kubernetes, YARN, and stand-alone cluster execution.