Theses most similar to Certifying checksum-based logging in the RapidFSCQ crash-safe filesystem (Wang, Stephanie, M. En; 2016) read it
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
- Advisor: Srinivas Devadas
- Department of Electrical Engineering and Computer Science
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
Verifying information flow control in Java bytecodes
Mathewson, Nicholas A. (Nicholas Albert), 1977- (2000)
- Advisor: Barbara Liskov
- Department of Electrical Engineering and Computer Science
- Advisor: Howard E. Shrobe
- Department of Electrical Engineering and Computer Science
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
Designing multicore scalable filesystems with durability and crash consistency
Bhat, Srivatsa S. (Srivatsa Sitaram) (2017)
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
Generating multithreaded code from Parallel Haskell for symmetric multiprocessors
Caro, Alejandro (1999)
- Advisor: Arvind
- Department of Electrical Engineering and Computer Science
- Advisor: Arvind
- Department of Electrical Engineering and Computer Science