Research Tools: code, datasets, & models

FourQlib is an efficient and portable math library that provides functions for computing essential elliptic curve operations on a new, high-performance curve called “FourQ”. This curve targets the 128-bit security level.

This project constitutes the original C++ implementation of the influence oracle and influence maximization algorithms, which were developed in the paper Sketch-based Influence Maximization and Computation: Scaling Up with Guarantees (opens in new tab) by Edith Cohen (opens…

Scalable Joins is a CLR library for declarative, scalable parallel synchronization.

An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search. This project is the implementation of the algorithm introduced in the paper A Robust and Scalable Algorithm for the Steiner…

The WikiQA corpus is a new publicly available set of question and sentence pairs, collected and annotated for research on open-domain question answering. In order to reflect the true information need of general users, we…

The FingerPaint Dataset contains video-sequences of several individuals performing hand gestures, as captured by a depth camera. The ground truth locations of the fingertips are included as an annotation for each frame of the video.…

The MSR Ironclad project builds provably secure and reliable systems.

Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior.

Sent2vec maps a pair of short text strings (e.g., sentences or query-answer pairs) to a pair of feature vectors in a continuous, low-dimensional space where the semantic similarity between the text strings is computed as…

This download primarily contains a list of URLs with paired natural language descriptions and code, as well as a separate of those URLs into training, development, and test data. In addition, code is included to…