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:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"University of Texas – Austin" +contributor:("Dillig, Isil"). Showing records 1 – 9 of 9 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Texas – Austin

1. -3724-0839. Zero-One Integer Linear Programming for program synthesis: 0-1 Integer Linear Programming for program synthesis.

Degree: MSin Computer Sciences, Computer Science, 2018, University of Texas – Austin

 Program synthesis techniques generate code automatically for a given specification, while code reuse techniques adapt existing code to suit the user's requirements. These methods can… (more)

Subjects/Keywords: Program synthesis; Code reuse; ILP; Integer Linear Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-3724-0839. (2018). Zero-One Integer Linear Programming for program synthesis: 0-1 Integer Linear Programming for program synthesis. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/68193

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-3724-0839. “Zero-One Integer Linear Programming for program synthesis: 0-1 Integer Linear Programming for program synthesis.” 2018. Masters Thesis, University of Texas – Austin. Accessed December 03, 2020. http://hdl.handle.net/2152/68193.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-3724-0839. “Zero-One Integer Linear Programming for program synthesis: 0-1 Integer Linear Programming for program synthesis.” 2018. Web. 03 Dec 2020.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-3724-0839. Zero-One Integer Linear Programming for program synthesis: 0-1 Integer Linear Programming for program synthesis. [Internet] [Masters thesis]. University of Texas – Austin; 2018. [cited 2020 Dec 03]. Available from: http://hdl.handle.net/2152/68193.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-3724-0839. Zero-One Integer Linear Programming for program synthesis: 0-1 Integer Linear Programming for program synthesis. [Masters Thesis]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/68193

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

2. Yaghmazadeh, Navid. Automated synthesis of data extraction and transformation programs.

Degree: PhD, Computer Science, 2017, University of Texas – Austin

 Due to the abundance of data in today’s data-rich world, end-users increasingly need to perform various data extraction and transformation tasks. While many of these… (more)

Subjects/Keywords: Program synthesis; Programming-by-examples; Programming-by-natural-language; Databases

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yaghmazadeh, N. (2017). Automated synthesis of data extraction and transformation programs. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/68138

Chicago Manual of Style (16th Edition):

Yaghmazadeh, Navid. “Automated synthesis of data extraction and transformation programs.” 2017. Doctoral Dissertation, University of Texas – Austin. Accessed December 03, 2020. http://hdl.handle.net/2152/68138.

MLA Handbook (7th Edition):

Yaghmazadeh, Navid. “Automated synthesis of data extraction and transformation programs.” 2017. Web. 03 Dec 2020.

Vancouver:

Yaghmazadeh N. Automated synthesis of data extraction and transformation programs. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2017. [cited 2020 Dec 03]. Available from: http://hdl.handle.net/2152/68138.

Council of Science Editors:

Yaghmazadeh N. Automated synthesis of data extraction and transformation programs. [Doctoral Dissertation]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/68138

3. -2178-1988. Program analysis techniques for algorithmic complexity and relational properties.

Degree: PhD, Computer Science, 2019, University of Texas – Austin

 Analyzing standard safety properties of a given program has traditionally been the primary focus of the program analysis community. Unfortunately, there are still many interesting… (more)

Subjects/Keywords: Complexity testing; Optimal program synthesis; Fuzzing; Genetic programming; Performance bug; Vulnerability detection; Side channel; Static analysis; Relational verification; Reinforcement learning; Policy gradient

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-2178-1988. (2019). Program analysis techniques for algorithmic complexity and relational properties. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://dx.doi.org/10.26153/tsw/2181

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-2178-1988. “Program analysis techniques for algorithmic complexity and relational properties.” 2019. Doctoral Dissertation, University of Texas – Austin. Accessed December 03, 2020. http://dx.doi.org/10.26153/tsw/2181.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-2178-1988. “Program analysis techniques for algorithmic complexity and relational properties.” 2019. Web. 03 Dec 2020.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-2178-1988. Program analysis techniques for algorithmic complexity and relational properties. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2019. [cited 2020 Dec 03]. Available from: http://dx.doi.org/10.26153/tsw/2181.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-2178-1988. Program analysis techniques for algorithmic complexity and relational properties. [Doctoral Dissertation]. University of Texas – Austin; 2019. Available from: http://dx.doi.org/10.26153/tsw/2181

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

4. -5365-808X. An experimental evaluation and possible extensions of SyPet.

Degree: MSin Engineering, Electrical and Computer Engineering, 2017, University of Texas – Austin

 Program synthesis is an automated programming technique that automatically constructs a program which satisfies given specifications. SyPet is a recently published novel component-based synthesis tool… (more)

Subjects/Keywords: Program synthesis; Program repair

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Sample image

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-5365-808X. (2017). An experimental evaluation and possible extensions of SyPet. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/62665

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-5365-808X. “An experimental evaluation and possible extensions of SyPet.” 2017. Masters Thesis, University of Texas – Austin. Accessed December 03, 2020. http://hdl.handle.net/2152/62665.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-5365-808X. “An experimental evaluation and possible extensions of SyPet.” 2017. Web. 03 Dec 2020.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-5365-808X. An experimental evaluation and possible extensions of SyPet. [Internet] [Masters thesis]. University of Texas – Austin; 2017. [cited 2020 Dec 03]. Available from: http://hdl.handle.net/2152/62665.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-5365-808X. An experimental evaluation and possible extensions of SyPet. [Masters Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/62665

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

