If you would like to contribute your name to this list, please contact jdu...@cs.utexas.edu.