Research
MSR ECCLib is an efficient cryptographic library that provides functions for computing essential elliptic curve operations on a new set of high-security curves. All computations on secret data exhibit regular, constant-time execution, providing protection against timing and cache attacks.
Plato is a C++ open-source neural network library which supports the specification of a large range of graph types, several activation functions and training losses. The library supports backpropagation and truncated BPTT, especially useful for Recurrent Neural Networks. It supports SGD, minibatched SGD and we…
The R2 Probabilistic Programming Tool is a research project within the Programming Languages and Tools group at Microsoft Research on probabilistic programming. Our goal is to build a user friendly and scalable probabilistic programming system by employing powerful techniques from language design, program analysis and…
Rural government maternal health workers in India are called Accredited Social Health Activists, or ASHAs. ASHA Assist is a tool designed to help ASHAs engage their clients in persuasive discussions about various topics related to maternal health. ASHA Assist consists of interactive videos on mobile…
Fast R-CNN (Region-based Convolutional Network) is a clean and fast framework for object detection. Compared to traditional R-CNN, and its accelerated version SPPnet, Fast R-CNN trains networks using a multi-task loss in a single training stage. The multi-task loss simplifies learning and improves detection accuracy.…
This is a dataset that can be used for training and evaluating knowledge base completion approaches for inferring missing entity type instances. We construct our training snapshot by taking the Freebase snapshot on 3rd September, 2013 and consider entities that have a link to their…
Probabilistic Z3 is a solver for the bounded reachability problem that uses the symbolic approximation technique described in the following paper: Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, and Youssef Hamadi, Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains,…
Rich Interactive Narratives (RIN) seamlessly combines cinematic experiences with user exploration to create rich interactive and immersive narratives. RIN Studio is an authoring tool for creating Rich Interactive Narratives without coding by providing an interface similar to video editing tools. It produces RIN JSON files…
Understanding how users form and update their opinions through interactions with their friends and neighbors in social networks is a fundamental problem with applications to online advertising, recommendations, and marketing. In our research, we carried out extensive user studies using Amazon Mechanical Turk as part…
Scalable Fabric is a task management system for the Windows desktop. A central focus area, defined by you, contains windows that behave in the traditional way. When you drag a window into the periphery, it becomes smaller and continues to get smaller the closer you…
By acquiring two digital images of a scene, one with flash and one without flash, we let the user subsequently interpolate the images to obtain any continuous flash intensity, and even extrapolate beyond the original images. Last published: October 3, 2003.
A fast, flexible, perl-compliant regular expression template library for C++. Last published: August 25, 2003.