Message from the ICSE 2020 General co-Chairs

On behalf of the ICSE 2020 Organizing Committee, we are delighted to present these Proceedings of the 42nd ACM/IEEE International Conference on Software Engineering. ICSE continues to be the premier software-engineering conference, where researchers, practitioners, and educators come together to present, discuss, and debate the most recent research results, innovations, trends, and concerns in the field of software engineering.

ICSE 2020 was originally scheduled to take place in , South in May of 2020. Due to the arrival of the coronavirus, after some intermediate attempts to reschedule, we ultimately decided to offer the conference solely in virtual format, in June-July of 2020. These Proceedings will have been published prior to that, and they reflect the structure of conference sessions planned for the original, physical, May conference.

Before we proceed further with this message, we must acknowledge that COVID-19 continues to have an impact around the world. This has caused suffering and distress for an enormous number of people, including members of the ICSE community, and we are mindful that many of these people, and likely some of our colleagues or their families, may have been severely affected by the consequences of the pandemic. Matters such as the organization of an ICSE conference clearly take on a lesser level of importance in the face of concerns such as these. Nonetheless, many of these same colleagues have been involved in or have contributed to the ICSE 2020 endeavor, and care about ICSE, and we want to acknowledge them. These proceedings will persist, and they document the intellectual contributions of the conference and its contributors, and the efforts that the ICSE community put in to attempt to ensure the conference’s success.

______

This is the first time ICSE has been scheduled to occur in . South Korea is a particularly appropriate location for ICSE: it is a country that has embraced technology and currently has the 12th largest economy in the world. At the same time, it is a country in which the old and new co-exist: e.g., traditional Korean music and K-PoP, traditional Korean cuisine and western foods, Oscar-winning movies and phansori storytelling. It is also one of the safest countries in the world. Seoul itself has the world’s 4th largest metropolitan economy and is home to the headquarters of numerous global technology companies including Samsung, LG, and Hyundai. Seoul is also a dynamic, thriving city, built on a culture that has thrived for over 2000 years. As the heart of Korea’s more recent history, Seoul contains five UNESCO World Heritage Sites– Palace, , Jongmyo Shrine, and the Royal Tombs of the Dynasty—in company with modern landmarks including the Namsan Tower, the 63 Building, the Lotte World Tower, Dongdaemoon Design Plaza, Moonlight Rainbow Fountain, COEX, and the Parc1 Tower.

This year’s main ICSE conference --- if it occurs --- will be one of the largest ever, with over 310 paper presentations. Paper presentations from the Technical Track, Software Engineering in Practice (SEIP) Track, New Ideas and Emerging Results (NIER) Track, Demonstrations Track, and Journal-First Track will be combined into blended sessions that are organized by topic. In addition, Software Engineering in Education and Training (SEET) Track and Software Engineering in Society (SEIS) Track will have their own dedicated sessions. Technical Briefings will be interspersed throughout the program. Poster and Demo presentations will run in parallel with sessions and over breaks, so that attendees can interact with presenters.

The main conference is scheduled to occur in conjunction with numerous partner events. First and foremost, several other conferences have been slated for co-location with ICSE this year, including:

● AST 2020 – 1st IEEE/ACM Conference on Automation of Software Test ● FormaliSE 2020 – 8th Conference on Formal Methods in Software Engineering, ● ICGSE 2020 – 15th ACM/IEEE International Conference on Global Software Engineering ● ICPC 2020 – 28th ACM/IEEE International Conference on Program Comprehension ● ICSSP 2020 – International. Conference on Software and Systems Process ● MOBILESoft 2020 – 7th ACM/IEEE International Conference on Mobile Software Engineering and Systems ● MSR 2020 – 17th International Conference on Mining Software Repositories ● SEAMS 2020 – 15th International Symposium on Software Engineering for Adaptive and Self-

viii Managing Systems ● TechDebt 2020 – 3rd International Conference on Technical Debt

Other partner events include numerous workshops on specific aspects of software engineering. In addition, an ICSE Doctoral Symposium will be able to provide students with the opportunity to present and discuss their dissertation research in a constructive and international atmosphere, a New Faculty Symposium will be able to help new software engineering faculty with the tools and understanding that will help them succeed in academia, and a Student Mentoring Workshop will attempt to attract students to research in software engineering, to demystify the graduate school experience, and to offer first-hand perspectives on graduate study from recent Ph.D. graduates, young scholars, and senior researchers.

We are ready to welcome three distinguished keynote speakers to the main ICSE conference. Dr. Nancy Leveson (Massachusetts Institute of Technology, USA) will discuss software safety, exploring things that need to be done to limit the damage that can be caused by software, and the new practices that are required to deal with the problems created by software’s increasing control of dangerous physical processes. Dr. Peter O’Hearn (Facebook / University College London) will discuss his experience bringing theoretical ideas in program logic into close contact with large-scale software engineering practices at Facebook, explaining how science and engineering are both better for it. Dr. Chan-Mo Park (POSTECH, former President/Chancellor of Pyongyang University of Science and Technology in the DPRK) will present a unique and hard-to-come-by view into the state of higher education in software engineering, and the state of software technology, in the Democratic People’s Republic of Korea (also known as North Korea).

