307:). 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.
183:
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.
182:
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
174:
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
178:
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.
519:
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".
721:
70:
691:
600:
Van
Renesse, Robbert; Birman, Kenneth; Vogels, Werner (2003). "Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining".
696:
115:(born November 18, 1955) is a professor in the Department of Computer Science at Cornell University. He currently holds the N. Rama Rao Chair in Computer Science.
204:
Sagar Jha, Jonathan
Behrens, Theo Gkountouvas, Matthew Milano, Weijia Song, Edward Tremel, Robbert Van Renesse, Sydney Zink, and Kenneth P. Birman.
716:
139:
Birman's research is mainly concerned with scalability of distributed systems, security technologies, and system management tools employed in
191:
Other results of Birman's
Cornell research effort include Bimodal Multicast, a probabilistically reliable broadcast protocol, which uses the
602:
563:
522:
364:
285:
ACM SIGOPS Hall of Fame Award 2013 (for "Exploiting
Virtual Synchrony in Distributed Systems", published in the 1987 ACM SOSP conference).
495:
711:
686:
128:
59:
249:
Vigfusson, Ymir, Hussam Abu-Libdeh, Mahesh
Balakrishnan, Ken Birman, Robert Burgess, Haoyuan Li, Gregory Chockler, Yoav Tock.
246:
IEEE Computer
Magazine (special issue on βThe Growing Impact of the CAP Theoremβ). Volume 12. pp. 50β58. February 2012.
225:
Workshop on Computational Needs for the Next Generation Electric Grid, Cornell University, April 19β20, 2011. Ithaca, NY.
482:
428:
253:
ACM SIGOPS European Systems Conference (Eurosys), April 2010 (Paris, France). ACM SIGOPS 2010, pp. 349β362.
637:
701:
437:
303:
Birman's group has built quite a bit of software that can be downloaded, free (notably his group's new
216:
Guide to Reliable Distributed Systems: Building High-Assurance Applications and Cloud-Hosted Services.
175:
continues to be actively used in the French air traffic control system and the US Navy AEGIS warship.
706:
345:
Guide to Reliable Distributed Systems. Building High-Assurance Applications and Cloud-Hosted Services
442:
319:
267:
124:
55:
619:
582:
539:
474:
455:
393:
195:
paradigm; and Astrolabe, a scalable tool for monitoring, data mining and managing large systems.
74:
557:
Birman, Kenneth; Hayden, Mark; Ozkasap, Oznur; Xiao, Zhen; Budiu, Mihai; Minsky, Yaron (1999).
171:
611:
572:
531:
499:
491:
447:
383:
373:
44:
297:
192:
140:
426:
Birman, Kenneth (1993). "The process group approach to reliable distributed computing".
680:
586:
543:
263:
IEEE Technical Committee on Distributed Processing Outstanding Achievement Award 2009
40:
459:
397:
623:
228:
Freedman, Daniel A., Tudor Marian, Kenneth P. Birman, Hakim Weatherspoon. 2010.
151:
147:
496:
10.1002/(sici)1097-024x(19990725)29:9<741::aid-spe259>3.0.co;2-i
160:
Reliable Distributed Computing: Technologies, Web Services, and Applications
615:
577:
558:
451:
208:
ACM Trans. Comput. Syst. 36, 2, Article 4 (April 2019), 49 pages. DOI:
170:
He is best known for developing the Isis Toolkit, which introduced the
378:
359:
304:
230:
Exact temporal characterization of a 10 Gbps optical wide-area network
158:
from 1993-1998. He is also the author of several books, most recently
671:
504:
388:
223:
Running Smart Grid Control Software on Cloud Computing Architectures.
535:
209:
93:
666:
237:
Non-Stop Routing for BGP with Application-Driven TCP Recovery
251:
Dr. Multicast: Rx for Data Center Communication Scalability.
221:
Birman, Kenneth P, Lakshmi Ganesh, and Robbert van Renesse.
206:
Derecho: Fast State Machine Replication for Cloud Services.
239:. Distributed Systems and Networks (DSN), Budapest, June.
722:
Columbia School of Engineering and Applied Science alumni
276:
Appointed N. Rama Rao Professor of Computer Science 2009
692:
1999 fellows of the Association for Computing Machinery
235:
Surton, Robert, Kenneth P. Birman, R van Renesse 2013.
296:
A complete list of Birman's publications can be found
244:
Overcoming CAP with Consistent Soft-State Replication.
242:
Birman, Kenneth P., Daniel A. Freedman and Qi Huang.
413:
Reliable distributed computing with the Isis toolkit
360:"Reliable communication in the presence of failures"
638:"Cornell University College of Engineering Faculty"
88:
80:
65:
51:
25:
18:
218:Textbook, 2012, 730p. 138 illus. (Springer Verlag)
475:"A Review of Experiences with Reliable Multicast"
273:Research Visionary Award (Cisco Corporation) 2008
166:Virtual Synchrony, Derecho, and the Isis Toolkit
411:Birman, Kenneth; Van Renesse, Robbert (1994).
8:
358:Birman, Kenneth; Joseph, Thomas (Nov 1987).
162:, published by Springer-Verlag in May 2007.
71:College of Computing and Information Science
15:
697:UC Berkeley College of Engineering alumni
576:
503:
441:
387:
377:
311:
69:N. Rama Rao Chair in Computer Science,
7:
603:ACM Transactions on Computer Systems
564:ACM Transactions on Computer Systems
523:ACM Transactions on Computer Systems
365:ACM Transactions on Computer Systems
156:ACM Transactions on Computer Systems
320:"Ken Birman | Cornell Engineering"
129:University of California, Berkeley
60:University of California, Berkeley
14:
483:Software: Practice and Experience
232:. Melbourne, Australia November.
154:, Birman was Editor in Chief of
210:https://doi.org/10.1145/3302258
415:. IEEE Computer Society Press.
270:for Distributed Computing 2009
123:Birman received his B.S. from
1:
717:Writers from Ithaca, New York
473:Birman, Kenneth (July 1999).
324:www.engineering.cornell.edu
738:
712:Writers from New York City
687:Cornell University faculty
258:Selected awards and honors
429:Communications of the ACM
135:Research and publications
343:Birman, Kenneth (2012).
667:Ken Birman's home page
672:Derecho download page
616:10.1145/762483.762485
578:10.1145/312203.312207
452:10.1145/163298.163303
199:Selected publications
644:. Cornell University
214:Birman, Kenneth P.
559:"Bimodal multicast"
268:Tsutomu Kanai Award
125:Columbia University
56:Columbia University
347:. Springer Verlag.
282:IEEE Fellow (2014)
75:Cornell University
379:10.1145/7351.7478
279:ACM Fellow (1998)
172:virtual synchrony
113:Kenneth P. Birman
110:
109:
29:November 18, 1955
729:
654:
653:
651:
649:
634:
628:
627:
597:
591:
590:
580:
554:
548:
547:
516:
510:
509:
507:
479:
470:
464:
463:
445:
423:
417:
416:
408:
402:
401:
391:
381:
355:
349:
348:
340:
334:
333:
331:
330:
316:
305:Derecho platform
106:
103:
101:
99:
97:
95:
36:
34:
16:
737:
736:
732:
731:
730:
728:
727:
726:
677:
676:
663:
658:
657:
647:
645:
636:
635:
631:
599:
598:
594:
556:
555:
551:
536:10.1145/3302258
518:
517:
513:
477:
472:
471:
467:
443:10.1.1.107.4597
425:
424:
420:
410:
409:
405:
357:
356:
352:
342:
341:
337:
328:
326:
318:
317:
313:
294:
260:
201:
189:
168:
141:cloud computing
137:
127:and Ph.D. from
121:
92:
58:
52:Alma mater
47:
38:
32:
30:
21:
12:
11:
5:
735:
733:
725:
724:
719:
714:
709:
704:
699:
694:
689:
679:
678:
675:
674:
669:
662:
661:External links
659:
656:
655:
629:
610:(2): 164β206.
592:
549:
511:
490:(9): 741β774.
465:
418:
403:
350:
335:
310:
309:
293:
290:
287:
286:
283:
280:
277:
274:
271:
264:
259:
256:
255:
254:
247:
240:
233:
226:
219:
212:
200:
197:
188:
187:Other research
185:
167:
164:
136:
133:
120:
117:
108:
107:
90:
86:
85:
82:
78:
77:
67:
63:
62:
53:
49:
48:
39:
27:
23:
22:
19:
13:
10:
9:
6:
4:
3:
2:
734:
723:
720:
718:
715:
713:
710:
708:
705:
703:
702:Living people
700:
698:
695:
693:
690:
688:
685:
684:
682:
673:
670:
668:
665:
664:
660:
643:
639:
633:
630:
625:
621:
617:
613:
609:
605:
604:
596:
593:
588:
584:
579:
574:
570:
566:
565:
560:
553:
550:
545:
541:
537:
533:
529:
525:
524:
515:
512:
506:
501:
497:
493:
489:
485:
484:
476:
469:
466:
461:
457:
453:
449:
444:
439:
436:(12): 37β53.
435:
431:
430:
422:
419:
414:
407:
404:
399:
395:
390:
385:
380:
375:
371:
367:
366:
361:
354:
351:
346:
339:
336:
325:
321:
315:
312:
308:
306:
301:
299:
291:
289:
284:
281:
278:
275:
272:
269:
265:
262:
261:
257:
252:
248:
245:
241:
238:
234:
231:
227:
224:
220:
217:
213:
211:
207:
203:
202:
198:
196:
194:
186:
184:
180:
176:
173:
165:
163:
161:
157:
153:
149:
144:
142:
134:
132:
130:
126:
118:
116:
114:
105:
91:
87:
84:Anne Neirynck
83:
79:
76:
72:
68:
66:Occupation(s)
64:
61:
57:
54:
50:
46:
42:
41:New York City
37:(age 68)
28:
24:
17:
646:. Retrieved
641:
632:
607:
601:
595:
571:(2): 41β88.
568:
562:
552:
527:
521:
514:
487:
481:
468:
433:
427:
421:
412:
406:
372:(1): 47β76.
369:
363:
353:
344:
338:
327:. Retrieved
323:
314:
302:
295:
288:
250:
243:
236:
229:
222:
215:
205:
190:
181:
177:
169:
159:
155:
145:
138:
122:
112:
111:
707:1955 births
152:IEEE Fellow
681:Categories
329:2022-12-05
292:References
148:ACM Fellow
33:1955-11-18
20:Ken Birman
648:20 August
587:207744063
544:218482757
505:1813/7380
438:CiteSeerX
389:1813/6534
119:Education
460:12190528
398:11224827
98:.cornell
45:New York
624:6204358
89:Website
31: (
622:
585:
542:
458:
440:
396:
193:gossip
81:Spouse
620:S2CID
583:S2CID
540:S2CID
530:(2).
478:(PDF)
456:S2CID
394:S2CID
266:IEEE
650:2013
642:2013
298:here
150:and
102:/ken
100:.edu
26:Born
612:doi
573:doi
532:doi
500:hdl
492:doi
448:doi
384:hdl
374:doi
146:An
96:.cs
94:www
683::
640:.
618:.
608:21
606:.
581:.
569:17
567:.
561:.
538:.
528:36
526:.
498:.
488:29
486:.
480:.
454:.
446:.
434:36
432:.
392:.
382:.
368:.
362:.
322:.
300:.
143:.
131:.
73:,
43:,
652:.
626:.
614::
589:.
575::
546:.
534::
508:.
502::
494::
462:.
450::
400:.
386::
376::
370:5
332:.
104:/
35:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.