ESEC/FSE 2020
28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)

Title Page

Article: fse20foreword-fm000-p doi:

Message from the Chairs

Article: fse20foreword-fm001-p doi:

Committees

Article: fse20foreword-fm002-p doi:

A Behavioral Notion of Robustness for Software Systems
Changjian Zhang, David Garlan, and Eunsuk Kang
(Carnegie Mellon University, USA)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p656-p doi:10.1145/3368089.3409753

ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
Sahar Badihi, Faridah Akinotcho, Yi Li, and Julia Rubin
(University of British Columbia, Canada; Nanyang Technological University, Singapore)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional Article: fse20main-p674-p doi:10.1145/3368089.3409757

C2S: Translating Natural Language Comments to Formal Program Specifications
Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, and Xiangyu Zhang
(Rutgers University, USA; Purdue University, USA; Nanjing University, China)

Publisher's Version Video Teaser Article: fse20main-p365-p doi:10.1145/3368089.3409716

Detecting and Understanding JavaScript Global Identifier Conflicts on the Web
Mingxue Zhang and Wei Meng
(Chinese University of Hong Kong, China)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional Article: fse20main-p594-p doi:10.1145/3368089.3409747

Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
Dirk Beyer and Karlheinz Friedberger
(LMU Munich, Germany)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional Article: fse20main-p384-p doi:10.1145/3368089.3409718

Flexeme: Untangling Commits Using Lexical Flows
Profir-Petru Pârțachi, Santanu Kumar Dash, Miltiadis Allamanis, and Earl T. Barr
(University College London, UK; University of Surrey, UK; Microsoft Research, UK)

Publisher's Version Published Artifact Video Teaser Artifacts Available Article: fse20main-p205-p doi:10.1145/3368089.3409693

HISyn: Human Learning-Inspired Natural Language Programming
Zifan Nan, Hui Guan, and Xipeng Shen
(North Carolina State University, USA; University of Massachusetts at Amherst, USA)

Publisher's Version Video Teaser Article: fse20main-p64-p doi:10.1145/3368089.3409673

Inductive Program Synthesis over Noisy Data
Shivam Handa and Martin C. Rinard
(Massachusetts Institute of Technology, USA)

Publisher's Version Video Teaser Article: fse20main-p447-p doi:10.1145/3368089.3409732

Inherent Vacuity for GR(1) Specifications
Shahar Maoz and Rafi Shalom
(Tel Aviv University, Israel)

Publisher's Version Video Teaser Article: fse20main-p12-p doi:10.1145/3368089.3409669

Interval Counterexamples for Loop Invariant Learning
Rongchen Xu, Fei He, and Bow-Yaw Wang
(Tsinghua University, China; Academia Sinica, Taiwan)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional Article: fse20main-p633-p doi:10.1145/3368089.3409752

Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, and Willem Visser
(University of Minnesota, USA; Ain Shams University, Egypt; Stellenbosch University, South Africa)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p459-p doi:10.1145/3368089.3409734

JShrink: In-Depth Investigation into Debloating Modern Java Applications
Bobby R. Bruce, Tianyi Zhang, Jaspreet Arora, Guoqing Harry Xu, and Miryung Kim
(University of California at Davis, USA; Harvard University, USA; University of California at Los Angeles, USA)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional Article: fse20main-p497-p doi:10.1145/3368089.3409738

Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Sooyoung Cha and Hakjoo Oh
(Korea University, South Korea)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p667-p doi:10.1145/3368089.3409755

Mining Assumptions for Software Components using Machine Learning
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, and David Wolfe
(University of Luxembourg, Luxembourg; University of Ottawa, Canada; QRA, Canada)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p485-p doi:10.1145/3368089.3409737

Mining Input Grammars from Dynamic Control Flow
Rahul Gopinath, Björn Mathis, and Andreas Zeller
(CISPA, Germany)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p122-p doi:10.1145/3368089.3409679

Modular Collaborative Program Analysis in OPAL
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, and Mira Mezini
(TU Darmstadt, Germany)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p918-p doi:10.1145/3368089.3409765

Past-Sensitive Pointer Analysis for Symbolic Execution
David Trabish, Timotej Kapus, Noam Rinetzky, and Cristian Cadar
(Tel Aviv University, Israel; Imperial College London, UK)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p237-p doi:10.1145/3368089.3409698

TypeWriter: Neural Type Prediction with Search-Based Validation
Michael Pradel, Georgios Gousios, Jason Liu, and Satish Chandra
(University of Stuttgart, Germany; Delft University of Technology, Netherlands; Facebook, USA)

Publisher's Version Video Teaser Article: fse20main-p346-p doi:10.1145/3368089.3409715

UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel
Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, and Paul Yu
(University of California at Riverside, USA; U.S. Army Research Laboratory, USA)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional Article: fse20main-p172-p doi:10.1145/3368089.3409686

