Yale University Department of Computer Science