Theses most similar to Certifying a crash-safe file system (Chen, Haogang; 2016) read it

Reducing cross-domain call overhead using batched futures

Bogle, Phillip Lee (1994)

  • Advisor: Barbara Liskov
  • Department of Electrical Engineering and Computer Science
Read it

The Hob system for verifying software design properties

Lam, Patric (2007)

  • Advisor: Martin Rinard
  • Department of Electrical Engineering and Computer Science
Read it

Fast in-memory storage systems : two aspects

Mao, Yandong (2014)

  • Advisor: Robert T. Morris
  • Department of Electrical Engineering and Computer Science
Read it

Certifying checksum-based logging in the RapidFSCQ crash-safe filesystem

Wang, Stephanie, M. En (2016)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Verifying an I/O-concurrent file system

Chajed, Tej (2017)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

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
Read it

Memory-mapped transactions

Sukha, Jim (2005)

  • Advisors: Bradley C. Kuszmaul; Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
Read it

Fine-grain interrupts and atomic heap transactions

Clark, James W. (James Wesley), 1977- (2000)

  • Advisor: Olin Shivers
  • Department of Electrical Engineering and Computer Science
Read it

Generating multithreaded code from Parallel Haskell for symmetric multiprocessors

Caro, Alejandro (1999)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it

WMM : a resilient Weak Memory Model

Zhang, Sizhuo (2016)

  • Advisor: Arvind
  • Department of Electrical Engineering and Computer Science
Read it