© Duke University Department of Computer Science, 2011.