Exploring How Deprecated Python Library APIs Are (Not) Handled
Jiawei Wang, Li Li, Kui Liu, and Haipeng Cai
(Monash University, Australia; Nanjing University of Aeronautics and Astronautics, China; Washington State University, USA)

Publisher's Version Video Teaser Article: fse20main-p467-p doi:10.1145/3368089.3409735

Selecting Third-Party Libraries: The Practitioners’ Perspective
Enrique Larios Vargas, Maurício Aniche, Christoph Treude, Magiel Bruntink, and Georgios Gousios
(Software Improvement Group, Netherlands; Delft University of Technology, Netherlands; University of Adelaide, Australia)

Publisher's Version Video Teaser Article: fse20main-p316-p doi:10.1145/3368089.3409711

A Principled Approach to GraphQL Query Cost Analysis
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, and Jim A. Laredo
(IBM Research, USA; IBM, USA; Purdue University, USA)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p24-p doi:10.1145/3368089.3409670

Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components
Alex Cummaudo, Scott Barnett, Rajesh Vasa, John Grundy, and Mohamed Abdelrazek
(Deakin University, Australia; Monash University, Australia)

Publisher's Version Video Teaser Article: fse20main-p183-p doi:10.1145/3368089.3409688

Block Public Access: Trust Safety Verification of Access Control Policies
Malik Bouchet, Byron Cook, Bryant Cutler, Anna Druzkina, Andrew Gacek, Liana Hadarean, Ranjit Jhala, Brad Marshall, Dan Peebles, Neha Rungta, Cole Schlesinger, Chriss Stephens, Carsten Varming, and Andy Warfield
(Amazon, USA)

Publisher's Version Video Teaser Article: fse20main-p427-p doi:10.1145/3368089.3409728

Efficient Incident Identification from Multi-dimensional Issue Reports via Meta-heuristic Search
Jiazhen Gu, Chuan Luo, Si Qin, Bo Qiao, Qingwei Lin, Hongyu Zhang, Ze Li, Yingnong Dang, Shaowei Cai, Wei Wu, Yangfan Zhou, Murali Chintalapati, and Dongmei Zhang
(Fudan University, China; Microsoft Research, China; University of Newcastle, Australia; Microsoft, USA; Institute of Software at Chinese Academy of Sciences, China; University of Technology Sydney, Australia)

Publisher's Version Video Teaser Article: fse20main-p528-p doi:10.1145/3368089.3409741

Identifying Linked Incidents in Large-Scale Online Service Systems
Yujun Chen, Xian Yang, Hang Dong, Xiaoting He, Hongyu Zhang, Qingwei Lin, Junjie Chen, Pu Zhao, Yu Kang, Feng Gao, Zhangwei Xu, and Dongmei Zhang
(Microsoft Research, China; Hong Kong Baptist University, China; Chinese Academy of Sciences, China; University of Newcastle, Australia; Tianjin University, China; Microsoft, USA)

Publisher's Version Video Teaser Article: fse20main-p978-p doi:10.1145/3368089.3409768

Real-Time Incident Prediction for Online Service Systems
Nengwen Zhao, Junjie Chen, Zhou Wang, Xiao Peng, Gang Wang, Yong Wu, Fang Zhou, Zhen Feng, Xiaohui Nie, Wenchi Zhang, Kaixin Sui, and Dan Pei
(Tsinghua University, China; Tianjin University, China; BizSeer, China; Beijing University of Posts and Telecommunications, China; EverBright Bank, China)

Publisher's Version Video Teaser Article: fse20main-p58-p doi:10.1145/3368089.3409672

Configuration Smells in Continuous Delivery Pipelines: A Linter and a Six-Month Study on GitLab
Carmine Vassallo, Sebastian Proksch, Anna Jancso, Harald C. Gall, and Massimiliano Di Penta
(University of Zurich, Switzerland; Delft University of Technology, Netherlands; University of Sannio, Italy)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p310-p doi:10.1145/3368089.3409709

Dimensions of Software Configuration: On the Configuration Context in Modern Software Development
Norbert Siegmund, Nicolai Ruckel, and Janet Siegmund
(Leizpig University, Germany; Bauhaus-University Weimar, Germany; Chemnitz University of Technology, Germany)

Publisher's Version Video Teaser Article: fse20main-p100-p doi:10.1145/3368089.3409675

Global Cost/Quality Management across Multiple Applications
Liu Liu, Sibren Isaacman, and Ulrich Kremer
(Rutgers University, USA; Loyola University Maryland, USA)

Publisher's Version Video Teaser Article: fse20main-p398-p doi:10.1145/3368089.3409721

Understanding and Discovering Software Configuration Dependencies in Cloud and Datacenter Systems
Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, and Tianyin Xu
(University of Illinois at Urbana-Champaign, USA; National University of Defense Technology, China; Cornell University, USA)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p423-p doi:10.1145/3368089.3409727

Docable: Evaluating the Executability of Software Tutorials
Samim Mirhosseini and Chris Parnin
(North Carolina State University, USA)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional Article: fse20main-p277-p doi:10.1145/3368089.3409706

