Theses most similar to those of author Sălcianu, Alexandru D. (Alexandru Doru), 1975-

Pointer analysis for Java programs : novel techniques and applications (2006) 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

Automatic testing of software with structurally complex inputs

Marinov, Darko, 1976- (2005)

  • 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

Javarifier : inference of reference immutability in Java

Quinonez, Jamie (2008)

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

Automating abstraction functions

Rayside, Derek F (2010)

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

Statistically determining memory consumption of real-time Java threads

Gheorghioiu, Ovidiu, 1979- (2002)

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

Static detection of deadlock for Java libraries

Williams, Amy Lynne, Ph.D (2005)

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

Pointer analysis and its applications for Java programs (2001) 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

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

Dynamic optimization through the use of automatic runtime specialization

Whaley, John (John Craig), 1975- (1999)

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

Credible compilation

Marinov, Darko, 1976- (2000)

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

Designing an algorithm for role analysis

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

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

Statistically determining memory consumption of real-time Java threads

Gheorghioiu, Ovidiu, 1979- (2002)

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

Static detection of deadlock for Java libraries

Williams, Amy Lynne, Ph.D (2005)

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