We at PDOS build and investigate software systems for parallel and distributed
environments. We have conducted research in operating systems,
multi-core scalability, security, networking, mobile
computing, language and compiler design, and systems
architecture, taking a pragmatic approach: we build high-performance,
reliable, and working systems.
We work concurrently on a number of research projects. Our currently
active research projects can be roughly grouped into the following
Noria uses dynamic, partially-stateful data-flow to support high-performance web applications.
Biscuit, an operating system kernel written in Go.
File-system verification using Coq.
Private messaging systems that hide metadata at scale.
Cryptographically secure data sharing and retrieval.
ScaleFS, a highly scalable file system for the sv6 operating system.
See our publications for more details about our
See also the related Systems Security Group.
Thanks to the National Science Foundation,
Intel, AT&T, and
IBM for supporting our research.