Theses most similar to those of author Yessenov, Kuat T

A lightweight specification language for bounded program verification (2009) 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

The Hob system for verifying software design properties

Lam, Patric (2007)

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

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

Verification of full functional correctness for imperative linked data structures

Zee, Karen K (2010)

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

An imperative extension to alloy and a compiler for its execution

Near, Joseph P. (Joseph Paul) (2010)

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

Program synthesis from execution traces and demonstrations (2016) read it

MintEra : a testing environment for Java programs

Al-Naffouri, Basel Y (2004)

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

End-user programming for the Web

Bolin, Michael (Michael Thomas) (2005)

  • Advisor: Robert C. Miller
  • 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

Programming with keywords

Little, Greg (Danny Greg) (2007)

  • Advisor: Robert C. Miller
  • Department of Electrical Engineering and Computer Science
Read it

A model of composite objects for information mesh

Lo, Felix Tun-Han (1997)

  • Advisor: Karen R. Sollins
  • Department of Electrical Engineering and Computer Science
Read it

Using ADL for regression test development in a distributed object environment

Ding, Eric J. (Eric Jaw-Torng) (1996)

  • Advisor: Stephen J. Garland
  • Department of Electrical Engineering and Computer Science
Read it

Bullfrog--an extensible, modular toolkit for the construction of NuMesh applications

Connell, Michael W. (Michael Wayne) (1996)

  • Advisor: Stephen A. Ward
  • Department of Electrical Engineering and Computer Science
Read it

Prolac--a language for protocol compilation

Kohler, Eddie, 1973- (1998)

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

Accessible programming using program synthesis

Singh, Rishabh (2014)

  • Advisors: Armando Solar̆-Lezam; Sumit Gulwani
  • Department of Electrical Engineering and Computer Science
Read it

An extension-oriented compiler

Cox, Russell Stensby (2008)

  • Advisors: Eddie Kohler; M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it