Our research focuses on the dependability of software systems, with particular emphasis on reliability, high availability, and manageability. We generally operate at the intersection of operating systems, programming languages, and software engineering; 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.