Recibió el Premio Turing de la ACM--el galardón más prestigioso que se concede en su campo--junto con Robert Tarjan en 1986, "por logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos." Además de su labor investigadora, es bien conocido por sus libros sobre algoritmos y lenguajes formales, escritos junto con Jeffrey Ullman y Alfred Aho, siendo sus títulos considerados como textos clásicos en el campo.