the Department of Computer Science, Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas