Department of Computer Science, Rice University, Houston, 77005, Texas, USA.|Department of Computer Science, Rice University, Houston, 77005, Texas, USA.|Department of Computer Science, Rice University, Houston, 77005, Texas, USA. nakhleh@rice.edu.