A unified theory of shared memory consistency.
Almost tight upper bounds for vertical decompositions in four dimensions.
Automatic information extraction from large websites.
Self-stabilizing clock synchronization in the presence of Byzantine faults.