Saba, Joint project with Microsoft Research
A performance-centric bandwidth allocation scheme designed for datacenter networks and optimized for bandwidth-hungry frameworks (e.g., Apache Spark).
Deterministic QEMU, Joint project with PARSA Lab, EPFL
Detection and elimination of various sources of non-deterministic behavior of QEMU.
A modern compiler for BrainF Language, written in Rust. The compiler is designed to be one of the richest implementations of this language using various optimization techniques.
Bigkernel, Joint project with the University of Toronto
A high-performance CPU-GPU communication pipelining scheme for big data style applications at compile-time, developed using LLVM.
FTwitter, Joint project with DA Research Group at UNSW
A rich Application Programming Interface for Twitter data manipulation, both locally and online.