We develop techniques and abstractions for building trustworthy computer systems, i.e., systems that are safe and secure. In our work, we:

  • enjoy exploring 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 prototypes that directly improve the lives of real users and evaluate them on real-world workloads
  • operate at the intersection of operating systems, programming languages, and computer architecture

Our work is funded by ERC, Swiss NSF, Google, Microsoft, Intel, IBM, and VMware.