umangm

realsyn

Automated Controller Synthesis

ziptrack

Race Detection on Compressed Traces

Collaborative-Drawing

Collaborative Drawing over the LAN

mopedqleak

MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs

Chess-scheme

Chess made in functional language "Racket". Enjoy both "vs Friend" and "vs Computer" gameplay

cs421project

EdiTo-1

Collaborative typing from within text editor

gedit-collaboration

gedit collaboration plugin

iRise

calculate image similarity based on SIFT (scale invariant feature transform)

Database-Project

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

EdiTo

Imagify

Yahoo HackU

javamop

Runtime verification system for Java, using AspectJ for instrumentation.

jemdoc-new-design

jemdoc with new design and support Mathjax.

rv-monitor

RV-Monitor core system code

Snake

streamverif

UFO

UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities