We at PDOS build and investigate software systems for parallel and distributedenvironments, and have conducted research in systems verification, operating systems,multi-core scalability, security, networking, mobilecomputing, language and compiler design, and systemsarchitecture. PDOS buildshigh-performance,reliable, andworking systems. We are part ofMIT CSAIL.
See ourpublications for more details about our research.
We work concurrently on a number of research projects. Our currentlyactive research projects can be roughly grouped into the followingcategories.
See also the relatedSystems Security Group.
Thanks to theNational Science Foundation,DARPA,QuantaComputer,Google,Intel,AT&T, andIBM for supporting our research.