Theses most similar to those of author Torlak, Emina, 1979-

Subtyping in alloy (2004) 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

Partitioning non-strict languages for multi-threaded code generation

Coorg, Satyan R (1994)

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

Static conformance checking for matrices

Seto, Roy (1994)

  • Advisor: Raymie Stata
  • Department of Electrical Engineering and Computer Science
Read it

Functional encapsulation and type reconstruction in a strongly-typed, polymorphic language

Gupta, Shail Aditya (1995)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • 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

On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types

Arkoudas, Kostas (1996)

  • Advisor: David Allen McAllester
  • 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

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

Automated extraction of abstract object models

Waingold, Allison Leah, 1980- (2001)

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

A constraint solver for software engineering : finding models and cores of large relational specifications (2009) 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

Extracting the K best solutions from a valued and-or acyclic graph

Elliott, Paul Harrison, 1979- (2007)

  • Advisors: Brian C. Williams; Howard Shrobe
  • 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

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

Executable specifications for Java programs

Milicevic, Aleksanda (2010)

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

Synthesizing a synthesis tool

Rohit Singh (2013)

  • Advisor: Armando Solar-Lezama
  • Department of Electrical Engineering and Computer Science
Read it

Smten and the art of satisfiability-based search

Uhler, Richard Stephen (2014)

  • Advisor: Jack B. Dennis
  • Department of Electrical Engineering and Computer Science
Read it

Compilation using correct-by-construction program synthesis

Pit-Claudel, Clément (2016)

  • Advisor: Adam Chlipala
  • Department of Electrical Engineering and Computer Science
Read it

An inlining approach to formal hardware semantics

Choi, Joonwon (2016)

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

A unified model for hardware/software codesign

Dave, Nirav Hemant, 1982- (2011)

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