The Systems CoR is focused on building and investigating large-scale software systems that power modern computers, phones, data centers, and networks, including operating systems, the Internet, wireless networks, databases, and other software infrastructure.
Our research spans a variety of topics, including the design of novel architectures, the scalability, efficiency, reliability, and security of existing systems, and the tools and languages to build such 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.
Our research aims to scale hard-to-parallelize applications through new programming models and multicore architectures. Our goal is to enable
programmers to write efficient and scalable parallel programs as easily as they
write sequential programs today.
Earlier this year, The Franklin Institute named Barbara Liskov, MIT Institute Professor Emerita and CSAIL principal investigator, as a laureate while awarding her the 2023 Benjamin Franklin Medal in Computer and Cognitive Science for her impactful research on computer programming languages and methodology.
In a computer operating system, the file system is the part that writes data to disk and tracks where the data is stored. If the computer crashes while it’s writing data, the file system’s records can become corrupt. Hours of work could be lost, or programs could stop working properly.At a symposium this fall, MIT researchers will present the first file system that is mathematically guaranteed not to lose track of data during crashes. Although the file system is slow by today’s standards, the techniques the researchers used to verify its performance can be extended to more sophisticated designs. Ultimately, formal verification could make it much easier to develop reliable, efficient file systems.