Concepedia

Program Synthesis

Program Synthesis is a method in computer science that automatically generates executable programs from high-level specifications by searching a space of possible programs, distinguished from other software construction techniques by its reliance on formal or example-based constraints to infer correct implementations.

708

Publications

42.7K

Citations

1.3K

Authors

383

Institutions

Publications per year

2017–2026

274

Parents

Publications

708

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

, , +16

A Transformation System for Developing Recursive Programs

R. M. Burstall, John Darlington · Journal of the ACM · 1977 · 1.3K citations · Full text

, , +10

On the Design and Development of Program Families

David Lorge Parnas · IEEE Transactions on Software Engineering · 1976 · 769 citations

, , +11

The Cornell program synthesizer

Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text

, , +15

Combinatorial sketching for finite programs

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík et al. · 2006 · 642 citations

, , +12

1–5 of 708

Authors

1.3K

  1. AS
    Armando Solar-Lezama

    Massachusetts Institute of Technology, United States

    38 publications · 3K citations

    26

    h-index

  2. SG
    Sumit Gulwani

    Microsoft (United States), United States

    33 publications · 2.9K citations

    24

    h-index

  3. TH
    Thomas Helmuth

    Hampshire College, United States

    13 publications · 624 citations

    12

    h-index

  4. RB
    Rastislav Bodík

    University of California, Berkeley, United States

    12 publications · 1.7K citations

    12

    h-index

  5. YF
    Yu Feng

    The University of Texas at Austin, United States

    12 publications · 619 citations

    12

    h-index

1–5 of 1.3K

Institutions

383

  1. Microsoft (United States)

    Redmond, United States

    31 h-index

    77 publications

    5.7K citations

  2. University of California, Berkeley

    Berkeley, United States

    27 h-index

    94 publications

    9.1K citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    24 h-index

    117 publications

    8.5K citations

  4. The University of Texas at Austin

    Austin, United States

    23 h-index

    79 publications

    4.2K citations

  5. Stanford University

    Stanford, United States

    19 h-index

    44 publications

    2.3K citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    17 h-index

    29 publications

    1.2K citations

  7. University of Washington

    Seattle, United States

    16 h-index

    38 publications

    1.6K citations

  8. University of Wisconsin–Madison

    Madison, United States

    15 h-index

    36 publications

    1.6K citations

1–8 of 383

Venues

  1. arXiv (Cornell University)

    Repository · 55 publications · 2.7K citations

    28

    h-index

  2. ACM SIGPLAN Notices

    42 publications · 2K citations

    24

    h-index

  3. Proceedings of the ACM on Programming Languages

    PACMPL · 38 publications · 1.3K citations

    21

    h-index

  4. Proceedings of the Genetic and Evolutionary Computation Conference

    Conference · 12 publications · 434 citations

    11

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 11 publications · 1.6K citations

    11

    h-index

1–5