<html><body><span style="color: rgb(97, 97, 97); font-family: Raleway, sans-serif; font-size: 15px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: 21.4285717010498px; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; display: inline !important; float: none; background-color: rgb(255, 255, 255);">Distinguished Colloquium Speaker<br>Dahlia Malkhi, until recently from Microsoft Research, Silicon Valley<br>Tuesday, November 18, 4:30pm<br>Computer Science 105<br></span><br><span style="color: rgb(97, 97, 97); font-family: Raleway, sans-serif; font-size: 15px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: 21.4285717010498px; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; display: inline !important; float: none; background-color: rgb(255, 255, 255);">CorfuDB: Transactional Data Services over a
Shared Log<br><br>Conventional wisdom has it that the only way to
scale replicated services is by partitioning the data. What would you do
if given an infrastructure that breaks the seeming tradeoff between
consistency and scale?</span><br style="box-sizing: border-box; color: rgb(97, 97, 97); font-family: Raleway, sans-serif; font-size: 15px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: 21.4285717010498px; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255);"><span style="color: rgb(97, 97, 97); font-family: Raleway, sans-serif; font-size: 15px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: 21.4285717010498px; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; display: inline !important; float: none; background-color: rgb(255, 255, 255);"> </span><br style="box-sizing: border-box; color: rgb(97, 97, 97); font-family: Raleway, sans-serif; font-size: 15px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: 21.4285717010498px; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255);"><span style="color: rgb(97, 97, 97); font-family: Raleway, sans-serif; font-size: 15px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: 21.4285717010498px; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; display: inline !important; float: none; background-color: rgb(255, 255, 255);">The
talk will describe our experience with building CorfuDB, a distributed
fabric that drives consistency and transactional guarantees at
high-throughput. CorfuDB facilitates building distributed services in
which in-memory data-structures are backed by a shared log. The core is
built around the CORFU log, which clients can append-to and read-from
over a network. Internally, CORFU is distributed over a cluster of
machines with no single I/O bottleneck to either appends or reads. Atop
CORFU is Tango, a fabric for programming transactional data services
such as the Hyder DB and an Apache-ZooKeeper alternative.</span><p style="box-sizing: border-box; margin: 0px; color: rgb(97, 97, 97); font-family: Raleway, sans-serif; font-size: 15px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: 21.4285717010498px; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255);">Dahlia
Malkhi has been a principal researcher at Microsoft Research, Silicon
Valley from 2004 until the lab shut down in Sep 2014. She works on
applied and foundational research in reliability, consistency and
security of distributed computing since the early nineties.<br style="box-sizing: border-box;"> <br style="box-sizing: border-box;">Prior
to joining Microsoft Research, Dr. Malkhi was an associate professor at
the Hebrew University of Jerusalem (1999-2007), left for a brief
sabbatical, but was bitten by the Silicon Valley bug and remained at
Microsoft. She holds a PhD (1994), M.Sc and B.Sc in computer science
from the Hebrew University of Jerusalem, making her the only CS faculty
to return to the Hebrew U. for all four academic stages. Dr. Malkhi was
elected an ACM fellow in 2011, received the IBM Faculty award in 2003
and 2004 and the German-Israeli Foundation (G.I.F.) Young Scientist
award in 2002. She serves on the editorial boards of the IEEE
Transactions of Dependable and Secure Computing and of the Distributed
Computing Journal. She chaired LADIS 2012 , Locality 2007, PODC 2006,
Locality 2005 and DISC 2002.</p><div id="9fa6274a-1b34-4f45-893b-c0a3fda3060b"><br><br><span name="x"></span><br></div><br><br></body></html>