RulePad: Interactive Authoring of Checkable Design Rules
Sahar Mehrpour, Thomas D. LaToza, and Hamed Sarvari
(George Mason University, USA)

Publisher's Version Video Teaser Article: fse20main-p624-p doi:10.1145/3368089.3409751

A First Look at Good First Issues on GitHub
Xin Tan, Minghui Zhou, and Zeyu Sun
(Peking University, China)

Publisher's Version Video Teaser Article: fse20main-p581-p doi:10.1145/3368089.3409746

A Randomized Controlled Trial on the Effects of Embedded Computer Language Switching
P. Merlin Uesbeck, Cole S. Peterson, Bonita Sharif, and Andreas Stefik
(University of Nevada at Las Vegas, USA; University of Nebraska-Lincoln, USA)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p248-p doi:10.1145/3368089.3409701

A Theory of the Engagement in Open Source Projects via Summer of Code Programs
Jefferson Silva, Igor Wiese, Daniel M. German, Christoph Treude, Marco Aurélio Gerosa, and Igor Steinmacher
(PUC-SP, Brazil; Federal University of Technology Paraná, Brazil; University of Victoria, Canada; University of Adelaide, Australia; Northern Arizona University, USA)

Publisher's Version Video Teaser Article: fse20main-p411-p doi:10.1145/3368089.3409724

An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse
Jacob Krüger and Thorsten Berger
(University of Toronto, Canada; University of Magdeburg, Germany; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)

Publisher's Version Published Artifact Video Teaser Artifacts Available Article: fse20main-p170-p doi:10.1145/3368089.3409684

An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective
Linda Erlenhov, Francisco Gomes de Oliveira Neto, and Philipp Leitner
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Functional Article: fse20main-p127-p doi:10.1145/3368089.3409680

Biases and Differences in Code Review using Medical Imaging and Eye-Tracking: Genders, Humans, and Machines
Yu Huang, Kevin Leach, Zohreh Sharafi, Nicholas McKay, Tyler Santander, and Westley Weimer
(University of Michigan, USA; University of California at Santa Barbara, USA)

Publisher's Version Video Teaser Article: fse20main-p133-p doi:10.1145/3368089.3409681

Community Expectations for Research Artifacts and Evaluation Processes
Ben Hermann, Stefan Winter, and Janet Siegmund
(University of Paderborn, Germany; TU Darmstadt, Germany; TU Chemnitz, Germany)

Publisher's Version Published Artifact Video Teaser Artifacts Available Artifacts Reusable Artifacts Functional Article: fse20main-p970-p doi:10.1145/3368089.3409767

Does Stress Impact Technical Interview Performance?
Mahnaz Behroozi, Shivani Shirolkar, Titus Barik, and Chris Parnin
(North Carolina State University, USA; Microsoft, USA)

Publisher's Version Video Teaser Article: fse20main-p323-p doi:10.1145/3368089.3409712

Exploring the Evolution of Software Practices
Yvonne Dittrich, Christian Bo Michelsen, Paolo Tell, Pernille Lous, and Allan Ebdrup
(IT University of Copenhagen, Denmark)

Publisher's Version Video Teaser Article: fse20main-p931-p doi:10.1145/3368089.3409766

Heard It through the Gitvine: An Empirical Study of Tool Diffusion across the npm Ecosystem
Hemank Lamba, Asher Trockman, Daniel Armanios, Christian Kästner, Heather Miller, and Bogdan Vasilescu
(Carnegie Mellon University, USA)

Publisher's Version Video Teaser Article: fse20main-p269-p doi:10.1145/3368089.3409705

Interactive, Effort-Aware Library Version Harmonization
Kaifeng Huang, Bihuan Chen, Bowen Shi, Ying Wang, Congying Xu, and Xin Peng
(Fudan University, China)

Publisher's Version Video Teaser Article: fse20main-p187-p doi:10.1145/3368089.3409689

On the Naturalness of Hardware Descriptions
Jaeseong Lee, Pengyu Nie, Junyi Jessy Li, and Milos Gligoric
(University of Texas at Austin, USA)

Publisher's Version Video Teaser Article: fse20main-p194-p doi:10.1145/3368089.3409692

On the Relationship between Design Discussions and Design Quality: A Case Study of Apache Projects
Umme Ayda Mannan, Iftekhar Ahmed, Carlos Jensen, and Anita Sarma
(Oregon State University, USA; University of California at Irvine, USA)

Publisher's Version Video Teaser Article: fse20main-p302-p doi:10.1145/3368089.3409707

On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication
Massimiliano Di Penta, Gabriele Bavota, and Fiorella Zampetti
(University of Sannio, Italy; USI Lugano, Switzerland)

Publisher's Version Video Teaser Article: fse20main-p214-p doi:10.1145/3368089.3409695

Questions for Data Scientists in Software Engineering: A Replication