Parallel and Distributed Operating Systems | MIT CSAIL
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. If you would like to contact us about our work, please refer to our members below and reach out to one of the group leads directly. Last updated Jan 24 '18 Massachusetts Institute of Technology Computer Science & Artificial Intelligence Laboratory 32 Vassar St, Cambridge MA 02139
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. Related Links Contact us If you would like to contact us about our work, please refer to our members below and reach out to one of the group leads directly. Last updated Jan 24 '18 Related Links Members Publications Projects Project Perennial The aim of this project is to develop a framework for verifying concurrent, crash-safe…
saved by
related reading
- Operating Systems: Three Easy Piecespages.cs.wisc.edu
- HSRGnotes.ekzhang.com
- NYSRGnotes.ekzhang.com
- A Distributed Systems Reading Listferd.ca
- Understanding and expressing scalable concurrencyaturon.github.io
- Files are harddanluu.com
- The Laboratory for Advanced Systems Researchlasr.cs.ucla.edu
- GitHub - aphyr/distsys-class: Class materials for a distributed systems lecture seriesgithub.com
- Building and operating a pretty big storage system called S3 | All Things Distributedallthingsdistributed.com
- Distributed Systems Safety Researchjepsen.io
- Kunle Olukotunarsenalfc.stanford.edu
- The seL4 Microkernel | seL4sel4.systems