Theses most similar to Smten and the art of satisfiability-based search (Uhler, Richard Stephen; 2014) read it

Translating alloy using Boolean circuits

Daitch, Samuel Isaac (2004)

  • Advisor: Daniel Jackson
  • Department of Electrical Engineering and Computer Science
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

A constraint solver for software engineering : finding models and cores of large relational specifications

Torlak, Emina, 1979- (2009)

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

Effective software testing with a string-constraint solver

Kieżun, Adam (2009)

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

Distributed functional programming in Scheme

Schwendner, Alex (Alex R.) (2010)

  • Advisor: Saman Amarasinghe
  • 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

Advancing declarative programming

Milicevic, Aleksanda (2015)

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