5. Wang, Xinyu. An efficient programming-by-example framework.

Degree: PhD, Computer Science, 2019, University of Texas – Austin

 Due to the ubiquity of computing, programming has started to become an essential skill for an increasing number of people, including data scientists, financial analysts,… (more)

Subjects/Keywords: Programming languages; Program synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, X. (2019). An efficient programming-by-example framework. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://dx.doi.org/10.26153/tsw/5854

Chicago Manual of Style (16th Edition):

Wang, Xinyu. “An efficient programming-by-example framework.” 2019. Doctoral Dissertation, University of Texas – Austin. Accessed December 03, 2020. http://dx.doi.org/10.26153/tsw/5854.

MLA Handbook (7th Edition):

Wang, Xinyu. “An efficient programming-by-example framework.” 2019. Web. 03 Dec 2020.

Vancouver:

Wang X. An efficient programming-by-example framework. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2019. [cited 2020 Dec 03]. Available from: http://dx.doi.org/10.26153/tsw/5854.

Council of Science Editors:

Wang X. An efficient programming-by-example framework. [Doctoral Dissertation]. University of Texas – Austin; 2019. Available from: http://dx.doi.org/10.26153/tsw/5854


University of Texas – Austin

6. -7819-4835. Automatic static analysis of software performance.

Degree: PhD, Computer science, 2016, University of Texas – Austin

 Performance is a critical component of software quality. Software performance can have drastic repercussions on an application, frustrating its users, breaking the functionality of its… (more)

Subjects/Keywords: Static analysis; Security; Performance; Program analysis; Denial-of-service; Privacy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-7819-4835. (2016). Automatic static analysis of software performance. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/40279

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-7819-4835. “Automatic static analysis of software performance.” 2016. Doctoral Dissertation, University of Texas – Austin. Accessed December 03, 2020. http://hdl.handle.net/2152/40279.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-7819-4835. “Automatic static analysis of software performance.” 2016. Web. 03 Dec 2020.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-7819-4835. Automatic static analysis of software performance. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2016. [cited 2020 Dec 03]. Available from: http://hdl.handle.net/2152/40279.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-7819-4835. Automatic static analysis of software performance. [Doctoral Dissertation]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/40279

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


University of Texas – Austin

7. 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,… (more)

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

MLA Handbook (7th Edition):

Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Web. 03 Dec 2020.

Vancouver:

Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2018. [cited 2020 Dec 03]. 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


University of Texas – Austin

8. -7290-5050. Broad-based side-channel defenses for modern microprocessors.

Degree: PhD, Computer Science, 2019, University of Texas – Austin

 Private or confidential information is used in a wide variety of applications, not just including implementations of cryptographic algorithms but also including machine-learning libraries, databases,… (more)

Subjects/Keywords: Side-channel defenses

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-7290-5050. (2019). Broad-based side-channel defenses for modern microprocessors. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://dx.doi.org/10.26153/tsw/2661

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-7290-5050. “Broad-based side-channel defenses for modern microprocessors.” 2019. Doctoral Dissertation, University of Texas – Austin. Accessed December 03, 2020. http://dx.doi.org/10.26153/tsw/2661.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-7290-5050. “Broad-based side-channel defenses for modern microprocessors.” 2019. Web. 03 Dec 2020.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-7290-5050. Broad-based side-channel defenses for modern microprocessors. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2019. [cited 2020 Dec 03]. Available from: http://dx.doi.org/10.26153/tsw/2661.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-7290-5050. Broad-based side-channel defenses for modern microprocessors. [Doctoral Dissertation]. University of Texas – Austin; 2019. Available from: http://dx.doi.org/10.26153/tsw/2661

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

9. Harrison, Amelia J. Formal methods for answer set programming.

Degree: PhD, Computer Science, 2018, University of Texas – Austin

 Answer set programming (ASP) is a declarative programming paradigm for the design and implementation of knowledge-intensive applications, particularly useful for modeling problems involving combinatorial search.… (more)

Subjects/Keywords: Logic programming; Formal methods

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Sample image

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harrison, A. J. (2018). Formal methods for answer set programming. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/63692

Chicago Manual of Style (16th Edition):

Harrison, Amelia J. “Formal methods for answer set programming.” 2018. Doctoral Dissertation, University of Texas – Austin. Accessed December 03, 2020. http://hdl.handle.net/2152/63692.

MLA Handbook (7th Edition):

Harrison, Amelia J. “Formal methods for answer set programming.” 2018. Web. 03 Dec 2020.

Vancouver:

Harrison AJ. Formal methods for answer set programming. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2018. [cited 2020 Dec 03]. Available from: http://hdl.handle.net/2152/63692.

Council of Science Editors:

Harrison AJ. Formal methods for answer set programming. [Doctoral Dissertation]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/63692

.