Projects

Cortex

Tool to discover latent concurrency bugs in Java multithreaded applications

Falcon

Tool to capture and analyze causally-related events in distributed systems

Nando

Deep Q-Learning agent for playing Tic-Tac-Toe

Symbiosis

Tool to isolate concurrency bugs in Java and C/C++ multithreaded applications