Building reliable, high-performance communication systems from components. - Xiaoming Liu 003; Christoph Kreitz; Robbert van Renesse; Jason Hickey; Mark Hayden; Kenneth P. Birman; Robert L. Constable (SOSP, 1999)

Fast protocol transition in a distributed environment (brief announcement). - Xiaoming Liu 003; Robbert van Renesse (PODC, 2000)

Protocol Switching: Exploiting Meta-Properties. - Xiaoming Liu 003; Robbert van Renesse; Mark Bickford; Christoph Kreitz; Robert L. Constable (ICDCS Workshops, 2001)

Proving Hybrid Protocols Correct. - Mark Bickford; Christoph Kreitz; Robbert van Renesse; Xiaoming Liu 003 (TPHOLs, 2001)

Building High Performance Adaptive Communication Systems for Components. - Xiaoming Liu 003 (2001)