Theses most similar to those of author Singh, Rishabh

Storyboard programming of data structure manipulations : a picture is worth 20 lines of code (2010) read it

Simulation of composite I/O automata

Solovey, Edward, 1979- (2003)

  • Advisors: Dilsun K. Kayna; Nancy Lynch
  • Department of Electrical Engineering and Computer Science
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

The ontic inference language

Witty, Carl Roger (1995)

  • Advisor: David A. McAllester
  • Department of Electrical Engineering and Computer Science
Read it

Scheme modeled as a set of rewrite rules : an efficient implementation

Van Eyk, Paul Agustin (1997)

  • Advisor: Albert R. Meyer
  • Department of Electrical Engineering and Computer Science
Read it

An efficient sequential BTRS implementation

King, Myron Decker (2009)

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

Executable specifications for Java programs

Milicevic, Aleksanda (2010)

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

Improved simulation of input/output automata

Dean, Laura (Laura Gayle), 1979- (2001)

  • Advisors: Michael D. Ernst; Nancy A. Lynch
  • 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

MSL : a synthesis enabled language for distributed high performance computing implementations

Xu, Zhilei (2016)

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

Accessible programming using program synthesis (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