Garth Gibson Contact: garth@cs.cmu.edu Projects Systematic Testing of Distributed and Multi-Threaded Systems at Scale