Theses most similar to those of author Huang, Kai, 1980-

Data-race detection in transactions-everywhere parallel programming (2003) read it

Relativization of the theory of computational complexity.

Lynch, Nancy A. (Nancy Ann), 1948- (1972)

  • Advisor: Albert Meyer
  • Department of Mathematics
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

Solving graph connectivity problems on JAGs

Husbands, Parry (1994)

  • Advisor: Mauricio Karchmer
  • 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

Distributed functional programming in Scheme

Schwendner, Alex (Alex R.) (2010)

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

Design and analysis of a nondeterministic parallel breadth-first search algorithm

Schardl, Tao Benjamin (2010)

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

Systematic testing of multithreaded Java programs

Bruening, Derek L. (Derek Lane), 1976- (1999)

  • Advisor: John Chapin
  • 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

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