Program synthesis from execution traces and demonstrations
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.
Main Author: | Yessenov, Kuat T |
---|---|
Other Authors: | Armando Solar-Lezama. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/106098 |
Similar Items
-
A lightweight specification language for bounded program verification
by: Yessenov, Kuat T
Published: (2010) -
Runtime execution tracing and alignment with PANDA
by: Goggin, Leah(Leah G.)
Published: (2020) -
Unifying Execution of Imperative and Declarative Code
by: Milicevic, Aleksandar, et al.
Published: (2012) -
Data-driven synthesis for object-oriented frameworks
by: Yessenov, Kuat T., et al.
Published: (2012) -
Executing multithreaded programs efficiently
by: Blumofe, Robert D. (Robert David)
Published: (2005)