License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.PLATEAU.2019.5
URN: urn:nbn:de:0030-drops-119590
Go to the corresponding OASIcs Volume Portal

Crichton, Will

Human-Centric Program Synthesis

OASIcs-PLATEAU-2019-5.pdf (0.3 MB)


Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications. While synthesis has been thoroughly explored for input/output pair specifications (programming-by-example), this paper asks: what does program synthesis look like beyond examples? What actual issues in day-to-day development would stand to benefit the most from synthesis? How can a human-centric perspective inform the exploration of alternative specification languages for synthesis? I sketch a human-centric vision for program synthesis where programmers explore and learn languages and APIs aided by a synthesis tool.

BibTeX - Entry

  author =	{Will Crichton},
  title =	{{Human-Centric Program Synthesis}},
  booktitle =	{10th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2019)},
  pages =	{5:1--5:5},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-135-1},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{76},
  editor =	{Sarah Chasins and Elena L. Glassman and Joshua Sunshine},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-119590},
  doi =		{10.4230/OASIcs.PLATEAU.2019.5},
  annote =	{Keywords: Program synthesis, programming by example, PL/HCI}

Keywords: Program synthesis, programming by example, PL/HCI
Collection: 10th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2019)
Issue Date: 2020
Date of publication: 30.03.2020

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI