Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Video
Turing Award winner Leslie Lamport
Leslie Lamport of Microsoft Research is rewarded for his outstanding contributions to computer science with the 2013 ACM A.M. Turing Award. Lamport is well known to computer scientists around the world for his foundational work…
Publication
Migrating a Digital Library to a Private Cloud
Project
MODIST: Transparent Model Checking of Unmodified Cloud Systems
MODIST is a practical software model checker for unmodified concurrent, distributed and cloud systems. MODIST explores different execution paths systematically as well as simulating a variety of environment faults to discover subtle corner-case defects. We…
Publication