Prerequisites: permission of instructor
Instructors: Professor Nickolai Zeldovich and Professor Frans Kaashoek
Schedule: TR2:30-4, room 36-112
This subject qualifies as a Computer Systems concentration subject.
6.888 is a graduate seminar on research in certified systems software.
The goal of the class is to get the students to build provably
correct software. The structure of the class will consist of students
presenting research papers during lecture, and students working on
a significant research project. We expect students to start working
on the project in the first week or two, and continue for the entire
semester, culminating in a draft research paper. Examples of project
include building a certified file system, distributed key-value store,
in-kernel interpreter, simple OS kernel, etc.
Course web site: http://css.csail.mit.edu/6.888/2015/