ESEC/FSE 2022
30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022)
Powered by
Conference Publishing Consulting

30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022), November 14–18, 2022, Singapore, Singapore

ESEC/FSE 2022 – Proceedings

Contents - Abstracts - Authors
Twitter: https://twitter.com/esecfse

Frontmatter

Title Page
Message from the Chairs
ESEC/FSE 2022 Organization
ESEC/FSE 2022 Sponsors and Supporters

Invited Contributions

Keynotes

AI-Assisted Programming: Applications, User Experiences, and Neuro-Symbolic Techniques (Keynote)
Sumit GulwaniORCID logo
(Microsoft, USA)
Publisher's Version
On Safety, Assurance, and Reliability: A Software Engineering Perspective (Keynote)
Marsha Chechik ORCID logo
(University of Toronto, Canada)
Publisher's Version

Impact Award Paper Keynote

Task Modularity and the Emergence of Software Value Streams (Impact Award Paper Keynote)
Gail C. Murphy and Mik Kersten
(University of British Columbia, Canada; Tasktop Technologies, Canada)
Publisher's Version

Invited Tutorials

Academic Prototyping (Invited Tutorial)
Andreas Zeller ORCID logo
(CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version
Multi-perspective Representation Learning for Source Code Analytics (Invited Tutorial)
Zhi Jin ORCID logo
(Peking University, China)
Publisher's Version

Main Research

Machine Learning I

Adaptive Fairness Improvement Based on Causality Analysis
Mengdi Zhang ORCID logo and Jun SunORCID logo
(Singapore Management University, Singapore)
Publisher's Version
NatGen: Generative Pre-training by “Naturalizing” Source Code
Saikat ChakrabortyORCID logo, Toufique AhmedORCID logo, Yangruibo DingORCID logo, Premkumar T. DevanbuORCID logo, and Baishakhi RayORCID logo
(Columbia University, USA; University of California at Davis, USA)
Publisher's Version Published Artifact Artifacts Available

Software Testing I

Testing of Autonomous Driving Systems: Where Are We and Where Should We Go?
Guannan Lou ORCID logo, Yao Deng ORCID logo, Xi Zheng ORCID logo, Mengshi Zhang ORCID logo, and Tianyi Zhang ORCID logo
(Macquarie University, Australia; Meta, USA; Purdue University, USA)
Publisher's Version
Fuzzing Deep-Learning Libraries via Automated Relational API Inference
Yinlin Deng ORCID logo, Chenyuan YangORCID logo, Anjiang Wei ORCID logo, and Lingming Zhang ORCID logo
(University of Illinois at Urbana-Champaign, USA; Stanford University, USA)
Publisher's Version
SEDiff: Scope-Aware Differential Fuzzing to Test Internal Function Models in Symbolic Execution
Penghui Li ORCID logo, Wei Meng ORCID logo, and Kangjie Lu ORCID logo
(Chinese University of Hong Kong, China; University of Minnesota, USA)
Publisher's Version
Perfect Is the Enemy of Test Oracle
Ali Reza Ibrahimzada ORCID logo, Yigit Varli, Dilara Tekinoglu, and Reyhaneh Jabbarvand ORCID logo
(University of Illinois at Urbana-Champaign, USA; Middle East Technical University, USA; University of Massachusetts at Amherst, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional
Scenario-Based Test Reduction and Prioritization for Multi-Module Autonomous Driving Systems
Yao Deng ORCID logo, Xi Zheng ORCID logo, Mengshi Zhang ORCID logo, Guannan Lou ORCID logo, and Tianyi Zhang ORCID logo
(Macquarie University, Australia; Meta, USA; Purdue University, USA)
Publisher's Version
MOSAT: Finding Safety Violations of Autonomous Driving Systems using Multi-objective Genetic Algorithm
Haoxiang Tian ORCID logo, Yan Jiang ORCID logo, Guoquan Wu ORCID logo, Jiren Yan ORCID logo, Jun Wei ORCID logo, Wei Chen ORCID logo, Shuo Li ORCID logo, and Dan Ye ORCID logo
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of Chinese Academy of Sciences Nanjing College, China; China Southern Power Grid, China; University of Chinese Academy of Sciences Chongqing School, China; Nanjing Institute of Software Technology, China)
Publisher's Version

Empirical I

Are We Building on the Rock? On the Importance of Data Preprocessing for Code Summarization
Lin ShiORCID logo, Fangwen Mu, Xiao Chen, Song Wang ORCID logo, Junjie Wang ORCID logo, Ye Yang, Ge Li, Xin Xia ORCID logo, and Qing Wang
(Institute of Software at Chinese Academy of Sciences, China; York University, Canada; Stevens Institute of Technology, USA; Peking University, China; Huawei, China)
Publisher's Version
Correlates of Programmer Efficacy and Their Link to Experience: A Combined EEG and Eye-Tracking Study
Norman PeitekORCID logo, Annabelle Bergum ORCID logo, Maurice Rekrut, Jonas Mucke, Matthias Nadig, Chris ParninORCID logo, Janet Siegmund ORCID logo, and Sven Apel ORCID logo
(Saarland University, Germany; German Research Center for Artificial Intelligence, Germany; Chemnitz University of Technology, Germany; North Carolina State University, USA)
Publisher's Version Info
What Motivates Software Practitioners to Contribute to Inner Source?
Zhiyuan WanORCID logo, Xin Xia ORCID logo, Yun Zhang ORCID logo, David LoORCID logo, Daibing Zhou, Qiuyuan Chen ORCID logo, and Ahmed E. Hassan ORCID logo
(Zhejiang University, China; Huawei, China; Zhejiang University City College, China; Singapore Management University, Singapore; Queen’s University, Canada)
Publisher's Version

Community

A Retrospective Study of One Decade of Artifact Evaluations
Stefan WinterORCID logo, Christopher S. Timperley ORCID logo, Ben Hermann ORCID logo, Jürgen Cito ORCID logo, Jonathan Bell ORCID logo, Michael Hilton ORCID logo, and Dirk BeyerORCID logo
(LMU Munich, Germany; Carnegie Mellon University, USA; TU Dortmund, Germany; TU Wien, Austria; Northeastern University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Quantifying Community Evolution in Developer Social Networks
Liang Wang ORCID logo, Ying Li ORCID logo, Jierui Zhang ORCID logo, and Xianping Tao ORCID logo
(Nanjing University, China)
Publisher's Version Info
Understanding Skills for OSS Communities on GitHub
Jenny T. LiangORCID logo, Thomas ZimmermannORCID logo, and Denae FordORCID logo
(University of Washington, USA; Microsoft Research, USA)
Publisher's Version Info

Software Evolution

Accurate Method and Variable Tracking in Commit History
Mehran Jodavi ORCID logo and Nikolaos TsantalisORCID logo
(Concordia University, Canada)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional
Classifying Edits to Variability in Source Code
Paul Maximilian BittnerORCID logo, Christof Tinnes ORCID logo, Alexander SchultheißORCID logo, Sören Viegener ORCID logo, Timo Kehrer ORCID logo, and Thomas ThümORCID logo
(University of Ulm, Germany; Siemens, Germany; Humboldt University of Berlin, Germany; University of Bern, Switzerland)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
The Evolution of Type Annotations in Python: An Empirical Study
Luca Di Grazia ORCID logo and Michael Pradel ORCID logo
(University of Stuttgart, Germany)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
UTANGO: Untangling Commits with Context-Aware, Graph-Based, Code Change Clustering Learning Model
Yi Li, Shaohua Wang, and Tien N. Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)
Publisher's Version Info

Program Analysis I

Static Executes-Before Analysis for Event Driven Programs
Rekha Pai ORCID logo, Abhishek Uppar ORCID logo, Akshatha Shenoy, Pranshul Kushwaha, and Deepak D'Souza
(IISc Bangalore, India; TCS Research, India)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Security Code Smells in Apps: Are We Getting Better?
Steven ArztORCID logo
(Fraunhofer SIT, Germany; ATHENE, Germany)
Publisher's Version
Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects
Xiuhan Shi, Xiaofei XieORCID logo, Yi LiORCID logo, Yao Zhang, Sen Chen ORCID logo, and Xiaohong Li
(Tianjin University, China; Singapore Management University, Singapore; Nanyang Technological University, Singapore)
Publisher's Version Published Artifact Info Artifacts Available
On-the-Fly Syntax Highlighting using Neural Networks
Marco Edoardo Palma ORCID logo, Pasquale Salza ORCID logo, and Harald C. GallORCID logo
(University of Zurich, Switzerland)
Publisher's Version Published Artifact Info Artifacts Available
Declarative Smart Contracts
Haoxian Chen ORCID logo, Gerald Whitters ORCID logo, Mohammad Javad Amiri ORCID logo, Yuepeng Wang ORCID logo, and Boon Thau Loo ORCID logo
(University of Pennsylvania, USA; Simon Fraser University, Canada)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Human/Computer Interaction

Asynchronous Technical Interviews: Reducing the Effect of Supervised Think-Aloud on Communication Ability
Mahnaz Behroozi ORCID logo, Chris ParninORCID logo, and Chris Brown ORCID logo
(IBM, USA; North Carolina State University, USA; Virginia Tech, USA)
Publisher's Version
How to Formulate Specific How-To Questions in Software Development?
Mingwei Liu ORCID logo, Xin Peng, Andrian MarcusORCID logo, Christoph TreudeORCID logo, Jiazhan Xie, Huanjun Xu, and Yanjun Yang
(Fudan University, China; University of Texas at Dallas, USA; University of Melbourne, Australia)
Publisher's Version
Pair Programming Conversations with Agents vs. Developers: Challenges and Opportunities for SE Community
Peter Robe ORCID logo, Sandeep K. Kuttal ORCID logo, Jake AuBuchon ORCID logo, and Jacob Hart ORCID logo
(University of Tulsa, USA)
Publisher's Version
Psychologically-Inspired, Unsupervised Inference of Perceptual Groups of GUI Widgets from GUI Images
Mulong Xie ORCID logo, Zhenchang Xing ORCID logo, Sidong Feng ORCID logo, Xiwei Xu ORCID logo, Liming Zhu ORCID logo, and Chunyang Chen ORCID logo
(Australian National University, Australia; CSIRO’s Data61, Australia; Monash University, Australia; UNSW, Australia)
Publisher's Version Info
Toward Interactive Bug Reporting for (Android App) End-Users
Yang Song ORCID logo, Junayed Mahmud ORCID logo, Ying Zhou ORCID logo, Oscar ChaparroORCID logo, Kevin MoranORCID logo, Andrian MarcusORCID logo, and Denys PoshyvanykORCID logo
(College of William and Mary, USA; George Mason University, USA; University of Texas at Dallas, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Machine Learning II

Understanding Performance Problems in Deep Learning Systems
Junming Cao, Bihuan Chen, Chao Sun, Longjie Hu, Shuaihong Wu, and Xin Peng
(Fudan University, China)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
API Recommendation for Machine Learning Libraries: How Far Are We?
Moshi Wei ORCID logo, Yuchao Huang ORCID logo, Junjie Wang ORCID logo, Jiho Shin ORCID logo, Nima Shiri Harzevili ORCID logo, and Song Wang ORCID logo
(York University, Canada; Institute of Software at Chinese Academy of Sciences, China)
Publisher's Version
No More Fine-Tuning? An Experimental Evaluation of Prompt Tuning in Code Intelligence
Chaozheng Wang ORCID logo, Yuanhang Yang ORCID logo, Cuiyun Gao ORCID logo, Yun Peng ORCID logo, Hongyu Zhang ORCID logo, and Michael R. Lyu ORCID logo
(Harbin Institute of Technology, China; Chinese University of Hong Kong, China; University of Newcastle, Australia)
Publisher's Version

Software Testing II

Cross-Device Record and Replay for Android Apps
Cong Li ORCID logo, Yanyan Jiang ORCID logo, and Chang XuORCID logo
(Nanjing University, China)
Publisher's Version Info
Online Testing of RESTful APIs: Promises and Challenges
Alberto Martin-Lopez ORCID logo, Sergio Segura ORCID logo, and Antonio Ruiz-Cortés ORCID logo
(University of Seville, Spain)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Avgust: Automating Usage-Based Test Generation from Videos of App Executions
Yixue Zhao ORCID logo, Saghar Talebipour ORCID logo, Kesina Baral ORCID logo, Hyojae Park ORCID logo, Leon Yee ORCID logo, Safwat Ali KhanORCID logo, Yuriy BrunORCID logo, Nenad Medvidović ORCID logo, and Kevin MoranORCID logo
(University of Massachusetts at Amherst, USA; University of Southern California, USA; George Mason University, USA; Sharon High School, USA; Valley Christian High School, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional
Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis
Jue WangORCID logo, Yanyan Jiang ORCID logo, Ting Su ORCID logo, Shaohua Li ORCID logo, Chang XuORCID logo, Jian Lu, and Zhendong Su ORCID logo
(Nanjing University, China; East China Normal University, China; ETH Zurich, Switzerland)
Publisher's Version Published Artifact Artifacts Available
RoboFuzz: Fuzzing Robotic Systems over Robot Operating System (ROS) for Finding Correctness Bugs
Seulbae KimORCID logo and Taesoo Kim
(Georgia Institute of Technology, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Empirical II

AgileCtrl: A Self-Adaptive Framework for Configuration Tuning
Shu Wang ORCID logo, Henry HoffmannORCID logo, and Shan LuORCID logo
(LinkedIn, USA; University of Chicago, USA)
Publisher's Version
Using Nudges to Accelerate Code Reviews at Scale
Qianhua Shan, David Sukhdeo, Qianying Huang, Seth Rogers, Lawrence Chen, Elise Paradis, Peter C. Rigby ORCID logo, and Nachiappan Nagappan ORCID logo
(Meta, USA; Concordia University, Canada)
Publisher's Version
First Come First Served: The Impact of File Position on Code Review
Enrico Fregnan ORCID logo, Larissa Braz ORCID logo, Marco D'Ambros, Gül Çalıklı ORCID logo, and Alberto BacchelliORCID logo
(University of Zurich, Switzerland; USI Lugano, Switzerland; University of Glasgow, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Code, Quality, and Process Metrics in Graduated and Retired ASFI Projects
Ștefan StănciulescuORCID logo, Likang Yin ORCID logo, and Vladimir Filkov ORCID logo
(University of California at Davis, USA)
Publisher's Version
CommentFinder: A Simpler, Faster, More Accurate Code Review Comments Recommendation
Yang Hong, Chakkrit Tantithamthavorn, Patanamon Thongtanunam, and Aldeida Aleti ORCID logo
(Monash University, Australia; University of Melbourne, Australia)
Publisher's Version

Machine Learning III

AutoPruner: Transformer-Based Call Graph Pruning
Thanh Le-Cong ORCID logo, Hong Jin Kang ORCID logo, Truong Giang Nguyen ORCID logo, Stefanus Agus Haryono ORCID logo, David LoORCID logo, Xuan-Bach D. Le ORCID logo, and Quyet Thang Huynh ORCID logo
(Singapore Management University, Singapore; University of Melbourne, Australia; Hanoi University of Science and Technology, Vietnam)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Lighting Up Supervised Learning in User Review-Based Code Localization: Dataset and Benchmark
Xinwen Hu ORCID logo, Yu Guo ORCID logo, Jianjie Lu ORCID logo, Zheling Zhu ORCID logo, Chuanyi LiORCID logo, Jidong Ge ORCID logo, Liguo Huang ORCID logo, and Bin Luo ORCID logo
(Nanjing University, China; Southern Methodist University, USA)
Publisher's Version
CORMS: A GitHub and Gerrit Based Hybrid Code Reviewer Recommendation Approach for Modern Code Review
Prahar Pandya and Saurabh TiwariORCID logo
(DA-IICT Gandhinagar, India)
Publisher's Version Published Artifact Artifacts Available
Hierarchical Bayesian Multi-kernel Learning for Integrated Classification and Summarization of App Reviews
Moayad Alshangiti ORCID logo, Weishi Shi ORCID logo, Eduardo Lima ORCID logo, Xumin Liu ORCID logo, and Qi Yu ORCID logo
(University of Jeddah, Saudi Arabia; Rochester Institute of Technology, USA)
Publisher's Version
Semi-supervised Pre-processing for Learning-Based Traceability Framework on Real-World Software Projects
Liming Dong ORCID logo, He Zhang, Wei Liu, Zhiluo Weng, and Hongyu Kuang
(Nanjing University, China)
Publisher's Version Published Artifact Artifacts Available

Formal Methods

Input Invariants
Dominic Steinhöfel ORCID logo and Andreas Zeller ORCID logo
(CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
Modus: A Datalog Dialect for Building Container Images
Chris TomyORCID logo, Tingmao Wang ORCID logo, Earl T. Barr ORCID logo, and Sergey Mechtaev ORCID logo
(University College London, UK)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
Multi-Phase Invariant Synthesis
Daniel Riley ORCID logo and Grigory Fedyukovich ORCID logo
(Florida State University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Parasol: Efficient Parallel Synthesis of Large Model Spaces
Clay StevensORCID logo and Hamid Bagheri ORCID logo
(University of Nebraska-Lincoln, USA)
Publisher's Version
Neural Termination Analysis
Mirco Giacobbe ORCID logo, Daniel KroeningORCID logo, and Julian Parsert ORCID logo
(University of Birmingham, UK; University of Oxford, UK)
Publisher's Version Published Artifact Artifacts Available

Debugging/Localization

PaReco: Patched Clones and Missed Patches among the Divergent Variants of a Software Family
Poedjadevie Kadjel Ramkisoen ORCID logo, John Businge, Brent van Bladel, Alexandre Decan ORCID logo, Serge DemeyerORCID logo, Coen De RooverORCID logo, and Foutse KhomhORCID logo
(University of Antwerp, Belgium; Flanders Make, Belgium; University of Nevada at Las Vegas, USA; University of Mons, Belgium; F.R.S.-FNRS, Belgium; Vrije Universiteit Brussel, Belgium; Polytechnique Montréal, Canada)
Publisher's Version
Fault Localization to Detect Co-change Fixing Locations
Yi Li, Shaohua Wang, and Tien N. Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)
Publisher's Version Info
The Best of Both Worlds: Integrating Semantic Features with Expert Features for Defect Prediction and Localization
Chao NiORCID logo, Wei Wang ORCID logo, Kaiwen Yang ORCID logo, Xin Xia ORCID logo, Kui Liu ORCID logo, and David LoORCID logo
(Zhejiang University, China; Huawei, China; Singapore Management University, Singapore)
Publisher's Version

Mining Software Repositories

An Exploratory Study on the Predominant Programming Paradigms in Python Code
Robert DyerORCID logo and Jigyasa Chauhan
(University of Nebraska-Lincoln, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
Making Python Code Idiomatic by Automatic Refactoring Non-idiomatic Python Code with Pythonic Idioms
Zejun Zhang, Zhenchang Xing ORCID logo, Xin Xia ORCID logo, Xiwei Xu ORCID logo, and Liming Zhu ORCID logo
(Australian National University, Australia; CSIRO’s Data61, Australia; Huawei, China)
Publisher's Version
An Empirical Study of Blockchain System Vulnerabilities: Modules, Types, and Patterns
Xiao Yi ORCID logo, Daoyuan Wu ORCID logo, Lingxiao Jiang ORCID logo, Yuzhou Fang ORCID logo, Kehuan Zhang ORCID logo, and Wei Zhang ORCID logo
(Chinese University of Hong Kong, China; Singapore Management University, Singapore; Nanjing University of Posts and Telecommunications, China)
Publisher's Version
How to Better Utilize Code Graphs in Semantic Code Search?
Yucen Shi ORCID logo, Ying Yin ORCID logo, Zhengkui Wang ORCID logo, David LoORCID logo, Tao ZhangORCID logo, Xin Xia ORCID logo, Yuhai Zhao ORCID logo, and Bowen Xu ORCID logo
(Northeastern University, China; Singapore Institute of Technology, Singapore; Singapore Management University, Singapore; Macau University of Science and Technology, China; Huawei, China)
Publisher's Version
23 Shades of Self-Admitted Technical Debt: An Empirical Study on Machine Learning Software
David OBrien ORCID logo, Sumon BiswasORCID logo, Sayem Imtiaz ORCID logo, Rabe Abdalkareem ORCID logo, Emad Shihab ORCID logo, and Hridesh Rajan ORCID logo
(Iowa State University, USA; Carleton University, Canada; Concordia University, Canada)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Program Analysis II

NeuDep: Neural Binary Memory Dependence Analysis
Kexin PeiORCID logo, Dongdong She ORCID logo, Michael Wang ORCID logo, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman JanaORCID logo, and Baishakhi RayORCID logo
(Columbia University, USA; Massachusetts Institute of Technology, USA; Purdue University, USA)
Publisher's Version
DynaPyt: A Dynamic Analysis Framework for Python
Aryaz Eghbali ORCID logo and Michael Pradel ORCID logo
(University of Stuttgart, Germany)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional
Cross-Language Android Permission Specification
Chaoran Li ORCID logo, Xiao Chen ORCID logo, Ruoxi Sun ORCID logo, Minhui Xue ORCID logo, Sheng Wen ORCID logo, Muhammad Ejaz Ahmed ORCID logo, Seyit Camtepe ORCID logo, and Yang Xiang ORCID logo
(Swinburne University of Technology, Australia; Monash University, Australia; University of Adelaide, Australia; CSIRO’s Data61, Australia)
Publisher's Version
Peahen: Fast and Precise Static Deadlock Detection via Context Reduction
Yuandao Cai ORCID logo, Chengfeng Ye, Qingkai ShiORCID logo, and Charles ZhangORCID logo
(Hong Kong University of Science and Technology, China; Ant Group, China)
Publisher's Version

Collaboration

A Case Study of Implicit Mentoring, Its Prevalence, and Impact in Apache
Zixuan Feng ORCID logo, Amreeta Chatterjee ORCID logo, Anita SarmaORCID logo, and Iftekhar Ahmed ORCID logo
(Oregon State University, USA; University of California at Irvine, USA)
Publisher's Version
Software Security during Modern Code Review: The Developer’s Perspective
Larissa Braz ORCID logo and Alberto BacchelliORCID logo
(University of Zurich, Switzerland)
Publisher's Version Published Artifact Info Artifacts Available
Program Merge Conflict Resolution via Neural Transformers
Alexey Svyatkovskiy ORCID logo, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Elizabeth Dinella, Christian Bird, Jinu Jang, Neel Sundaresan ORCID logo, and Shuvendu K. Lahiri
(Microsoft, USA; Washington State University, USA; University of California at Irvine, USA; Microsoft Research, USA; University of Pennsylvania, USA)
Publisher's Version

Security

Automated Unearthing of Dangerous Issue Reports
Shengyi Pan, Jiayuan Zhou, Filipe Roseiro Cogo, Xin Xia ORCID logo, Lingfeng Bao, Xing Hu, Shanping Li, and Ahmed E. Hassan ORCID logo
(Zhejiang University, China; Huawei, Canada; Huawei, China; Queen’s University, Canada)
Publisher's Version
On the Vulnerability Proneness of Multilingual Code
Wen Li ORCID logo, Li Li ORCID logo, and Haipeng CaiORCID logo
(Washington State University, USA; Monash University, Australia)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Tracking Patches for Open Source Software Vulnerabilities
Congying Xu, Bihuan Chen, Chenhao Lu, Kaifeng Huang, Xin Peng, and Yang LiuORCID logo
(Fudan University, China; Nanyang Technological University, Singapore)
Publisher's Version
DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks
Qi Qin ORCID logo, JulianAndres JiYang ORCID logo, Fu Song ORCID logo, Taolue Chen ORCID logo, and Xinyu Xing ORCID logo
(ShanghaiTech University, China; Birkbeck University of London, UK; Northwestern University, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

Dependability

Quantitative Relational Modelling with QAlloy
Pedro Silva ORCID logo, José N. OliveiraORCID logo, Nuno MacedoORCID logo, and Alcino CunhaORCID logo
(University of Minho, Portugal; INESC TEC, Portugal; University of Porto, Portugal)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Demystifying the Underground Ecosystem of Account Registration Bots
Yuhao Gao ORCID logo, Guoai Xu, Li Li ORCID logo, Xiapu Luo, Chenyu Wang, and Yulei SuiORCID logo
(University of Technology Sydney, Australia; Beijing University of Posts and Telecommunications, China; Harbin Institute of Technology, China; Monash University, Australia; Hong Kong Polytechnic University, China)
Publisher's Version
Using Graph Neural Networks for Program Termination
Yoav Alon ORCID logo and Cristina David ORCID logo
(University of Bristol, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Program Repair/Synthesis

PyTER: Effective Program Repair for Python Type Errors
Wonseok Oh ORCID logo and Hakjoo Oh ORCID logo
(Korea University, South Korea)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
VulRepair: A T5-Based Automated Software Vulnerability Repair
Michael Fu, Chakkrit Tantithamthavorn, Trung Le, Van Nguyen, and Dinh Phung
(Monash University, Australia; University of Adelaide, Australia)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
DeepDev-PERF: A Deep Learning-Based Approach for Improving Software Performance
Spandan Garg, Roshanak Zilouchian Moghaddam, Colin B. Clement, Neel Sundaresan ORCID logo, and Chen Wu
(Microsoft, USA; Microsoft, China)
Publisher's Version
Less Training, More Repairing Please: Revisiting Automated Program Repair via Zero-Shot Learning
Chunqiu Steven Xia ORCID logo and Lingming Zhang ORCID logo
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis
Zhengkai Wu, Vu LeORCID logo, Ashish Tiwari, Sumit GulwaniORCID logo, Arjun Radhakrishna ORCID logo, Ivan Radiček ORCID logo, Gustavo Soares ORCID logo, Xinyu Wang ORCID logo, Zhenwen Li, and Tao Xie ORCID logo
(University of Illinois at Urbana-Champaign, USA; Microsoft, USA; University of Michigan, USA; Peking University, China)
Publisher's Version

Online Presentations

AccessiText: Automated Detection of Text Accessibility Issues in Android Apps
Abdulaziz Alshayban and Sam Malek
(University of California at Irvine, USA)
Publisher's Version
Actionable and Interpretable Fault Localization for Recurring Failures in Online Service Systems
Zeyan Li ORCID logo, Nengwen Zhao, Mingjie Li ORCID logo, Xianglin Lu, Lixin Wang, Dongdong Chang, Xiaohui Nie ORCID logo, Li Cao, Wenchi Zhang ORCID logo, Kaixin Sui ORCID logo, Yanhua Wang, Xu Du, Guoqiang Duan, and Dan Pei ORCID logo
(Tsinghua University, China; China Construction Bank, China; BizSeer, China)
Publisher's Version Published Artifact Artifacts Available
AUGER: Automatically Generating Review Comments with Pre-training Models
Lingwei Li ORCID logo, Li Yang ORCID logo, Huaxi Jiang ORCID logo, Jun Yan ORCID logo, Tiejian Luo ORCID logo, Zihan Hua ORCID logo, Geng Liang ORCID logo, and Chun Zuo ORCID logo
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Wuhan University, China; Sinosoft, China)
Publisher's Version
Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-level Static Analysis
Jihyeok ParkORCID logo, Seungmin An ORCID logo, and Sukyoung RyuORCID logo
(Oracle, Australia; KAIST, South Korea)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Automating Code Review Activities by Large-Scale Pre-training
Zhiyu Li, Shuai Lu ORCID logo, Daya Guo, Nan Duan, Shailesh Jannu, Grant Jenks, Deep Majumder, Jared Green, Alexey Svyatkovskiy ORCID logo, Shengyu Fu, and Neel Sundaresan ORCID logo
(Peking University, China; Microsoft Research, China; Sun Yat-sen University, China; LinkedIn, USA; Microsoft, USA)
Publisher's Version
Corporate Dominance in Open Source Ecosystems: A Case Study of OpenStack
Yuxia ZhangORCID logo, Klaas-Jan Stol ORCID logo, Hui Liu ORCID logo, and Minghui Zhou ORCID logo
(Beijing Institute of Technology, China; Lero, Ireland; University College Cork, Ireland; Peking University, China)
Publisher's Version
Detecting Simulink Compiler Bugs via Controllable Zombie Blocks Mutation
Shikai Guo ORCID logo, He Jiang ORCID logo, Zhihao Xu, Xiaochen Li, Zhilei Ren, Zhide Zhou, and Rong Chen
(Dalian Maritime University, China; Dalian University of Technology, China)
Publisher's Version
Diet Code Is Healthy: Simplifying Programs for Pre-trained Models of Code
Zhaowei Zhang ORCID logo, Hongyu Zhang ORCID logo, Beijun Shen ORCID logo, and Xiaodong GuORCID logo
(Shanghai Jiao Tong University, China; University of Newcastle, Australia)
Publisher's Version
Do Bugs Lead to Unnaturalness of Source Code?
Yanjie Jiang, Hui Liu ORCID logo, Yuxia ZhangORCID logo, Weixing Ji, Hao Zhong ORCID logo, and Lu Zhang
(Beijing Institute of Technology, China; Shanghai Jiao Tong University, China; Peking University, China)
Publisher's Version
Generating Realistic Vulnerabilities via Neural Code Editing: An Empirical Study
Yu Nong ORCID logo, Yuzhe Ou ORCID logo, Michael Pradel ORCID logo, Feng Chen ORCID logo, and Haipeng CaiORCID logo
(Washington State University, USA; University of Texas at Dallas, USA; University of Stuttgart, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Generic Sensitivity: Customizing Context-Sensitive Pointer Analysis for Generics
Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, and Lin Gao
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; TianqiSoft, China)
Publisher's Version Published Artifact Artifacts Available
MAAT: A Novel Ensemble Approach to Addressing Fairness and Performance Bugs for Machine Learning Software
Zhenpeng ChenORCID logo, Jie M. Zhang ORCID logo, Federica SarroORCID logo, and Mark HarmanORCID logo
(University College London, UK; King’s College London, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Minerva: Browser API Fuzzing with Dynamic Mod-Ref Analysis
Chijin Zhou ORCID logo, Quan Zhang ORCID logo, Mingzhe Wang ORCID logo, Lihua Guo ORCID logo, Jie Liang ORCID logo, Zhe Liu, Mathias Payer ORCID logo, and Yu JiangORCID logo
(Tsinghua University, China; Nanjing University of Aeronautics and Astronautics, China; EPFL, Switzerland)
Publisher's Version
NMTSloth: Understanding and Testing Efficiency Degradation of Neural Machine Translation Systems
Simin Chen ORCID logo, Cong Liu, Mirazul Haque, Zihe Song, and Wei YangORCID logo
(University of Texas at Dallas, USA)
Publisher's Version
Putting Them under Microscope: A Fine-Grained Approach for Detecting Redundant Test Cases in Natural Language
Zhiyuan Chang, Mingyang Li, Junjie Wang ORCID logo, Qing Wang, and Shoubin Li
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
Publisher's Version
RULER: Discriminative and Iterative Adversarial Training for Deep Neural Network Fairness
Guanhong Tao ORCID logo, Weisong Sun, Tingxu Han, Chunrong Fang ORCID logo, and Xiangyu ZhangORCID logo
(Purdue University, USA; Nanjing University, China)
Publisher's Version Published Artifact Artifacts Available
SamplingCA: Effective and Efficient Sampling-Based Pairwise Testing for Highly Configurable Software Systems
Chuan Luo ORCID logo, Qiyuan Zhao ORCID logo, Shaowei Cai ORCID logo, Hongyu Zhang ORCID logo, and Chunming Hu ORCID logo
(Beihang University, China; Shanghai Jiao Tong University, China; Institute of Software at Chinese Academy of Sciences, China; University of Newcastle, Australia)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
SPINE: A Scalable Log Parser with Feedback Guidance
Xuheng Wang, Xu Zhang, Liqun Li ORCID logo, Shilin HeORCID logo, Hongyu Zhang ORCID logo, Yudong Liu ORCID logo, Lingling Zheng, Yu Kang, Qingwei Lin ORCID logo, Yingnong Dang, Saravanakumar Rajmohan, and Dongmei Zhang ORCID logo
(Tsinghua University, China; Microsoft Research, China; University of Newcastle, Australia; Microsoft Azure, USA; Microsoft 365, USA)
Publisher's Version
SymMC: Approximate Model Enumeration and Counting using Symmetry Information for Alloy Specifications
Wenxi Wang, Yang Hu, Kenneth L. McMillan, and Sarfraz Khurshid
(University of Texas at Austin, USA)
Publisher's Version
TraceCRL: Contrastive Representation Learning for Microservice Trace Analysis
Chenxi Zhang, Xin Peng, Tong Zhou, Chaofeng Sha, Zhenghui Yan, Yiru Chen, and Hong Yang
(Fudan University, China)
Publisher's Version
You See What I Want You to See: Poisoning Vulnerabilities in Neural Code Search
Yao Wan, Shijie Zhang, Hongyu Zhang ORCID logo, Yulei SuiORCID logo, Guandong Xu, Dezhong Yao, Hai Jin ORCID logo, and Lichao Sun
(Huazhong University of Science and Technology, China; University of Newcastle, Australia; University of Technology Sydney, Australia; Lehigh University, USA)
Publisher's Version

Industry

Machine Learning

Nalanda: A Socio-technical Graph Platform for Building Software Analytics Tools at Enterprise Scale
Chandra MaddilaORCID logo, Suhas Shanbhogue ORCID logo, Apoorva Agrawal ORCID logo, Thomas ZimmermannORCID logo, Chetan Bansal ORCID logo, Nicole Forsgren ORCID logo, Divyanshu AgrawalORCID logo, Kim Herzig ORCID logo, and Arie van Deursen ORCID logo
(Microsoft Research, USA; Microsoft Research, India; Microsoft, USA; Delft University of Technology, Netherlands)
Publisher's Version Info
Uncertainty-Aware Transfer Learning to Evolve Digital Twins for Industrial Elevators
Qinghua Xu ORCID logo, Shaukat AliORCID logo, Tao Yue ORCID logo, and Maite Arratibel ORCID logo
(Simula Research Laboratory, Norway; University of Oslo, Norway; Orona, Spain)
Publisher's Version
All You Need Is Logs: Improving Code Completion by Learning from Anonymous IDE Usage Logs
Vitaliy Bibaev, Alexey Kalina, Vadim Lomshakov, Yaroslav GolubevORCID logo, Alexander Bezzubov, Nikita Povarov ORCID logo, and Timofey Bryksin ORCID logo
(JetBrains, Serbia; JetBrains, Germany; JetBrains, Russia; JetBrains Research, Serbia; JetBrains, Netherlands; JetBrains Research, Cyprus)
Publisher's Version
Testing of Machine Learning Models with Limited Samples: An Industrial Vacuum Pumping Application
Ayan Chatterjee ORCID logo, Bestoun S. AhmedORCID logo, Erik Hallin, and Anton Engman
(Karlstad University, Sweden; Uddeholms, Sweden)
Publisher's Version
Improving ML-Based Information Retrieval Software with User-Driven Functional Testing and Defect Class Analysis
Junjie Zhu ORCID logo, Teng Long ORCID logo, Wei Wang ORCID logo, and Atif Memon ORCID logo
(Apple, USA)
Publisher's Version

Empirical

What Improves Developer Productivity at Google? Code Quality
Lan Cheng, Emerson Murphy-Hill, Mark Canning, Ciera Jaspan, Collin Green, Andrea Knight, Nan Zhang, and Elizabeth Kammer
(Google, USA)
Publisher's Version Archive submitted (330 kB)
Understanding Why We Cannot Model How Long a Code Review Will Take: An Industrial Case Study
Lawrence Chen, Peter C. Rigby ORCID logo, and Nachiappan Nagappan ORCID logo
(Meta, USA; Concordia University, Canada)
Publisher's Version
Leveraging Test Plan Quality to Improve Code Review Efficacy
Lawrence Chen, Rui AbreuORCID logo, Tobi Akomolede, Peter C. Rigby ORCID logo, Satish Chandra ORCID logo, and Nachiappan Nagappan ORCID logo
(Meta Platforms, USA; Concordia University, Canada)
Publisher's Version
Are Elevator Software Robust against Uncertainties? Results and Experiences from an Industrial Case Study
Liping Han ORCID logo, Tao Yue ORCID logo, Shaukat AliORCID logo, Aitor Arrieta ORCID logo, and Maite Arratibel ORCID logo
(Nanjing University of Aeronautics and Astronautics, China; Simula Research Laboratory, Norway; Mondragon University, Spain; Orona, Spain)
Publisher's Version

Community

Achievement Unlocked: A Case Study on Gamifying DevOps Practices in Industry
Patrick Ayoup ORCID logo, Diego Elias Costa ORCID logo, and Emad Shihab ORCID logo
(Concordia University, Canada; Université du Québec à Montréal, Canada)
Publisher's Version

Software Evolution

Sometimes You Have to Treat the Symptoms: Tackling Model Drift in an Industrial Clone-and-Own Software Product Line
Christof Tinnes ORCID logo, Wolfgang Rössler ORCID logo, Uwe Hohenstein ORCID logo, Torsten Kühn ORCID logo, Andreas Biesdorf ORCID logo, and Sven Apel ORCID logo
(Siemens, Germany; Siemens Mobility, Germany; Saarland University, Germany)
Publisher's Version

Program Analysis

Input Splitting for Cloud-Based Static Application Security Testing Platforms
Maria ChristakisORCID logo, Thomas Cottenier, Antonio Filieri ORCID logo, Linghui Luo ORCID logo, Muhammad Numair MansurORCID logo, Lee Pike, Nicolás Rosner, Martin Schäf ORCID logo, Aritra Sengupta, and Willem Visser
(MPI-SWS, Germany; Amazon Web Services, USA; Amazon Web Services, Germany)
Publisher's Version

Debugging/Localization

Metadata-Based Retrieval for Resolution Recommendation in AIOps
Harshit Kumar ORCID logo, Ruchi Mahindru, and Debanjana Kar
(IBM Research, India; IBM Research, USA)
Publisher's Version

Collaboration

Workgraph: Personal Focus vs. Interruption for Engineers at Meta
Yifen Chen, Peter C. Rigby ORCID logo, Yulin Chen, Kun Jiang, Nader Dehghani, Qianying Huang, Peter Cottle, Clayton Andrews, Noah Lee, and Nachiappan Nagappan ORCID logo
(Meta, USA; Concordia University, Canada)
Publisher's Version
Understanding Automated Code Review Process and Developer Experience in Industry
Hyungjin Kim ORCID logo, Yonghwi Kwon ORCID logo, Sangwoo Joh ORCID logo, Hyukin Kwon ORCID logo, Yeonhee Ryou ORCID logo, and Taeksu Kim
(Samsung Research, South Korea)
Publisher's Version

Dependability

Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC
Ondřej Vašíček ORCID logo, Jan Fiedor, Tomáš Kratochvíla, Bohuslav Křena, Aleš Smrčka, and Tomáš VojnarORCID logo
(Brno University of Technology, Czechia; Honeywell International, Czechia)
Publisher's Version
Discovering Feature Flag Interdependencies in Microsoft Office
Michael SchröderORCID logo, Katja Kevic, Dan Gopstein, Brendan Murphy, and Jennifer Beckmann
(TU Wien, Austria; Microsoft, UK; Microsoft, USA)
Publisher's Version
What Did You Pack in My App? A Systematic Analysis of Commercial Android Packers
Zikan Dong ORCID logo, Hongxuan Liu, Liu Wang, Xiapu LuoORCID logo, Yao Guo ORCID logo, Guoai Xu, Xusheng XiaoORCID logo, and Haoyu Wang ORCID logo
(Beijing University of Posts and Telecommunications, China; Peking University, China; Hong Kong Polytechnic University, China; Case Western Reserve University, USA; Huazhong University of Science and Technology, China)
Publisher's Version

Repair/Synthesis

An Empirical Study of Deep Transfer Learning-Based Program Repair for Kotlin Projects
Misoo Kim ORCID logo, Youngkyoung Kim ORCID logo, Hohyeon Jeong ORCID logo, Jinseok Heo ORCID logo, Sungoh Kim ORCID logo, Hyunhee Chung ORCID logo, and Eunseok Lee ORCID logo
(Sungkyunkwan University, South Korea; Samsung Electronics, South Korea)
Publisher's Version

Online Presentations

An Empirical Investigation of Missing Data Handling in Cloud Node Failure Prediction
Minghua MaORCID logo, Yudong Liu ORCID logo, Yuang Tong ORCID logo, Haozhe Li ORCID logo, Pu Zhao ORCID logo, Yong Xu ORCID logo, Hongyu Zhang ORCID logo, Shilin HeORCID logo, Lu Wang ORCID logo, Yingnong Dang, Saravanakumar Rajmohan, and Qingwei Lin ORCID logo
(Microsoft Research, China; University of Newcastle, Australia; Microsoft, USA)
Publisher's Version
An Empirical Study of Log Analysis at Microsoft
Shilin HeORCID logo, Xu Zhang, Pinjia He ORCID logo, Yong Xu, Liqun Li, Yu Kang, Minghua MaORCID logo, Yining Wei, Yingnong Dang, Saravanakumar Rajmohan ORCID logo, and Qingwei Lin ORCID logo
(Microsoft Research, China; Chinese University of Hong Kong at Shenzhen, China; Microsoft Azure, China; Microsoft Azure, USA; Microsoft 365, USA)
Publisher's Version
AutoTSG: Learning and Synthesis for Incident Troubleshooting
Manish Shetty, Chetan Bansal ORCID logo, Sai Pramod Upadhyayula, Arjun Radhakrishna ORCID logo, and Anurag Gupta
(Microsoft Research, India; Microsoft, USA)
Publisher's Version
Demystifying “Removed Reviews” in iOS App Store
Liu Wang, Haoyu Wang ORCID logo, Xiapu LuoORCID logo, Tao ZhangORCID logo, Shangguang Wang ORCID logo, and Xuanzhe Liu ORCID logo
(Beijing University of Posts and Telecommunications, China; Huazhong University of Science and Technology, China; Hong Kong Polytechnic University, China; Macau University of Science and Technology, China; Peking University, China)
Publisher's Version
Exploring and Evaluating Personalized Models for Code Generation
Andrei Zlotchevski ORCID logo, Dawn Drain ORCID logo, Alexey Svyatkovskiy ORCID logo, Colin B. Clement ORCID logo, Neel Sundaresan ORCID logo, and Michele TufanoORCID logo
(McGill University, Canada; Anthropic, USA; Microsoft, USA)
Publisher's Version
FlakeRepro: Automated and Efficient Reproduction of Concurrency-Related Flaky Tests
Tanakorn LeesatapornwongsaORCID logo, Xiang RenORCID logo, and Suman NathORCID logo
(Microsoft Research, USA; University of Toronto, Canada)
Publisher's Version
Group-Based Corpus Scheduling for Parallel Fuzzing
Taotao Gu ORCID logo, Xiang Li ORCID logo, Shuaibing Lu ORCID logo, Jianwen Tian ORCID logo, Yuanping Nie ORCID logo, Xiaohui Kuang ORCID logo, Zhechao Lin ORCID logo, Chenyifan Liu ORCID logo, Jie Liang ORCID logo, and Yu JiangORCID logo
(Academy of Military Sciences, China; National University of Defense Technology, China; Tsinghua University, China)
Publisher's Version
Incorporating Domain Knowledge through Task Augmentation for Front-End JavaScript Code Generation
Sijie Shen, Xiang Zhu, Yihong Dong, Qizhi Guo, Yankun Zhen, and Ge Li ORCID logo
(Peking University, China; Alibaba Group, China)
Publisher's Version
Industry Experiences with Large-Scale Refactoring
James Ivers ORCID logo, Robert L. Nord, Ipek Ozkaya ORCID logo, Chris Seifried, Christopher S. Timperley ORCID logo, and Marouane Kessentini
(Carnegie Mellon University, USA; Oakland University, USA)
Publisher's Version
Industry Practice of Configuration Auto-tuning for Cloud Applications and Services
Runzhe Wang ORCID logo, Qinglong Wang ORCID logo, Yuxi Hu ORCID logo, Heyuan Shi ORCID logo, Yuheng Shen ORCID logo, Yu Zhan ORCID logo, Ying Fu ORCID logo, Zheng Liu ORCID logo, Xiaohai Shi ORCID logo, and Yu JiangORCID logo
(Alibaba Group, China; Central South University, China; Tsinghua University, China; Ant Group, China; Zhejiang University, China)
Publisher's Version
Investigating and Improving Log Parsing in Practice
Ying Fu, Meng Yan ORCID logo, Jian Xu, Jianguo Li, Zhongxin Liu, Xiaohong Zhang, and Dan Yang
(Chongqing University, China; Ant Group, China; Zhejiang University, China)
Publisher's Version
Towards Developer-Centered Automatic Program Repair: Findings from Bloomberg
Emily Rowan Winter ORCID logo, Vesna Nowack ORCID logo, David Bowes ORCID logo, Steve Counsell ORCID logo, Tracy Hall ORCID logo, Sæmundur Haraldsson ORCID logo, John Woodward ORCID logo, Serkan Kirbas ORCID logo, Etienne Windels, Olayori McBello, Abdurahman Atakishiyev, Kevin Kells, and Matthew Pagano
(Lancaster University, UK; Brunel University London, UK; University of Stirling, UK; Queen Mary University of London, UK; Bloomberg, UK)
Publisher's Version
Trace Analysis Based Microservice Architecture Measurement
Xin Peng, Chenxi Zhang, Zhongyuan Zhao, Akasaka Isami, Xiaofeng Guo, and Yunna Cui
(Fudan University, China; Alibaba Group, China)
Publisher's Version

Ideas, Visions, and Reflections

Community

In War and Peace: The Impact of World Politics on Software Ecosystems
Raula Gaikovina KulaORCID logo and Christoph TreudeORCID logo
(NAIST, Japan; University of Melbourne, Australia)
Publisher's Version

Machine Learning

Discrepancies among Pre-trained Deep Neural Networks: A New Threat to Model Zoo Reliability
Diego Montes ORCID logo, Pongpatapee Peerapatanapokin ORCID logo, Jeff Schultz ORCID logo, Chengjun Guo ORCID logo, Wenxin Jiang ORCID logo, and James C. DavisORCID logo
(Purdue University, USA)
Publisher's Version
Exploring the Under-Explored Terrain of Non-open Source Data for Software Engineering through the Lens of Federated Learning
Shriram Shanbhag ORCID logo and Sridhar Chimalakonda ORCID logo
(IIT Tirupati, India)
Publisher's Version

Debugging/Localization

Reflections on Software Failure Analysis
Paschal C. Amusuo ORCID logo, Aishwarya Sharma ORCID logo, Siddharth R. Rao ORCID logo, Abbey Vincent ORCID logo, and James C. DavisORCID logo
(Purdue University, USA)
Publisher's Version

Program Analysis

Language-Agnostic Dynamic Analysis of Multilingual Code: Promises, Pitfalls, and Prospects
Haoran Yang ORCID logo, Wen Li ORCID logo, and Haipeng CaiORCID logo
(Washington State University, USA)
Publisher's Version

Online Presentations

A Study on Identifying Code Author from Real Development
Siyi Gong ORCID logo and Hao Zhong ORCID logo
(Shanghai Jiao Tong University, China)
Publisher's Version
Paving the Way for Mature Secondary Research: The Seven Types of Literature Review
Paul RalphORCID logo and Sebastian BaltesORCID logo
(Dalhousie University, Canada; University of Adelaide, Australia)
Publisher's Version

Demonstrations

Community

iTiger: An Automatic Issue Title Generation Tool
Ting Zhang ORCID logo, Ivana Clairine Irsan ORCID logo, Ferdian Thung ORCID logo, DongGyun Han ORCID logo, David LoORCID logo, and Lingxiao Jiang ORCID logo
(Singapore Management University, Singapore; Royal Holloway University of London, UK)
Publisher's Version Video
CodeMatcher: A Tool for Large-Scale Code Search Based on Query Semantics Matching
Chao Liu ORCID logo, Xuanlin Bao ORCID logo, Xin Xia ORCID logo, Meng Yan ORCID logo, David LoORCID logo, and Ting Zhang ORCID logo
(Chongqing University, China; Huawei, China; Singapore Management University, Singapore)
Publisher's Version Video Info

Software Evolution

Context-Aware Code Recommendation in Intellij IDEA
Shamsa Abid ORCID logo, Hamid Abdul Basit ORCID logo, and Shafay Shamail ORCID logo
(Singapore Management University, Singapore; Prince Sultan University, Saudi Arabia; Lahore University of Management Sciences, Pakistan)
Publisher's Version Video
Python-by-Contract Dataset
Jiyang Zhang ORCID logo, Marko Ristin, Phillip Schanely, Hans Wernher van de Venn, and Milos GligoricORCID logo
(University of Texas at Austin, USA; Zurich University of Applied Sciences, Switzerland)
Publisher's Version

Human/Computer Interaction

MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
Pedro OrvalhoORCID logo, Mikoláš JanotaORCID logo, and Vasco ManquinhoORCID logo
(INESC-ID, Portugal; University of Lisbon, Portugal; Czech Technical University in Prague, Czechia)
Publisher's Version Published Artifact Video Info Artifacts Available
PolyFax: A Toolkit for Characterizing Multi-language Software
Wen Li ORCID logo, Li Li ORCID logo, and Haipeng CaiORCID logo
(Washington State University, USA; Monash University, Australia)
Publisher's Version

Software Testing

CLIFuzzer: Mining Grammars for Command-Line Invocations
Abhilash Gupta ORCID logo, Rahul GopinathORCID logo, and Andreas Zeller ORCID logo
(CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version
RecipeGen++: An Automated Trigger Action Programs Generator
Imam Nur Bani Yusuf ORCID logo, Diyanah Binte Abdul Jamal, Lingxiao Jiang ORCID logo, and David LoORCID logo
(Singapore Management University, Singapore)
Publisher's Version Published Artifact Video Info Artifacts Available

Empirical

TAPHSIR: Towards AnaPHoric Ambiguity Detection and ReSolution In Requirements
Saad Ezzini, Sallam Abualhaija ORCID logo, Chetan Arora, and Mehrdad Sabetzadeh
(University of Luxembourg, Luxembourg; Deakin University, Australia; University of Ottawa, Canada)
Publisher's Version
COREQQA: A COmpliance REQuirements Understanding using Question Answering Tool
Sallam Abualhaija ORCID logo, Chetan Arora, and Lionel C. BriandORCID logo
(University of Luxembourg, Luxembourg; Deakin University, Australia; University of Ottawa, Canada)
Publisher's Version

Formal Methods

SolSEE: A Source-Level Symbolic Execution Engine for Solidity
Shang-Wei Lin ORCID logo, Palina Tolmach ORCID logo, Ye Liu ORCID logo, and Yi LiORCID logo
(Nanyang Technological University, Singapore; IHPC at A*STAR, Singapore)
Publisher's Version Video Info
MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation
Ye Zheng ORCID logo, Jiaxiang Liu ORCID logo, and Xiaomu Shi ORCID logo
(Shenzhen University, China)
Publisher's Version Published Artifact Video Info Artifacts Available

Debugging

eGEN: An Energy-Saving Modeling Language and Code Generator for Location-Sensing of Mobile Apps
Kowndinya Boyalakuntla ORCID logo, Marimuthu Chinnakali ORCID logo, Sridhar Chimalakonda ORCID logo, and Chandrasekaran K ORCID logo
(IIT Tirupati, India; National Institute of Technology Karnataka, India)
Publisher's Version Video
SFLKit: A Workbench for Statistical Fault Localization
Marius Smytzek ORCID logo and Andreas Zeller ORCID logo
(CISPA Helmholtz Center for Information Security, Germany; Saarland University, Germany)
Publisher's Version Published Artifact Video Info Artifacts Available

Mining Software Repositories

WikiDoMiner: Wikipedia Domain-Specific Miner
Saad Ezzini, Sallam Abualhaija ORCID logo, and Mehrdad Sabetzadeh
(University of Luxembourg, Luxembourg; University of Ottawa, Canada)
Publisher's Version
RegMiner: Mining Replicable Regression Dataset from Code Repositories
Xuezhi Song, Yun Lin, Yijian Wu, Yifan Zhang, Siang Hwee Ng, Xin Peng, Jin Song Dong, and Hong Mei ORCID logo
(Fudan University, China; Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Peking University, China)
Publisher's Version Video Info

Program Analysis

FIM: Fault Injection and Mutation for Simulink
Ezio BartocciORCID logo, Leonardo Mariani ORCID logo, Dejan Ničković ORCID logo, and Drishti Yadav ORCID logo
(TU Wien, Austria; University of Milano-Bicocca, Italy; AIT, Austria)
Publisher's Version
JSIMutate: Understanding Performance Results through Mutations
Thomas Laurent ORCID logo, Paolo Arcaini ORCID logo, Catia TrubianiORCID logo, and Anthony Ventresque ORCID logo
(Lero, Ireland; University College Dublin, Ireland; National Institute of Informatics, Japan; Gran Sasso Science Institute, Italy)
Publisher's Version

Security

VulCurator: A Vulnerability-Fixing Commit Detector
Truong Giang Nguyen ORCID logo, Thanh Le-Cong ORCID logo, Hong Jin Kang ORCID logo, Xuan-Bach D. Le ORCID logo, and David LoORCID logo
(Singapore Management University, Singapore; University of Melbourne, Australia)
Publisher's Version
KVS: A Tool for Knowledge-Driven Vulnerability Searching
Xingqi Cheng ORCID logo, Xiaobing Sun ORCID logo, Lili Bo ORCID logo, and Ying Wei ORCID logo
(Yangzhou University, China; Heidelberg University, Germany; Nanjing University, China)
Publisher's Version Video Info
MANDO-GURU: Vulnerability Detection for Smart Contract Source Code by Heterogeneous Graph Embeddings
Hoang H. NguyenORCID logo, Nhat-Minh Nguyen, Hong-Phuc Doan, Zahra Ahmadi ORCID logo, Thanh-Nam Doan ORCID logo, and Lingxiao Jiang ORCID logo
(Leibniz Universität Hannover, Germany; Singapore Management University, Singapore; Hanoi University of Science and Technology, Vietnam)
Publisher's Version Video Info
FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
Haoxin TuORCID logo, Lingxiao Jiang ORCID logo, Xuhua Ding ORCID logo, and He Jiang ORCID logo
(Singapore Management University, Singapore; Dalian University of Technology, China)
Publisher's Version Video Info

Online Presentations

Clang __usercall: Towards Native Support for User Defined Calling Conventions
Jared Widberg ORCID logo, Sashank Narain ORCID logo, and Yimin Chen ORCID logo
(University of Massachusetts at Lowell, USA)
Publisher's Version
GFI-Bot: Automated Good First Issue Recommendation on GitHub
Hao He ORCID logo, Haonan Su ORCID logo, Wenxin Xiao ORCID logo, Runzhi He ORCID logo, and Minghui Zhou ORCID logo
(Peking University, China)
Publisher's Version
SemCluster: A Semi-supervised Clustering Tool for Crowdsourced Test Reports with Deep Image Understanding
Mingzhe Du, Shengcheng Yu ORCID logo, Chunrong Fang ORCID logo, Tongyu Li, Heyuan Zhang, and Zhenyu ChenORCID logo
(Nanjing University, China)
Publisher's Version
TSA: A Tool to Detect and Quantify Network Side-Channels
İsmet Burak Kadron ORCID logo and Tevfik BultanORCID logo
(University of California at Santa Barbara, USA)
Publisher's Version

Doctoral Symposium

Session 1

Blackbox Adversarial Attacks and Explanations for Automatic Speech Recognition
Xiaoliang Wu
(University of Edinburgh, UK)
Publisher's Version

Session 2

This Is Your Cue! Assisting Search Behaviour with Resource Style Properties
Deeksha M. AryaORCID logo
(McGill University, Canada)
Publisher's Version
Infrastructure as Code for Dynamic Deployments
Daniel SokolowskiORCID logo
(University of St. Gallen, Switzerland)
Publisher's Version
Automated Capacity Analysis of Limitation-Aware Microservices Architectures
Rafael Fresno-ArandaORCID logo
(University of Seville, Spain)
Publisher's Version

Session 3

Change-Aware Mutation Testing for Evolving Systems
Miloš Ojdanić ORCID logo
(University of Luxembourg, Luxembourg)
Publisher's Version
Effective and Scalable Fault Injection using Bug Reports and Generative Language Models
Ahmed Khanfir ORCID logo
(University of Luxembourg, Luxembourg)
Publisher's Version
Explaining and Debugging Pathological Program Behavior
Martin EberleinORCID logo
(Humboldt University of Berlin, Germany)
Publisher's Version

Session 4

Sentiment in Software Engineering: Detection and Application
Nathan CasseeORCID logo
(Eindhoven University of Technology, Netherlands)
Publisher's Version

Student Research Competition

Online Presentations

A Practical Call Graph Construction Method for Python
Jiacheng Zhong ORCID logo
(Nanjing University, China)
Publisher's Version
Automated Generation of Test Oracles for RESTful APIs
Juan C. Alonso ORCID logo
(University of Seville, Spain)
Publisher's Version
CheapET-3: Cost-Efficient Use of Remote DNN Models
Michael WeissORCID logo
(USI Lugano, Switzerland)
Publisher's Version
Improving IDE Code Inspections with Tree Automata
Yunjeong Lee ORCID logo
(National University of Singapore, Singapore)
Publisher's Version
RESTInfer: Automated Inferring Parameter Constraints from Natural Language RESTful API Descriptions
Yi Liu ORCID logo
(Nanyang Technological University, Singapore)
Publisher's Version

Tutorials

Program Analysis using WALA (Tutorial)
Joanna C. S. SantosORCID logo and Julian DolbyORCID logo
(University of Notre Dame, USA; IBM Research, USA)
Publisher's Version
Dynamic Data Race Prediction: Fundamentals, Theory, and Practice (Tutorial)
Umang Mathur ORCID logo and Andreas PavlogiannisORCID logo
(National University of Singapore, Singapore; Aarhus University, Denmark)
Publisher's Version
Machine Learning and Natural Language Processing for Automating Software Testing (Tutorial)
Mauro PezzèORCID logo
(USI Lugano, Switzerland; Schaffhausen Institute of Technology, Switzerland)
Publisher's Version
Performing Large-Scale Mining Studies: From Start to Finish (Tutorial)
Robert DyerORCID logo and Samuel W. Flint ORCID logo
(University of Nebraska-Lincoln, USA)
Publisher's Version

proc time: 39.56