[Stephen W. Keckler](https://www.cs.utexas.edu/users/skeckler/)