The Systems Research Group is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems secure, scalable, fault-tolerant, manageable, fast, and efficient.
Careers
We’re always seeking creative, dedicated, smart individuals who are interested in joining us. If you’re an excellent candidate interested in doing cutting-edge systems research at an institution where you can see that research pay off in direct product impact, we encourage you to apply for a position. Whether you’re about to graduate, or you’re already a seasoned researcher interested in exploring alternatives, we’d like to talk to you.
Featured papers
-
Publication
VeriSMo: A Verified Security Module for Confidential VMs
Jay Lepreau Best Paper Award, OSDI 2024
-
Publication
Cornflakes: Zero-Copy Serialization for Microsecond-Scale Networking
Distinguished Artifact Award, SOSP 2023
-
Publication
A five-year study of file-system metadata
USENIX FAST'21 Test of Time Award, FAST 2007
-
Publication
Armada: Low-Effort Verification of High-Performance Concurrent Programs
Distinguished Paper Award, PLDI 2020
-
Publication
Vale: Verifying High-Performance Cryptographic Assembly Code
Distinguished Paper Award, USENIX Security Symposium 2017
-
Publication
Verus: A Practical Foundation for Systems Verification
Distinguished Artifact Award, SOSP 2024
-
Publication
Linear Types for Large-Scale Systems Verification
Distinguished Paper Award, OOPSLA 2022
-
Publication
Kangaroo: Caching Billions of Tiny Objects on Flash
Best Paper Award, SOSP 2021
-
Publication
The Multikernel: A new OS architecture for scalable multicore systems
SIGOPS Hall of Fame Award 2020, SOSP 2009
-
Publication
IronFleet: Proving Safety and Liveness of Practical Distributed Systems
CACM Research Highligh 2017