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
- NYSRGnotes.ekzhang.com
- A Distributed Systems Reading Listferd.ca
- Writing an OS in Rustos.phil-opp.com
- An Overview of Distributed PostgreSQL... | Crunchy Data Blogcrunchydata.com
- Distributed Systems Safety Researchjepsen.io
- Multiprogramming a 64kB ComputerSafely and Efficientlytockos.org
- Understanding and expressing scalable concurrencyaturon.github.io
- The Laboratory for Advanced Systems Researchlasr.cs.ucla.edu
- SE350eceweb.uwaterloo.ca
- CSci657 - F16 - Advanced Distributed Systemscs.princeton.edu
- It’s Time for a Modern Synthesis Kernel – Embedded in Academiablog.regehr.org