서브메뉴
검색
Human-Centered Program Synthesis
Human-Centered Program Synthesis
상세정보
- 자료유형
- 학위논문 서양
- 최종처리일시
- 20250211150959
- ISBN
- 9798382224299
- DDC
- 004
- 서명/저자
- Human-Centered Program Synthesis
- 발행사항
- [Sl] : University of California, San Diego, 2024
- 발행사항
- Ann Arbor : ProQuest Dissertations & Theses, 2024
- 형태사항
- 211 p
- 주기사항
- Source: Dissertations Abstracts International, Volume: 85-10, Section: B.
- 주기사항
- Advisor: Lerner, Sorin;Polikarpova, Nadia.
- 학위논문주기
- Thesis (Ph.D.)--University of California, San Diego, 2024.
- 초록/해제
- 요약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.
- 일반주제명
- Computer science
- 일반주제명
- Engineering
- 키워드
- Live Programming
- 키워드
- GitHub
- 기타저자
- University of California, San Diego Computer Science and Engineering
- 기본자료저록
- Dissertations Abstracts International. 85-10B.
- 전자적 위치 및 접속
- 로그인 후 원문을 볼 수 있습니다.
MARC
008250123s2024 us c eng d■001000017160332
■00520250211150959
■006m o d
■007cr#unu||||||||
■020 ▼a9798382224299
■035 ▼a(MiAaPQ)AAI30993778
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a004
■1001 ▼aFerdowsifard, Kasra.
■24510▼aHuman-Centered Program Synthesis
■260 ▼a[Sl]▼bUniversity of California, San Diego▼c2024
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2024
■300 ▼a211 p
■500 ▼aSource: Dissertations Abstracts International, Volume: 85-10, Section: B.
■500 ▼aAdvisor: Lerner, Sorin;Polikarpova, Nadia.
■5021 ▼aThesis (Ph.D.)--University of California, San Diego, 2024.
■520 ▼aThe 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.
■590 ▼aSchool code: 0033.
■650 4▼aComputer science
■650 4▼aEngineering
■653 ▼aLarge Language Models
■653 ▼aLive Programming
■653 ▼aGitHub
■653 ▼aProgramming languages
■690 ▼a0984
■690 ▼a0800
■690 ▼a0537
■71020▼aUniversity of California, San Diego▼bComputer Science and Engineering.
■7730 ▼tDissertations Abstracts International▼g85-10B.
■790 ▼a0033
■791 ▼aPh.D.
■792 ▼a2024
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T17160332▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
