|Born||November 18, 1955 (age 66)|
|Alma mater||University of California, Berkeley|
|Occupation||N. Rama Rao Chair in Computer Science, Cornell University College of Computing and Information Science|
Kenneth P. Birman (born November 18, 1955) is a professor in the Department of Computer Science at Cornell University.
Research and publications
Birman's research is mainly concerned with scalability of distributed systems, security technologies, and system management tools employed in cloud computing.
An ACM Fellow and IEEE Fellow, Birman was Editor in Chief of ACM Transactions on Computer Systems from 1993-1998. He is also the author of several books, most recently Reliable Distributed Computing: Technologies, Web Services, and Applications, published by Springer-Verlag in May 2007.
Virtual Synchrony, Derecho, and the Isis Toolkit
He is best known for developing the Isis Toolkit, which introduced the virtual synchrony execution model for multicast communication. Birman founded Isis Distributed Systems to commercialize this software, which was used by stock exchanges, for air traffic control, and in factory automation. The Isis software operated the New York and Swiss Stock Exchanges for more than a decade, and continues to be actively used in the French air traffic control system and the US Navy AEGIS warship.
The technology permits distributed systems to automatically adapt themselves when failures or other disruptions occur, to securely share keys and security policy data, and to replicate critical services so that availability can be maintained even while some system components are down.
Birman's research group at Cornell has created a series of open-source systems. Most recent among these is Derecho, a C++ library that provides Paxos in a form particularly well suited to modern datacenter networks, which run at very high speeds and can have extremely low node-to-node latencies. In such systems, it is important to adopt a protocol design that streams data as asynchronously as possible, and Derecho is unusual among data replication options in this respect: it uses a new "receiver-driven opportunistic batching" approach, whereby senders rarely need to pause when streaming high volume data.
Other results of Birman's Cornell research effort include Bimodal Multicast, a probabilistically reliable broadcast protocol, which uses the gossip paradigm; and Astrolabe, a scalable tool for monitoring, data mining and managing large systems.
- Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Matthew Milano, Weijia Song, Edward Tremel, Robbert Van Renesse, Sydney Zink, and Kenneth P. Birman. Derecho: Fast State Machine Replication for Cloud Services. ACM Trans. Comput. Syst. 36, 2, Article 4 (April 2019), 49 pages. DOI: https://doi.org/10.1145/3302258
- Birman, Kenneth P. Guide to Reliable Distributed Systems: Building High-Assurance Applications and Cloud-Hosted Services. Textbook, 2012, 730p. 138 illus. (Springer Verlag)
- Birman, Kenneth P, Lakshmi Ganesh, and Robbert van Renesse. Running Smart Grid Control Software on Cloud Computing Architectures. Workshop on Computational Needs for the Next Generation Electric Grid, Cornell University, April 19–20, 2011. Ithaca, NY.
- Freedman, Daniel A., Tudor Marian, Kenneth P. Birman, Hakim Weatherspoon. 2010. Exact temporal characterization of a 10 Gbps optical wide-area network. Melbourne, Australia November.
- Surton, Robert, Kenneth P. Birman, R van Renesse 2013. Non-Stop Routing for BGP with Application-Driven TCP Recovery. Distributed Systems and Networks (DSN), Budapest, June.
- Birman, Kenneth P., Daniel A. Freedman and Qi Huang. Overcoming CAP with Consistent Soft-State Replication. IEEE Computer Magazine (special issue on “The Growing Impact of the CAP Theorem”). Volume 12. pp. 50–58. February 2012.
- Vigfusson, Ymir, Hussam Abu-Libdeh, Mahesh Balakrishnan, Ken Birman, Robert Burgess, Haoyuan Li, Gregory Chockler, Yoav Tock. Dr. Multicast: Rx for Data Center Communication Scalability. ACM SIGOPS European Systems Conference (Eurosys), April 2010 (Paris, France). ACM SIGOPS 2010, pp. 349–362.
Selected awards and honors
- IEEE Technical Committee on Distributed Processing Outstanding Achievement Award 2009
- IEEE Tsutomu Kanai Award for Distributed Computing 2009
- Research Visionary Award (Cisco Corporation) 2008
- Appointed N. Rama Rao Professor of Computer Science 2009
- ACM Fellow (1998)
- IEEE Fellow (2014)
- ACM SIGOPS Hall of Fame Award 2013 (for "Exploiting Virtual Synchrony in Distributed Systems", published in the 1987 ACM SOSP conference).
A complete list of Birman's publications can be found here.
Birman's group has built quite a bit of software that can be downloaded, free (notably his group's new Derecho platform). Derecho implements an optimal Paxos protocol, configurable to support the classical durable Paxos with persistent storage, as well as an atomic multicast conforming to the vertical Paxos specification but using virtual synchrony for membership management. Derecho automatically maps to RDMA hardware when possible, and is highly performant both on RDMA and over standard TCP.
- Birman, Kenneth (2012). Guide to Reliable Distributed Systems. Building High-Assurance Applications and Cloud-Hosted Services. Springer Verlag.
- Birman, Kenneth; Joseph, Thomas (Nov 1987). "Reliable communication in the presence of failures". ACM Transactions on Computer Systems. 5 (1): 47–76. doi:10.1145/7351.7478. S2CID 11224827.
- Birman, Kenneth; Van Renesse, Robbert (1994). Reliable distributed computing with the Isis toolkit. IEEE Computer Society Press.
- Birman, Kenneth (1993). "The process group approach to reliable distributed computing". Communications of the ACM. 36 (12): 37–53. CiteSeerX 10.1.1.107.4597. doi:10.1145/163298.163303. S2CID 12190528.
- Birman, Kenneth (July 1999). "A Review of Experiences with Reliable Multicast" (PDF). Software: Practice and Experience. 29 (9): 741–774. doi:10.1002/(sici)1097-024x(19990725)29:9<741::aid-spe259>3.0.co;2-i. hdl:1813/7380.
- Jha, Sagar; Behrens, Jonathan; Gkountouvas, Theo; Milano, Matthew; Song, Weijia; Tremel, Edward; van Renesse, Robbert; Zink, Sydney; Birman, Ken (April 2019). "Derecho: Fast State Machine Replication for Cloud Services". ACM Transactions on Computer Systems. 36 (2). doi:10.1145/3302258.
- Birman, Kenneth; Hayden, Mark; Ozkasap, Oznur; Xiao, Zhen; Budiu, Mihai; Minsky, Yaron (1999). "Bimodal multicast". ACM Transactions on Computer Systems. 17 (2): 41–88. doi:10.1145/312203.312207. S2CID 207744063.
- Van Renesse, Robbert; Birman, Kenneth; Vogels, Werner (2003). "Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining". ACM Transactions on Computer Systems. 21 (2): 164–206. doi:10.1145/762483.762485. S2CID 6204358.
- "Cornell University College of Engineering Faculty". 2013. Cornell University. Retrieved 20 August 2013.