Department of Computer Science, University of Notre Dame, Notre Dame, Indiana, United States of America.|Department of Computer Science, University of Notre Dame, Notre Dame, Indiana, United States of America.|Department of Computer Science, University of Notre Dame, Notre Dame, Indiana, United States of America.