| CARVIEW |
Select Language
HTTP/1.1 200 OK
Date: Tue, 30 Dec 2025 16:01:02 GMT
Server: Apache/2.4.41 (Unix) OpenSSL/1.1.1e
Last-Modified: Mon, 01 Sep 2025 03:14:39 GMT
ETag: "bc6-63db4c5aa5619"
Accept-Ranges: bytes
Content-Length: 3014
Content-Type: text/html
MIT CSAIL Parallel and Distributed Operating Systems Group
Verified hardware/software systems
Proving hardware security modules (HSMs) correct and secure.
Verifying transactional database systems
Verifying practical and high-performance transactional database systems.
Perennial: verifying concurrent storage systems
Verifying crash-safe, concurrent systems using Iris and Coq.
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.