Program synthesis from execution traces and demonstrations
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016. === Cataloged from PDF version of thesis. === Includes bibliographical references (pages 116-121). === In this thesis, we introduce an architecture for programming productivity too...
Main Author: | Yessenov, Kuat T |
---|---|
Other Authors: | Armando Solar-Lezama. |
Format: | Others |
Language: | English |
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) -
Executing multithreaded programs efficiently
by: Blumofe, Robert D. (Robert David)
Published: (2005) -
Executable specifications for Java programs
by: Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Published: (2011) -
Secure execution environment via program shepherding
by: Kiriansky, Vladimir L. (Vladimir Lubenov), 1979-
Published: (2006) -
SNARKs for C : verifying program executions succinctly and in zero knowledge
by: Virza, Madars
Published: (2014)