"University of Texas"@cs .