Isil and Tom Dillig are currently doctoral students in the Stanford Computer Science Department. They have accepted offers to join the Department of Computer Science at William & Mary as Assistant ...