Theses most similar to those of author Gupta, Shail Aditya

Functional encapsulation and type reconstruction in a strongly-typed, polymorphic language (1995) read it

Subtyping in alloy

Torlak, Emina, 1979- (2004)

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

Path splitting--a technique for improving data flow analysis

Poletto, Massimiliano Antonio (1995)

  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

Eliminating intermediate lists in pH using local transformations

Maessen, Jan-Willem (1994)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Increasing cross-domain call batching using promises and batched control structures

Zondervan, Quinton Y (1995)

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

A scalable mixed-level approach to dynamic analysis of C and C++ programs

Guo, Philip Jia (2006)

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

Principal typings and type inference

Jim, Trevor (1996)

  • Advisor: Albert R. Meyer
  • 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