We at PDOS build and investigate software systems for parallel and distributed environments, and have conducted research in systems verification, operating systems, multi-core scalability, security, networking, mobile computing, language and compiler design, and systems architecture. PDOS builds high-performance, reliable, and working systems. We are part of MIT CSAIL.

See our publications for more details about our research.

We work concurrently on a number of research projects. Our currently active research projects can be roughly grouped into the following categories.

See also the related Systems Security Group.

Thanks to the National Science Foundation, DARPA, Quanta Computer, Google, Intel, AT&T, and IBM for supporting our research.