Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Interactive Program Synthesis   Program synthesis from incomplete specifications (e.g. input-output examples)
has gained popularity and found real-world applications, primarily due to its
ease-of-use. Since this technology is often used in an interactive setting,
efficiency and correctness are often the key user expectations from a system
based on such technologies. Ensuring efficiency is challenging since the highly
combinatorial nature of program synthesis algorithms does not fit in a 1-2
second response expectation of a user-facing system. Meeting correctness
expectations is also difficult, given that the specifications provided are
incomplete, and that the users of such systems are typically non-programmers.
  In this paper, we describe how interactivity can be leveraged to develop
efficient synthesis algorithms, as well as to decrease the cognitive burden
that a user endures trying to ensure that the system produces the desired
program. We build a formal model of user interaction along three dimensions:
incremental algorithm, step-based problem formulation, and feedback-based
intent refinement. We then illustrate the effectiveness of each of these forms
of interactivity with respect to synthesis performance and correctness on a set
of real-world case studies.

9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys