Graduate Student
Computer Sciences Department
University of Wisconsin-Madison

Office: CS 6355

Proofs from Tests TSE 2010

Cooperative Crug Isolation WODA 2009

The Yogi Project: Software Property Checking via Static Analysis and Testing TACAS 2009

Comprehensive Path-sensitive Data-flow Analysis CGO 2008

Prof. Reps Old Page