Synthesizing framework uses from program behavior data
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011.
Main Author: | Xu, Zhilei |
---|---|
Other Authors: | Armando Solar-Lezama. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2011
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/66482 |
Similar Items
-
Synthesizing tabular data using conditional GAN
by: Xu, Lei(Electrical and computer scienctist)Massachusetts Institute of Technology.
Published: (2020) -
An extensible framework for synthesizing efficient, verified parsers
by: Gross, Jason S
Published: (2016) -
A framework for synthesizing transactional database implementations in a proof assistant
by: Suriyakarn, Sorawit
Published: (2018) -
MSL : a synthesis enabled language for distributed high performance computing implementations
by: Xu, Zhilei
Published: (2017) -
A relational framework for bounded program verification
by: Dennis, Gregory D. (Gregory David), 1980-
Published: (2010)