Research Tools: code, datasets, & models

SIDH is a fast and portable software library that implements a new suite of algorithms for Supersingular Isogeny Diffie-Hellman (SIDH) key exchange. The chosen parameters aim to provide 128 bits of security against attackers running…

The schema and queries of the TPC-H (formerly TPC-D) benchmark are widely used by people in the database community. One of the requirements of the benchmark is that data for columns in the database are…

OTP4LTE-U implements a basic subset of LTE PHY features, as well as the rudimentary MAC, RLC, PDCP and RRC, sufficient to connect a standard LTE dongle. OTP4LTE-U also implements the LTE-U specification and can be…

Table Sorter lets you create stacked table columns to explore how different combinations and weightings of numerical column values result in different rank orderings of table records. Column headings show the distribution of column values…

This is an experimental programming language for heterogeneous systems based on multi-stage programming.

An image processing language implemented entirely in C# using the new Vector SIMD class. Generates multithreaded and SIMD optimized code from a high level language input. Has primitives for per pixel and convolution operations and…

VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct. If it succeeds,…

Machine learning tools for modeling viral adaptation to host immune responses.

Mping is a simple command line application that sends and receives multicast packets. Last published: March 16, 2016.

StereoMatcher is an implementation of some commonly used two-frame stereo matching algorithms. It also contains code to evaluate the quality of a computed depth map relative to a ground truth image.