1st International Workshop on Automated Program Repair (APR 2020)

In conjunction with 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea

Recent years have witnessed an explosive growth of works on automated program repair in various scientific communities including software engineering, programming languages and formal methods, and this growth has culminated in successful deployments of program repair technology in industry. Despite these considerable advances, program repair still faces fundamental technological and societal challenges. This workshop will create an opportunity for the research community to coordinate its effort for addressing these challenges, share recent ideas and results, and formulate an agenda for future research.

Keynotes

  • Satish Chandra
    Satish Chandra

    Facebook

    Industry keynote (TBA)

  • Abhik Roychoudhury
    Abhik Roychoudhury

    National University of Singapore

    Academic keynote (TBA)

Call for Papers

We invite submissions that discuss recent developments in the theory and practice of automated program repair. The workshop will provide an opportunity for researchers interested in program repair to exchange ideas and find out about current research directions in the field. A particular emphasis of this workshop is on reducing the gap between academic research on automated program repair and the demands of industry.

This workshop will explore topics related to:

  • Quality of automatically generated patches
  • Scalability of program repair algorithms
  • Repair of domain-specific bugs
  • Applications of program repair
  • Deployment of program repair
  • Case studies on program repair
  • Program repair tools
  • Program repair benchmarks
  • Program analysis for program repair
  • Machine learning of code for program repair
  • Testing and verification for program repair
  • Fault localization for program repair
  • Debugging and program repair
  • Program synthesis for program repair

A PDF version of the Call for Papers is available here.

Evaluation Criteria

Reviewers will evaluate each contribution for its soundness, significance, novelty, verifiability, and clarity. Submissions should clearly state how they are novel and how they improve upon existing work.

We will employ a double-blind review process. Thus, no submission may reveal its authors’ identities. The authors must make every effort to honor the double-blind review process. In particular, the authors’ names must be omitted from the submission and references to their prior work should be in the third person.

Submission Instructions

All submissions must conform to the ICSE 2020 formatting and submission instructions. All submissions must be in PDF. We invite submissions of papers of the following types:

  • Research papers (8 pages inc. references): technical research, experience reports, empirical studies, etc.
  • Position papers (2 pages inc. references): well-argued position or work in progress.

Formatting instructions are available at https://www.acm.org/publications/proceedings-template for both LaTeX and Word users. LaTeX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, enable the conference format in the preamble of the document (i.e., \documentclass[sigconf,review]{acmart}), and use the ACM reference format for the bibliography (i.e., \bibliographystyle{ACM-Reference-Format}). The review option adds line numbers, thereby allowing referees to refer to specific lines in their comments.

Submissions can be made via the submission site (https://apr20.hotcrp.com) by the submission deadline. We encourage the authors to upload their paper info early (and can submit the PDF later) to properly enter conflicts for double-blind reviewing. If a submission is accepted, at least one author of the paper is required to attend the workshop and present the paper in person.

All accepted workshop papers will be published in the ICSE 2020 Companion volume by ACM. The official publication date of the workshop proceedings is the date the proceedings are made available in the ACM Library. This date may be up to two weeks prior to the first day of ICSE 2020. The official publication date affects the deadline for any patent filings related to published work.

Important Dates
AoE (UTC-12h)
  • January 22, 2020
    Submission deadline
  • February 25, 2020
    Notification
  • March 16, 2020
    Camera-ready version
  • May 26, 2020
    Workshop date

Submission Link

Organizing Committee
  • Shin Hwei Tan
    Shin Hwei Tan

    Southern University of Science and Technology, China

  • Sergey Mechtaev
    Sergey Mechtaev

    University College London, UK

  • Martin Monperrus
    Martin Monperrus

    KTH Royal Institute of Technology, Sweden

  • Mukul Prasad
    Mukul Prasad

    Fujitsu Labs of America, USA

Program Committee
  • Xuan-Bach D. Le
    Xuan-Bach D. Le

    University of Melbourne

  • Carlo A. Furia
    Carlo A. Furia

    USI (Università della Svizzera italiana)

  • Dongsun Kim
    Dongsun Kim

    Furiosa.ai, Republic of Korea

  • Jifeng Xuan
    Jifeng Xuan

    Wuhan University

  • Lingming Zhang
    Lingming Zhang

    The University of Texas at Dallas

  • Loris D'Antoni
    Loris D'Antoni

    University of Wisconsin Madison

  • Matias Martinez
    Matias Martinez

    Université Polytechnique Hauts-de-France

  • Sarfraz Khurshid
    Sarfraz Khurshid

    UT Austin

  • Tegawendé F. Bissyandé
    Tegawendé F. Bissyandé

    SnT, University of Luxembourg

  • Thomas Durieux
    Thomas Durieux

    INESC-ID and IST, University of Lisbon

  • Yingfei Xiong
    Yingfei Xiong

    Peking University