<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div apple-content-edited="true" class="" style="orphans: 2; widows: 2;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 14px;">UNIVERSITY OF CHICAGO<br class="">DEPARTMENT OF COMPUTER SCIENCE<br class="">DISTINGUISHED LECTURE SERIES</span></div><div class="" style="margin: 0in 0in 0.0001pt;"><br class=""><a href="https://cs.uchicago.edu/page/distinguished-lecture-series" class="" style="font-size: 14px;">https://cs.uchicago.edu/page/distinguished-lecture-series</a></div><div class="" style="margin: 0in 0in 0.0001pt;"><br class=""><br class=""></div><div class="" style="margin: 0in 0in 0.0001pt;"><img apple-inline="yes" id="5436B70A-5F25-45AA-B24A-59A5EDB4093D" height="119" width="100" apple-width="yes" apple-height="yes" src="cid:8324AA12-9430-41FA-8B01-D8C538C00687@cs.uchicago.edu" class=""></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 14px;"><b class="">Ken Birman</b></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 14px;"><b class="">Cornell University</b></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><br class=""></div><div class="" style="margin: 0in 0in 0.0001pt;"><b class=""><font class="" style="font-size: 14px;"><br class=""></font></b></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 14px;"><b class=""><font class="">Monday, October 30, 2017 at 2:30 pm <br class="">Ryerson 251</font></b><br class=""><br class=""><b class=""><font class=""><br class=""></font></b></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 14px;"><b class=""><font class="">Title:</font></b> </span><span class="" style="font-size: 14px;">Building Smart Memories and Cloud Services with Derecho</span></div></div></div></div><font size="4" class="" style="orphans: 2; widows: 2;"><br class=""></font><div class="" style="orphans: 2; widows: 2;"><b class=""><font class="" style="font-size: 14px;">Abstract:</font></b></div><div class="" style="orphans: 2; widows: 2;"><span class="" style="font-size: 14px;">The Derecho platform was created to support a new generation of Internet-of-Things (IoT) applications with online machine-learning components. At cloud-scale, such applications require us to build smart memory systems. I’m using this term to refer to a customizable service designed to accept high-bandwidth data pipelines from sources, able to apply machine-learning tools to analyze and understand received content, and offering ways to query the resulting knowledge base with minimal delay. Such services would also need to scale out, yet must maintain their rapid responsiveness and strong consistency. <br class=""><br class="">Derecho, which is now fully implemented (<a href="http://github.org/Derecho-Project" class="">github.org/Derecho-Project</a>), leverages persistent memory and RDMA to solve this problem with exceptional performance and scalability. Derecho is also interesting from a theoretical perspective. In particular, the core protocols used implement Paxos state machine replication in a novel manner optimized for RDMA settings. These protocols have been proved correct, and are also optimal in terms of delay before message delivery, progress during failures and even the mapping to RDMA hardware.<br class=""><br class=""> <br class=""></span><b class=""><font class="" style="font-size: 14px;">Bio:</font></b></div><div class="" style="orphans: 2; widows: 2;"><span class="" style="font-size: 14px;">Ken Birman is the N.</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">Rama Rao Professor of Computer Science at Cornell.</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">An ACM Fellow and the winner of the IEEE</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">Tsutomu Kanai Award, Ken has written 3 textbooks and published more than 150</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">papers in prestigious journals and conferences.</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">Software he developed operated the New York Stock Exchange for more than</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">a decade without trading disruptions, and plays central roles in the French Air</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">Traffic Control System and the US Navy AEGIS warship. Other technologies from</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">his group found their way into IBM’s Websphere product, Amazon’s EC2 and S3</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">systems, Microsoft’s cluster management</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">solutions, and the US Northeast bulk</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">power grid.</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">His Vsync system (<a href="http://vsync.codeplex.com" class="">vsync.codeplex.com</a>)</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">has become a widely used teaching tool for students learning to create secure,</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">strongly consistent and scalable cloud</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">computing solutions.</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">Derecho is intended for demanding settings</span><span class="" style="font-size: 14px;"> </span><span class="" style="font-size: 14px;">such as the smart power grid, smart highways and homes, and scalable vision</span><span class="" style="font-size: 14px;"> systems.</span></div><div class="" style="orphans: 2; widows: 2;"><span class=""><br class=""><font class="" style="font-size: 14px;">Host: Ian Foster</font></span></div><div class="" style="orphans: 2; widows: 2;"><font size="4" class=""><br class=""></font></div><div class="" style="orphans: 2; widows: 2;"><font size="4" class=""><br class=""></font></div><div class="" style="orphans: 2; widows: 2;"><i class=""><font class="" style="font-size: 14px;">*Reception to follow in Ry. 255 at 3:30 pm*</font></i></div><div class=""><i class=""><font class="" style="font-size: 14px;"><br class=""></font></i></div></body></html>