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're developing a flexible, high-performance storage architecture for database-backed applications, based on a dynamic set of queries specified by the developer which Soup automatically optimizes.
FSCQ is the first file system with a machine-checkable proof (in the Coq proof assistant) that its implementation meets its specification and whose specification includes behavior under crashes.
This project aims at improving filesystem performance on modern multi-core systems, by rethinking filesystem design to enable concurrent operations to scale with the number of cores, while maintaining durability and crash-safety.
