Theses most similar to Debugging multithreaded programs that incorporate user-level locking (Stark, Andrew F. (Andrew Frederick), 1975-; 1998) read it

Provably good race detection that runs in parallel

Fineman, Jeremy T (2005)

  • Advisor: Charles E. Leiserson
  • Department of Electrical Engineering and Computer Science
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

Nondeterminator-3 : a provably good data-race detector that runs in parallel

Karunaratna, Tushara C (2005)

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

Algorithms for data-race detection in multithreaded programs

Cheng, Guang-Ien, 1975- (1998)

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

Algorithms incorporating concurrency and caching

Fineman, Jeremy T (2009)

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

The static single information form

Ananian, C. Scott (Clifford Scott), 1976- (2001)

  • Advisor: Martin Rinard
  • 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

Memory-mapped transactions

Sukha, Jim (2005)

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

Fine-grained disk space accounting for object-oriented databases

LeBlanc, Marc André (1994)

  • Advisor: Barbara Liskov
  • 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