The Dependable Systems Lab develops techniques and abstractions for building trustworthy computer systems, i.e., systems that are safe and secure. They:

• Explore the fundamental challenges posed to security and safety by large-scale systems consisting of many threads, many nodes, and millions of lines of code written by many programmers
• Seek solutions that solve real-world problems by overcoming theoretical worst-case limitations
• Build open-source prototypes that enable evaluation of these solutions with real-world workloads
• Operate at the intersection of operating systems, distributed systems, programming languages, formal methods, and computer architecture