Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for +publisher:"University of Texas – Austin" +contributor:("Aiken, Alex"). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Texas – Austin

1. 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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

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. http://hdl.handle.net/2152/68452.

MLA Handbook (7th Edition):

Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Web. 24 Jan 2021.

Vancouver:

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

.