On the second day of the main conference, we have scheduled an Awards plenary session to honor the recipients of three awards. The first award is the Most Influential Paper Award, which has gone to Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, and Ashish Tiwari, for their ICSE 2010 paper entitled Oracle- Guided Component-Based Program Synthesis, on key challenges that remain to the broader deployment of automated program synthesis techniques. The second award is the Harlan Mills Award; this has gone to Nachiappan Nagappan in recognition of his outstanding contributions to empirical software engineering and data-driven software development. The third award is this year’s ACM SIGSOFT Outstanding Research Award, which has gone to Michael Ernst for his contributions to programmer productivity through software analysis, testing, and verification.

We will be forever grateful to the many volunteers who have helped to organize ICSE 2020 -- regardless of the manner of its actual delivery. We are immensely grateful to the members of the Organizing Committee—a team of volunteers drawn from South Korea and around the world—who have contributed a tremendous amount of time and effort over the last four years into making the conference a success. We are particularly thankful to the Program Chairs, Jane Cleland-Huang and Darko Marinov, and the Technical Program Board and Program Committee, for selecting the content of the technical track itself, and we are further thankful to Darko, Jane, and our Scheduling Chair, Xiangyu Zhang, for overseeing the structure and integrity of the entire main program.

We also thank the chairs of the many additional events that round out the ICSE program: Moonzoo Kim (SEIP), Willem Visser and Shin Yoo (NIER), Sungwon Kang and Amy Ko (SEET), Seok-Won Lee and Anita Sarma (SEIS), Andrian Marcus and Mike Papadakis (Journal-First), Sam Malek and Eunjee Song (Technical Briefings), Hyunsook Do and Tien N. Nguyen (Demos), Collin McMillan and Tingting Yu (Posters), Tim Menzies and Leandro Minku (Artifact Evaluations), and Yunja Choi, Christian Kaestner, and Shane McIntosh (Student Mentoring Workshop).

We are thankful to our Workshop Chairs (Miryung Kim and Lori Pollock), our Co-located Events Chairs (Wei Le and Steve Cha), and our Korean Co-Located Events Chairs (Jang-Eui Hong and Byungjeong Lee) for overseeing the assemblage of our partner events. We also thank the general and program chairs of the partner events, and the members of their respective program committees -- all together they have contributed to an exceptional collection of conference programming and events. Among these we single out Mauro Pezze and Mary Lou Soffa (New Faculty Symposium), Lionel Briand and Gail Murphy (Doctoral Symposium), and Andrew Begel and Junbeom Yoo (Student Research Competition). Others, too numerous to list individually, are given credit in other volumes of the ICSE Proceedings.

We owe a special debt of gratitude to our Web Chairs (Milos Gligoric and Shin Hong), who responded day and night to content and change requests from around the world. We thank our Publications Chairs

ix (William G. J. Halfond and Rene Just) for fastidiously handling the gargantuan task of assembling the Proceedings for such an enormous conference. We thank our Student Volunteers Chairs (Sang Kil Cha and Hamid Bagheri) and their wonderful team of volunteers for their dedication and efforts. We thank our Finance Chair (In-Young Ko), who was so much more than just a Finance Chair, for contributing to all sorts of our needs—among them the arrangements for numerous organizational meetings. We thank our registrations chair (Ben Hermann) for showing us just how difficult his assignment was, and then accomplishing it brilliantly. We also thank our Awards Chair (Alessandro Orso), our Publicity Chairs (John L. Singleton as lead, along with Kyungmin Bae, Reda Bendraou, Eunjong Choi, and Miran Lee). our Social Media Chairs (Donghwan Shin and Lingming Zhang), our Submissions Chair (Michael Vierhauser), our Exhibitions Chair (Yeong-Seok Seo), our Travel Grants Chair (Sandeep Kuttal), and our MIP Chairs (Prem Devanbu and Sebastian Uchitel)—all of whom devoted countless hours toward the assemblage of this conference. We thank our Sponsorship Chair, Jongmoon Baik, for raising sponsorship funds sufficient to support a great show! Finally, we thank the staff of GENICOM who helped enormously with the conference organization, including A-Young Kim, Kelly Kim, Seul Lee, Jeon-Chae Kang, Sung Min Oh, and Dawn Kang.

Beyond all of the foregoing individuals, there are several organizations to which we are deeply beholden. We thank IEEE CS and its Technical Committee on Software Engineering (TCSE), ACM and its Special Interest Group on Software Engineering (SIGSOFT), and the Korean Institute for Information Scientists and Engineers (KIISE), for their sponsorship of ICSE 2020. We are also deeply grateful to our corporate sponsors for their generous support. As of this writing, those sponsors include the National Science Foundation (NSF), Facebook, North Carolina State University, Microsoft, Samsung, LG Electronics, KAIST, SK hynix, NAVER, Suresoft, HITACHI, and Google.

We also thank the ICSE 2020 Emergency Response Committee, whose members included, in addition to ourselves, Jane Cleland-Huang, Darko Marinov, Laurie Williams, Tom Zimmerman, Rick Kazman, James Peeples, and Silvia Ceballos. They shared their time and ideas with us during a difficult period of time.

Finally, thank you to all of the authors and other contributors for your involvement with ICSE. You are the reason ICSE is the premier conference in software engineering.

Thank you. 감사합니다

Gregg Rothermel Doo-Hwan Bae General co-Chair General co-Chair North Carolina State KAIST University, USA South Korea

x