Theses most similar to Verifying an I/O-concurrent file system (Chajed, Tej; 2017) read it

The JCilk-1 runtime system

Danaher, John (John Stephen) (2005)

  • Advisor: Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
Read it

Efficient message subsystem design

Lee, Whay Sing, 1967- (1994)

  • Advisor: William J. Dally
  • 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

Flexible and efficient sharing of protected abstractions

Candea, George M. (George Mahai), 1974- (1998)

  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

An efficient sequential BTRS implementation

King, Myron Decker (2009)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

A relational framework for bounded program verification

Dennis, Gregory D. (Gregory David), 1980- (2009)

  • Advisor: Daniel N. Jackson
  • Department of Electrical Engineering and Computer Science
Read it

Certifying a crash-safe file system

Chen, Haogang (2016)

  • 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