Travelled to:1 × Germany
2 × USA
Collaborated with:R.v.Renesse C.Kreitz J.Hickey X.Liu K.P.Birman R.L.Constable
Talks about:communic (3) system (2) protocol (1) reliabl (1) perform (1) environ (1) develop (1) compon (1) proof (1) optim (1)
Person: Mark Hayden
DBLP: Hayden:Mark
Contributed to:
1999
1998
1997Wrote 3 papers:
- SOSP-1999-LiuKRHHBC #communication #component #reliability
- Building reliable, high-performance communication systems from components (XL, CK, RvR, JH, MH, KPB, RLC), pp. 80–92.
- CADE-1998-KreitzHH #communication #development #proving
- A Proof Environment for the Development of Group Communication Systems (CK, MH, JH), pp. 317–332.
- HPDC-1997-HaydenR #communication #optimisation #protocol
- Optimizing Layered Communication Protocols (MH, RvR), pp. 169–177.