Theses most similar to Accessible programming using program synthesis (Singh, Rishabh; 2014) read it

Translating alloy using Boolean circuits

Daitch, Samuel Isaac (2004)

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

Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications

Tan, Yang Meng (1994)

  • Advisor: John V. Guttag
  • 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

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

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

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

Abstraction in technical computing

Bezanson, Jeffrey Werner (2015)

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

Logical reasoning for approximate and unreliable computation

Carbin, Michael (Michael James) (2015)

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

Program synthesis from execution traces and demonstrations

Yessenov, Kuat T (2016)

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