Theses most similar to Synthesizing a synthesis tool (Rohit Singh; 2013) 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

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

Compiling methods for the Fresh Breeze processor

Fonger, Curtis George (2009)

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

Evolutionary algorithms for compiler-enabled program autotuning

Pacula, Maciej (2011)

  • Advisor: Una-May O'Reilly
  • Department of Electrical Engineering and Computer Science
Read it

Julia : an efficient dynamic language for technical computing

Bezanson, Jeffrey Werner (2012)

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

A statically scheduling compiler for a parameterized numerical accelerator

Wright, Andrew Charles (2013)

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

Execution model and optimizing compilation for execution migration

Lebedev, Ilia Andreevich (2013)

  • Advisor: Srinivas Devadas
  • 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

Helium : lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code

Mendis, Thirimadura Charith Yasendra (2015)

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

Efficient and proven verification of unreliable hardware executions of classic algorithms

Gyurova, Yoana G (2015)

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