SDI Seminar - Aurojit Panda

— 1:00pm

Location:
In Person - Panther Hollow Room 4105, Mehrabian Collaborative Innovation Center

Speaker:
AUROJIT PANDA, Assistant Professor of Computer Science, Courant Institute, New York University
https://cs.nyu.edu/~apanda/

Detecting Protocol Implementation Bugs at Runtime

Despite significant progress in verifying protocols, services that implement distributed protocols , e.g., Chubby or Etcd, can exhibit safety bugs in production deployments.  These bugs are often introduced by programmers when converting protocol descriptions into code. 

In this talk I will describe a new technique we have been developing to identify these bugs at runtime: Runtime Protocol Refinement Checking} (RPRC). RPRC systems observe a deployed service's runtime behavior and notify operators when this behavior evidences a protocol implementation bug, allowing operators to mitigate the bugs impact and developers to fix the bug.  

We have developed an algorithm for RPRC and implemented it in a system called Ellsberg that targets services that assume the asynchronous or partially synchronous model, and fail-stop failures. We designed Ellsberg so it makes no assumptions about how services are implemented, and requires no additional coordination or communication. We have used Ellsberg with three open source services: Etcd, Zookeeper and Redis Raft. 

— 

Aurojit Panda is an assistant professor in the Computer Science department at New York University working on systems and networking. He received his PhD in 2017 from UC Berkeley, where he was advised by Scott Shenker.  He has received several awards, including  a VMware Early Career Faculty Award, a Google Research Scholar Award, an NSF Career award, best paper awards at EuroSys, SIGCOMM and OSDI, and a EuroSys test of time award. 

Faculty Host:  Justine Sherry

Event Website:
https://www.pdl.cmu.edu/SDI/index.shtml

Add event to Google
Add event to iCal