skip to content

Department of Computer Science and Technology

Date: 
Thursday, 20 January, 2022 - 15:00 to 16:00
Speaker: 
Aurojit Panda, NYU
Venue: 
FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Abstract: 

Distributed protocols are the only way to build fault-tolerant services. However, this fault tolerance comes at the cost of complexity and correctly implementing a distributed protocol is challenging. In recent years, several projects have looked at addressing this challenge by proposing frameworks that can be used to build provably-correct implementations of distributed protocols. However, these these frameworks must limit how applications are written so that proving correctness is tractable, and thus add to development costs and produce implementations which have lower performance. In this talk I will describe an alternate approach where rather than proving that an implementation is correct, we provide mechanisms to detect and respond to implementation bugs at runtime. The talk will present the vision for this approach, describe challenges, and present some preliminary results.

Bio:
Aurojit 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 methods 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 Scott Shenker. He received the Qualcomm Innovation Fellowship in 2012, the Eurosys Best Paper Award in 2013, the SIGCOMM Best Student Paper Award in 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.

Seminar series: 
Systems Research Group Seminar

Upcoming seminars