Descubrió el análisis amortizado e inventó muchas estructuras de datos junto con Robert Tarjan, como por ejemplo los splay trees, link/cut tree y la estructura de datos persistente.