BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Assertions for Distributed Systems - Aurojit Panda\, NYU
DTSTART:20220120T150000Z
DTEND:20220120T160000Z
UID:TALK163291@talks.cam.ac.uk
CONTACT:Srinivasan Keshav
DESCRIPTION: Distributed protocols are the only way to build fault-toleran
 t services. However\, this fault tolerance comes at the cost of complexity
  and correctly implementing a distributed protocol is challenging. In rece
 nt years\, several projects have looked at addressing this challenge by pr
 oposing frameworks that can be used to build provably-correct implementati
 ons of distributed protocols. However\, these these frameworks must limit 
 how applications are written so that proving correctness is tractable\, an
 d thus add to development costs and produce implementations which have low
 er performance. In this talk I will describe an alternate approach where r
 ather than proving that an implementation is correct\, we provide mechanis
 ms to detect and respond to implementation bugs at runtime. The talk will 
 present the vision for this approach\, describe challenges\, and present s
 ome preliminary results.\n\nBio:\nAurojit Panda is an assistant professor 
 in the Computer Science department at New York University. He is primarily
  interested in systems and networking\, and how techniques from formal met
 hods and programming languages can be applied to challenges in these areas
 . He received his PhD in 2017 from UC Berkeley\, where he was advised by S
 cott Shenker. He received the Qualcomm Innovation Fellowship in 2012\, the
  Eurosys Best Paper Award in 2013\, the SIGCOMM Best Student Paper Award i
 n 2015\, the UC Berkeley EECS Demetri Angelakos Memorial Achievement Award
  in 2017\, a VMware Early Career Faculty Award in 2018\, a Google Research
  Scholar Award in 2021\, and a NSF Career award in 2021.
LOCATION:FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMT
 nppckJtNWhFVTBKK0REZz09
END:VEVENT
END:VCALENDAR