University of Virginia Department of
    Computer Science