Theses most similar to those of author Lam, Patric

The Hob system for verifying software design properties (2007) 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

Converting Java programs to use generic libraries

Donovan, Alan A. A., 1976- (2004)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications

Tan, Yang Meng (1994)

  • Advisor: John V. Guttag
  • Department of Electrical Engineering and Computer Science
Read it

Pointer analysis for Java programs : novel techniques and applications

Sălcianu, Alexandru D. (Alexandru Doru), 1975- (2006)

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

Modular data structure verification

Kuncak, Viktor (Viktor Jaroslav), 1977- (2007)

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

Test factoring with amock: generating readable unit tests from system tests

Glasser, David Samuel (2007)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

A lightweight specification language for bounded program verification

Yessenov, Kuat T (2009)

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

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