Theses most similar to those of author Sridharan, Manu, 1979-

Dynamic datarace detection for object-oriented programs (2002) read it

Extending the Java language for the prevention of data races

Lee, Robert Honway, 1981- (2002)

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

Automatic software upgrades for distributed systems

Ajmani, Sameer, 1976- (2004)

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

Data structure repair using goal-directed reasoning

Demsky, Brian Charles, 1975- (2006)

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

Automating modular program verification by refining specifications

Taghdiri, Mana, 1979- (2008)

  • Advisor: Daniel N. Jackson
  • 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

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

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

Evaluating modern defenses against control flow hijacking

Otgonbaatar, Ulziibayar (2015)

  • Advisors: Hamed Okhrav; Howard Shrobe
  • 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