Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Video
What New Bugs Live in the Cloud? (and How to Exterminate Them)
As more data and computation move from local to cloud settings, datacenter distributed systems have become a dominant backbone for many modern applications. However, the complexity of cloud hardware and software ecosystem has outpaced existing…
Project
FaRM
FaRM is a new main memory distributed computing platform that exploits RDMA communication to improve both latency and throughput by an order of magnitude relative to state of the art main memory systems that use…
Publication
Textbook non-malleable commitments
Project
OPAL
OPAL is a programming language and environment for designing intelligent assistants based on natural language. Tasks in OPAL can explore multiple hypothetical worlds to resolve the ambiguity in users’ intent by exploring its potential implications…