Concepedia

Automated Program Synthesis

Automated Program Synthesis is a computational method within evolutionary computation that generates executable programs as solutions by automatically searching a program space guided by a fitness function, distinguished from other synthesis approaches by its reliance on evolutionary mechanisms such as mutation, crossover, and selection.

370

Publications

19.1K

Citations

769

Authors

246

Institutions

Publications per year

2017–2026

171

Parents

Publications

370

Syntax-guided synthesis

Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 523 citations

, , +11

Constructive mathematics and computer programming

Per Martin-Löf · Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences · 1984 · 502 citations

, , +13

The Generic Modeling Environment

Ákos Lédeczi, Miklós Maróti, Árpád Bakay et al. · 2001 · 496 citations

, , +17

SemFix: program repair via semantic analysis

Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury et al. · International Conference on Software Engineering · 2013 · 413 citations

, , +11

SemFix: Program repair via semantic analysis

Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury et al. · 2013 35th International Conference on Software Engineering (ICSE) · 2013 · 383 citations

, , +11

1–5 of 370

Authors

769

  1. AS
    Armando Solar-Lezama

    Massachusetts Institute of Technology, United States

    22 publications · 1.5K citations

    16

    h-index

  2. SG
    Sumit Gulwani

    Microsoft (United States), United States

    19 publications · 1.4K citations

    16

    h-index

  3. TH
    Thomas Helmuth

    Hampshire College, United States

    11 publications · 357 citations

    11

    h-index

  4. RS
    Rishabh Singh

    Microsoft (United States), United States

    10 publications · 626 citations

    10

    h-index

  5. YF
    Yu Feng

    The University of Texas at Austin, United States

    10 publications · 429 citations

    10

    h-index

1–5 of 769

Institutions

246

  1. Microsoft (United States)

    Redmond, United States

    24 h-index

    55 publications

    3.4K citations

  2. The University of Texas at Austin

    Austin, United States

    18 h-index

    46 publications

    2.4K citations

  3. University of California, Berkeley

    Berkeley, United States

    17 h-index

    50 publications

    2.9K citations

  4. Massachusetts Institute of Technology

    Cambridge, United States

    16 h-index

    84 publications

    5.9K citations

  5. Stanford University

    Stanford, United States

    15 h-index

    26 publications

    1.4K citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    14 h-index

    22 publications

    1K citations

  7. University of Washington

    Seattle, United States

    12 h-index

    25 publications

    909 citations

  8. University of Wisconsin–Madison

    Madison, United States

    12 h-index

    26 publications

    813 citations

1–8 of 246

Venues

  1. arXiv (Cornell University)

    Repository · 40 publications · 2K citations

    23

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 21 publications · 866 citations

    17

    h-index

  3. ACM SIGPLAN Notices

    20 publications · 627 citations

    15

    h-index

  4. Proceedings of the Genetic and Evolutionary Computation Conference

    Conference · 10 publications · 356 citations

    10

    h-index

  5. International Joint Conference on Artificial Intelligence

    Conference · 6 publications · 137 citations

    6

    h-index

1–5