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: Computer Sciences, 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/68452

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Thesis, University of Texas – Austin. Accessed June 25, 2019. http://hdl.handle.net/2152/68452.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Web. 25 Jun 2019.

Vancouver:

Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Internet] [Thesis]. University of Texas – Austin; 2018. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2152/68452.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Thesis]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/68452

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.