University of Texas – Austin
Feng, Yu, Ph. D.
Program synthesis using statistical models and logical reasoning.
Degree: PhD, Computer Science, 2018, University of Texas – Austin
Complex APIs in new frameworks (Spark, R, TensorFlow, etc) have imposed steep learning curves on everyone, especially for people with limited programming backgrounds. For instance, due to the messy nature of data in different application domains, data scientists spend close to 80% of their time in data wrangling tasks, which are considered to be the "janitor work" of data science. Similarly, software engineers spend hours or even days learning how to use APIs through official documentation or examples from online forums. Program synthesis has the potential to automate complex tasks that involve API usage by providing powerful search algorithms to look for executable programs that satisfy a given specification (input-output examples, partial programs, formal specs, etc). However, the biggest barrier to a practical synthesizer is the size of search space, which increases strikingly fast with the complexity of the programs and the size of the targeted APIs. To address the above issue, this dissertation focuses on developing algorithms that push the frontiers of program synthesis. First, we propose a type-directed graph reachability algorithm in SyPet, a synthesizer for assembling programs from complex APIs. Second, we show how to combine enumerative search with lightweight constraint-based deduction in Morpheus, a synthesizer for automating real-world data wrangling tasks from input-output examples. Finally, we generalize the previous approaches to develop a novel conflict-driven synthesis algorithm that can learn from past mistakes.
Advisors/Committee Members: Dillig, Isil (advisor), Mooney, Raymond (committee member), Kr ahenb uhl, Philipp (committee member), Aiken, Alex (committee member).
Subjects/Keywords: Program synthesis; Logical reasoning
to Zotero / EndNote / Reference
APA (6th Edition):
Feng, Yu, P. D. (2018). Program synthesis using statistical models and logical reasoning. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/68452
Chicago Manual of Style (16th Edition):
Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Doctoral Dissertation, University of Texas – Austin. Accessed January 24, 2021.
MLA Handbook (7th Edition):
Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Web. 24 Jan 2021.
Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2018. [cited 2021 Jan 24].
Available from: http://hdl.handle.net/2152/68452.
Council of Science Editors:
Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Doctoral Dissertation]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/68452