Our research focuses on the dependability of software systems, with particular emphasis on reliability, security, and safety. We generally operate at the intersection of operating systems and programming languages; we develop tools, techniques, and runtimes that both improve dependability and increase programmer productivity. Our research seeks pragmatic solutions targeted primarily at large-scale real-life software with millions of lines of code running in highly concurrent systems with hundreds to thousands of threads. 

Our work is funded by the European Research Council, Swiss National Science Foundation, Google, Microsoft Research, and IBM.