This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Theses and Dissertations
This collection contains theses and dissertations of graduate students of the University of Alberta. The collection contains a very large number of theses electronically available that were granted from 1947 to 2009, 90% of theses granted from 2009-2014, and 100% of theses granted from April 2014 to the present (as long as the theses are not under temporary embargo by agreement with the Faculty of Graduate and Postdoctoral Studies). IMPORTANT NOTE: To conduct a comprehensive search of all UofA theses granted and in University of Alberta Libraries collections, search the library catalogue at www.library.ualberta.ca - you may search by Author, Title, Keyword, or search by Department.
To retrieve all theses and dissertations associated with a specific department from the library catalogue, choose 'Advanced' and keyword search "university of alberta dept of english" OR "university of alberta department of english" (for example). Past graduates who wish to have their thesis or dissertation added to this collection can contact us at erahelp@ualberta.ca.
Items in this Collection
- 8Program Synthesis
- 2Machine Learning
- 2Video Games
- 1 Optimizing Auxiliary Function
- 1AI
- 1AI Programming Assistance
- 1Abdollahi, Fatemeh
- 1Ameen, Saqib
- 1Bashir, Zahra
- 1Emireddy, Thirupathi Reddy
- 1Gallivan, Matthew
- 1Rahman, Habibur
-
Fall 2024
Video game development is a highly technical practice that traditionally requires programming skills. This serves as a barrier to entry for would-be developers or those hoping to use games as part of their creative expression. While there have been prior game development tools focused on...
-
Fall 2024
Although the synthesis of programs encoding policies often carries the promise of interpretability, systematic evaluations were never performed to assess the interpretability of these policies, likely because of the complexity of such an evaluation. In this dissertation, we introduce a novel...
-
NeuroSketcher: Synthesizing Non-Differentiable Programs with Non-Differentiable Loss Functions
DownloadFall 2023
Programmatic hypotheses offer valuable properties, such as generalizability and interpretability. However, such hypotheses can be elusive, as one finds them by searching over large spaces of programs. Recent work showed that neural networks can be used to guide the search in the programmatic...
-
Fall 2021
Heuristic search is a core area of Artificial Intelligence (AI) with numerous applications. In video games it is commonly used to calculate paths of AI-controlled agents. Traditionally, heuristic search algorithms have been designed by humans. Recent work attempted to synthesise heuristic search...
-
Spring 2023
Recent advancements in large language models and program synthesis have enabled the development of powerful programming assistance tools. These tools are designed to help the programmer while writing a program in an online setting. In this thesis we introduce a programming assistant that can...
-
Spring 2023
Cost-guided bottom-up search (BUS) algorithms use a cost function to guide the search for solving program synthesis tasks. In this thesis, we show that current state-of-the-art cost-guided BUS algorithms suffer from a common problem: they can lose useful information given by the model and fail to...
-
Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate
DownloadFall 2023
The Witness is a game with difficult combinatorial puzzles that are challenging for both human players and artificial intelligence based solvers. Indeed, the number of candidate solution paths to the largest puzzle considered in this thesis is on the order of 10^(15) and search-based solvers can...
-
Two Irons in the Fire: Synthesizing Libraries of Programs by Optimizing an Auxiliary Function while Solving Problems
DownloadFall 2023
Program synthesis faces a significant challenge in exploring a vast program space to find a program that satisfies the user's intent. Prior studies have proposed using different methods to guide the synthesis process to address this challenge. We propose a method that offers search guidance which...