Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 55 for “"Program Synthesis"”.
-
Program Synthesis With Types
Program synthesis, the automatic generation of programs from specification, promises to fundamentally change the way that we build software. By using synthesis tools, we can greatly speed up the time it takes to build complex software artifacts as well as construct programs that are automatically …
-
Program Synthesis for Quantum Applications
… computers. However, developing efficient quantum programs remains challenging due to the unique constraints of quantum systems, including noise, limited qubit connectivity, and hardware variability. Unlike classical programming, where high-level abstractions and optimized compilers ease …
-
Learning frameworks for program synthesis
The field of synthesis is seeing a renaissance in recent years, where the task is to automatically synthesize small expressions or programs. One of the most prominent techniques counterexample guided inductive synthesis (CEGIS), uses a teacher(verification oracle) and a learner(learning algorithm) …
-
Accessible programming using program synthesis
… platforms have greatly increased the demand for programmers, but learning to program remains a big challenge. Program synthesis techniques have the potential to revolutionize programming by making it more accessible. In this dissertation, I present three systems, AutoProf, FlashFill, and …
-
Program Synthesis over Noisy Data
I present a new framework and associated synthesis algorithms for program synthesis over noisy data, i.e., data that may contain incorrect/corrupted input-output examples. I model the process that produced the noisy dataset as the selection of inputs and a hidden program from an input source and …
-
Program Synthesis with Symbolic Properties
Program synthesis is the task of automatically writing computer programs given a specification for their behavior. Program synthesis is challenging due to the combinatorial nature of the search space. In the short term, improving program synthesis could make people vastly more productive, by …
-
Search and Representation in Program Synthesis
Building systems that can synthesize programs from natural specifications (such as examples or language) is a longstanding goal of AI. Building such systems would allow us to achieve both scientific and practical goals. From a scientific perspective, program synthesis may provide a way to learn …
-
Structured Grammatical Evolution applied to program synthesis
… the phenotype. In this paper, we apply SGE to program synthesis, where the computer must generate code to solve algorithmic problems. SGE was improved upon, because the current definition of SGE does not work. Given that the solution space is very large for possible codes, we aim to improve the …
-
Compilation using correct-by-construction program synthesis
Extracting and compiling certified programs may introduce bugs in otherwise proven-correct code, reducing the extent of the guarantees that proof assistants and correct-by-construction program-derivation frameworks provide. We explore a novel approach to extracting and compiling embedded …
-
Program synthesis from execution traces and demonstrations
In this thesis, we introduce an architecture for programming productivity tools that relies on a database of execution traces. Our database enables a novel user interaction model for a programmer assistant based on short demonstrations of framework usages in applications. By matching the …
-
Constraint Based Program Synthesis for Embedded Software
In the world that we live in today, we greatly rely on software in nearly every aspect of our lives. In many critical applications, such as in transportation and medical systems, catastrophic consequences could occur in case of buggy software. As the computational power and storage capacity of …
-
Discovering Abstractions from Language via Neurosymbolic Program Synthesis
… are growing highly adept at language-guided program synthesis: translating natural language specifications into code to solve programming tasks. Nevertheless, current approaches require searching through a vast space of strings, often needing thousands of guesses to discover solutions to …
-
Domain-based program synthesis using planning and derivational analogy
… propose a domain-based, integrated framework for program synthesis that emphasizes the reuse of software components and past experience in solving problems. A crucial component of the framework is a concept dictionary that contains a description of domain related components. This forms a basis for …
-
Agent problem solving by inductive and deductive program synthesis
… for learning them. In this thesis, I claim that programs are a good representation for procedural knowledge, and that program synthesis is a promising mechanism for procedural learning. Prior attempts at AI program synthesis have taken a purely deductive approach to building provably corrent …
-
Code Summarization and Program Synthesis with Large Language Models
… gap between natural-language text and executable programs, allowing users to flow between the two modes. Even though large language models, have become increasingly popular, it is unclear how effective they are with code summarization and generation, especially as we examine longer source code …
-
Investigating genetic programming with novelty and domain knowledge for program synthesis
… of evolutionary algorithms. We investigate program synthesis performance via grammatical evolution using novelty search -- substituting the conventional search objective -- based on synthesis quality, with a novelty objective. This prompts us to introduce a new selection method named …
-
Algebro-geometric algorithms for program synthesis, tensor networks, and conditional independence models
… onderzoekt Algebro-Geometrische Algoritmen in Programmasynthese, Tensornetwerken, en Conditionele Onafhankelijkheidsmodellen. In Programmasynthese draagt het onderzoek bij aan template-gebaseerde synthese voor polynomiale imperatieve programma's, bewijst beslisbaarheid, ontwikkelt een praktisch …
-
Converting to Optimization in Machine Learning: Perturb-and-MAP, Differential Privacy, and Program Synthesis
… casts the challenging discrete search problem of program synthesis from input-output examples as a supervised learning task that can be efficiently tackled using gradient-based optimization. In all four instances, the conversions result in novel algorithms with desirable properties. In the first …
-
A Genetic Source-Code Program-Synthesizer for Real-Time Co-Evolution with Humans: Gene-Level Geometric-Push Program-Synthesis
… for human-interactive and collaborative programming practice? Addressing this question, a novel automated source-code generation system is created which synthesizes, using genetic operators, object-oriented compilable files, which better conforms to human coding conventions than current …
-
Inductive and Deductive Synthesis for Database Applications
Program synthesis is a promising method for building efficient, flexible software by deriving low-level implementations from high-level specifications. In this thesis, I use programming-languages techniques to develop systems for synthesizing high-performance, specialized software and to build …
Page 1 of 3