자료유형  

 학위논문

Control Number  

0017160332

International Standard Book Number  

9798382224299

Dewey Decimal Classification Number  

004

Main Entry-Personal Name  

Ferdowsifard, Kasra.

Publication, Distribution, etc. (Imprint  

[S.l.] : University of California, San Diego., 2024

Publication, Distribution, etc. (Imprint  

Ann Arbor : ProQuest Dissertations & Theses, 2024

Physical Description  

211 p.

General Note  

Source: Dissertations Abstracts International, Volume: 85-10, Section: B.

General Note  

Advisor: Lerner, Sorin;Polikarpova, Nadia.

Dissertation Note  

Thesis (Ph.D.)--University of California, San Diego, 2024.

Summary, Etc.  

요약The intelligent programming assistant, directly integrated into the programmer's work-flow, has been a long time dream of programmers and researchers alike. Before the advent of Large Language Models (LLMs), this dream came closest to reality with Program Synthesis in the form of Programming-by-Example, and now tools such as GitHub Copilot have brought a version of it using LLMs to consumers. Alongside the technical developments in Program Synthesis and LLMs that made these tools possible, another area of research has focused on the usability of such tools, investigating user interfaces and interaction models that could most effectively employ these techniques to the benefit of programmers.This dissertation explores the overlap between these research areas, focusing on synchronous program synthesis where the user is in-the-loop, specifying synthesis problems and waiting on the result. It includes human-centered contributions to each step the synthesis process, exploring the use of Live Programming to improve specification in Programming-by-Example in SNIPPY and LOOPY, an algorithmic contribution to bottom-up enumerative synthesis with side effects in SOBEQ, and exploring interfaces for validation of AI-generated programs for experienced developers in LEAP, and end user programmers in COLDECO.

Subject Added Entry-Topical Term  

Computer science.

Subject Added Entry-Topical Term  

Engineering.

Index Term-Uncontrolled  

Large Language Models

Index Term-Uncontrolled  

Live Programming

Index Term-Uncontrolled  

GitHub

Index Term-Uncontrolled  

Programming languages

Added Entry-Corporate Name  

University of California, San Diego Computer Science and Engineering

Host Item Entry  

Dissertations Abstracts International. 85-10B.

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

Control Number  

joongbu:654609