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
File-system verification using Coq.
Private messaging systems that hide metadata at scale.
Cryptographically secure data sharing and retrieval.
An attempt at designing a database specifically tailored for web applications.
ScaleFS, a highly scalable file system for the sv6 operating system.
Biscuit, an operating system kernel written in Go.
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.