Mark Hayden

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

Mark Hayden
Distributed communication in ML. J. Funct. Program. 10 (1) (2000)
Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable
Building reliable, high-performance communication systems from components. SOSP (1999)
Kenneth P. Birman, Mark Hayden, Öznur Özkasap, Zhen Xiao, Mihai Budiu, Yaron Minsky
Bimodal Multicast. ACM Trans. Comput. Syst. 17 (2) (1999)
Kenneth P. Birman, Roy Friedman, Mark Hayden, Injong Rhee
Middleware support for distributed multimedia and collaborative computing. Softw. Pract. Exp. 29 (14) (1999)
Robbert van Renesse, Kenneth P. Birman, Mark Hayden, Alexey Vaysburd, David A. Karr
Building Adaptive Systems Using Ensemble. Softw. Pract. Exp. 28 (9) (1998)
Christoph Kreitz, Mark Hayden, Jason Hickey
A Proof Environment for the Development of Group Communication Systems. CADE (1998)
Mark Hayden, Robbert van Renesse
Optimizing Layered Communication Protocols. HPDC (1997)
Richard J. Fateman, Mark Hayden
Speeding up Lisp-based symbolic mathematics. SIGSAM Bull. 30 (1) (1996)
Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, David A. Karr
A Framework for Protocol Composition in Horus. PODC (1995)