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.
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.
Most recent among these is Derecho,[7] 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.
Other results of Birman's Cornell research effort include Bimodal Multicast,[8] a probabilistically reliable broadcast protocol, which uses the gossip paradigm; and Astrolabe,[9] a scalable tool for monitoring, data mining and managing large systems.