Research Tools: code, datasets, & models

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.

JCLUSTER is a fast simple clustering program that produces hierarchical, binary branching, tree structured clusters. Last published: March 16, 2016.

Mppt is an add-in for PowerPoint that allows a presenter to multicast PowerPoint slides, including animations and effects, to a group of viewers. Last published: March 16, 2016

Fran is a Haskell library (or “embedded language”) for interactive animations with 2D and 3D graphics and sound. Last published: March 16, 2016.

The WinMine Toolkit contains a set of tools that allow you to build statistical models from data. Last published: February 19, 2016.