Theses most similar to those of author Donovan, Alan A. A., 1976-

Converting Java programs to use generic libraries (2004) 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

The Hob system for verifying software design properties

Lam, Patric (2007)

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

Javari : adding reference immutability to Java

Tschantz, Matthew S (2006)

  • Advisor: Michael D. Ernst
  • 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

Practical pluggable types for Java

Papi, Matthew M (2008)

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

Javarifier : inference of reference immutability in Java

Quinonez, Jamie (2008)

  • 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

Executable specifications for Java programs

Milicevic, Aleksanda (2010)

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

Automated extraction of abstract object models

Waingold, Allison Leah, 1980- (2001)

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

Compiler-enforced immutability for the Java language

Birka, Adrian, 1980- (2003)

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