國立虎尾科技大學 |

Human-Centered Program Synthesis.

紀錄類型:	書目-語言資料,手稿 : Monograph/item
正題名/作者:	Human-Centered Program Synthesis./
作者:	Ferdowsifard, Kasra.
面頁冊數:	1 online resource (211 pages)
附註:	Source: Dissertations Abstracts International, Volume: 85-10, Section: B.
Contained By:	Dissertations Abstracts International85-10B.
標題:	Computer science. -
電子資源:	click for full text (PQDT)
ISBN:	9798382224299

Human-Centered Program Synthesis.
Ferdowsifard, Kasra.

Human-Centered Program Synthesis. - 1 online resource (211 pages)

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

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

Includes bibliographical references

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.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2024

Mode of access: World Wide Web

ISBN: 9798382224299Subjects--Topical Terms:

573171
Computer science.
Subjects--Index Terms:

Large Language Models Index Terms--Genre/Form:

554714
Electronic books.

Human-Centered Program Synthesis.
LDR:02643ntm a22003857 4500 001 1146452
005 20240812064619.5
006 m o d
007 cr bn ---uuuuu
008 250605s2024 xx obm 000 0 eng d
020 $a 9798382224299
035 $a (MiAaPQ)AAI30993778
035 $a AAI30993778
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Ferdowsifard, Kasra. $3 1471841
245 1 0 $a Human-Centered Program Synthesis.
264 0 $c 2024
300 $a 1 online resource (211 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 85-10, Section: B.
500 $a Advisor: Lerner, Sorin;Polikarpova, Nadia.
502 $a Thesis (Ph.D.)--University of California, San Diego, 2024.
504 $a Includes bibliographical references
520 $a 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.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2024
538 $a Mode of access: World Wide Web
650 4 $a Computer science. $3 573171
650 4 $a Engineering. $3 561152
653 $a Large Language Models
653 $a Live Programming
653 $a GitHub
653 $a Programming languages
655 7 $a Electronic books. $2 local $3 554714
690 $a 0984
690 $a 0800
690 $a 0537
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a University of California, San Diego. $b Computer Science and Engineering. $3 1189479
773 0 $t Dissertations Abstracts International $g 85-10B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30993778 $z click for full text (PQDT)