<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="72A66CA0-8446-4006-B6CB-1E3BB2CBD937" 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 style="font-size: 14px;" class=""><b class="">Ken Birman</b></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span style="font-size: 14px;" class=""><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 style="font-size: 14px;" class="">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 style="font-size: 14px;" class="">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 style="font-size: 14px;" class="">Ken Birman is the N.</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">Rama Rao Professor of Computer Science at Cornell.</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">An ACM Fellow and the winner of the IEEE</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">Tsutomu Kanai Award, Ken has written 3 textbooks and published more than 150</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">papers in prestigious journals and conferences.</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">Software he developed operated the New York Stock Exchange for more than</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">a decade without trading disruptions, and plays central roles in the French Air</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">Traffic Control System and the US Navy AEGIS warship. Other technologies from</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">his group found their way into IBM’s Websphere product, Amazon’s EC2 and S3</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">systems, Microsoft’s cluster management</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">solutions, and the US Northeast bulk</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">power grid.</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">His Vsync system (<a href="http://vsync.codeplex.com" class="">vsync.codeplex.com</a>)</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">has become a widely used teaching tool for students learning to create secure,</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">strongly consistent and scalable cloud</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">computing solutions.</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">Derecho is intended for demanding settings</span><span style="font-size: 14px;" class=""> </span><span style="font-size: 14px;" class="">such as the smart power grid, smart highways and homes, and scalable vision</span><span style="font-size: 14px;" class=""> 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><div class=""><br class="Apple-interchange-newline">
</div>
<br class=""></body></html>