


default search action
22nd ESEC / 31st SIGSOFT FSE 2023: San Francisco, CA, USA
- Satish Chandra, Kelly Blincoe, Paolo Tonella:
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023. ACM 2023
Keynotes
- Eran Yahav
:
Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote). 1 - Margaret Burnett
:
Getting Outside the Bug Boxes (Keynote). 2
Human Aspects I
- Zihan Fang
, Madeline Endres
, Thomas Zimmermann
, Denae Ford
, Westley Weimer
, Kevin Leach
, Yu Huang
:
A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention. 3-15 - Felipe Fronchetti
, David C. Shepherd
, Igor Wiese
, Christoph Treude
, Marco Aurélio Gerosa
, Igor Steinmacher
:
Do CONTRIBUTING Files Provide Information about OSS Newcomers' Onboarding Barriers? 16-28 - Wenxin Xiao
, Hao He
, Weiwei Xu
, Yuxia Zhang
, Minghui Zhou
:
How Early Participation Determines Long-Term Sustained Activity in GitHub Projects? 29-41 - Hongbo Fang
, James D. Herbsleb
, Bogdan Vasilescu
:
Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors. 42-54
Testing I
- Emad Fallahzadeh
, Amir Hossein Bavand
, Peter C. Rigby
:
Accelerating Continuous Integration with Parallel Batch Testing. 55-67 - Longtian Wang
, Xiaofei Xie
, Xiaoning Du
, Meng Tian
, Qing Guo
, Zheng Yang
, Chao Shen
:
DistXplore: Distribution-Guided Testing for Evaluating and Enhancing Deep Learning Systems. 68-80 - Qiyuan Zhao
, Chuan Luo
, Shaowei Cai
, Wei Wu
, Jinkun Lin
, Hongyu Zhang
, Chunming Hu
:
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. 81-93
Machine Learning I
- Shibbir Ahmed
, Sayem Mohammad Imtiaz
, Syeda Khairunnesa Samantha
, Breno Dantas Cruz
, Hridesh Rajan
:
Design by Contract for Deep Learning APIs. 94-106 - Jialun Cao
, Yaojie Lu
, Ming Wen
, Shing-Chi Cheung
:
Testing Coreference Resolution Systems without Labeled Test Sets. 107-119 - Soneya Binta Hossain
, Antonio Filieri
, Matthew B. Dwyer
, Sebastian G. Elbaum
, Willem Visser
:
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. 120-132 - Maria-Irina Nicolae
, Max Eisele
, Andreas Zeller
:
Revisiting Neural Program Smoothing for Fuzzing. 133-145
Automated Repair I
- Weishi Wang
, Yue Wang
, Shafiq Joty
, Steven C. H. Hoi
:
RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair. 146-158 - Akshay Utture
, Jens Palsberg
:
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings. 159-171 - Yuxiang Wei
, Chunqiu Steven Xia
, Lingming Zhang
:
Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair. 172-184 - Sunbeom So
, Hakjoo Oh
:
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. 185-197 - Huiyan Wang
, Shuguan Liu
, Lingyu Zhang
, Chang Xu
:
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. 198-210
Empirical Studies I
- Kobi Feldman
, Martin Kellogg
, Oscar Chaparro
:
On the Relationship between Code Verifiability and Understandability. 211-223 - Xiaokai Wei
, Sujan Kumar Gonugondla
, Shiqi Wang
, Wasi Uddin Ahmad, Baishakhi Ray
, Haifeng Qian
, Xiaopeng Li
, Varun Kumar
, Zijian Wang
, Yuchen Tian
, Qing Sun
, Ben Athiwaratkun
, Mingyue Shang
, Murali Krishna Ramanathan
, Parminder Bhatia
, Bing Xiang
:
Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study. 224-236
Testing II
- Huaien Zhang
, Yu Pei
, Junjie Chen
, Shin Hwei Tan
:
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations. 237-249 - Kush Jain
, Uri Alon
, Alex Groce
, Claire Le Goues
:
Contextual Predictive Mutation Testing. 250-261 - Mohsen Moradi-Moghadam
, Mehdi Bagherzadeh
, Raffi Khatchadourian
, Hamid Bagheri
:
µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs. 262-274
Software Evolution I
- Lanxin Yang
, Jinwei Xu
, Yifan Zhang
, He Zhang
, Alberto Bacchelli
:
EvaCRC: Evaluating Code Review Comments. 275-287 - Quentin Le Dilavrec
, Djamel Eddine Khelladi
, Arnaud Blouin
, Jean-Marc Jézéquel
:
HyperDiff: Computing Source Code Diffs at Scale. 288-299 - Lantian Li
, Yejian Liang
, Zhihao Liu
, Zhongxing Yu
:
Understanding Solidity Event Logging Practices in the Wild. 300-312
Program Analysis I
- Xiaye Chi
, Hui Liu
, Guangjie Li
, Weixiao Wang
, Yunni Xia
, Yanjie Jiang
, Yuxia Zhang
, Weixing Ji
:
An Automated Approach to Extracting Local Variables. 313-325 - Seongmin Lee
, Marcel Böhme
:
Statistical Reachability Analysis. 326-337 - Mengxiao Zhang
, Zhenyang Xu
, Yongqiang Tian
, Yu Jiang
, Chengnian Sun
:
PPR: Pairwise Program Reduction. 338-349 - Alan Romano
, Weihang Wang
:
When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance. 350-362
Code Search and Text to Code
- Yuetian Mao
, Chengcheng Wan
, Yuze Jiang
, Xiaodong Gu
:
Self-Supervised Query Reformulation for Code Search. 363-374 - Shangwen Wang
, Mingyang Geng
, Bo Lin
, Zhensu Sun
, Ming Wen
, Yepang Liu
, Li Li
, Tegawendé F. Bissyandé
, Xiaoguang Mao
:
Natural Language to Code: How Far Are We? 375-387 - Akhilesh Deepak Gotmare
, Junnan Li
, Shafiq Joty
, Steven C. H. Hoi
:
Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer Models. 388-400 - Xiangzhe Xu
, Zhou Xuan
, Shiwei Feng
, Siyuan Cheng
, Yapeng Ye
, Qingkai Shi
, Guanhong Tao
, Le Yu
, Zhuo Zhang
, Xiangyu Zhang
:
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. 401-412
Log Analysis and Debugging
- Junjielong Xu
, Qiuai Fu
, Zhouruixing Zhu
, Yutong Cheng
, Zhijing Li
, Yuchi Ma
, Pinjia He
:
Hue: A User-Adaptive Parser for Hybrid Logs. 413-424 - Siyu Yu
, Yifan Wu
, Zhijing Li
, Pinjia He
, Ningjiang Chen
, Changjian Liu
:
Log Parsing with Generalization Ability under New Log Types. 425-437 - Martin Eberlein
, Marius Smytzek
, Dominic Steinhöfel
, Lars Grunske
, Andreas Zeller
:
Semantic Debugging. 438-449 - Kaifeng Huang
, Bihuan Chen
, Susheng Wu
, Junming Cao
, Lei Ma
, Xin Peng
:
Demystifying Dependency Bugs in Deep Learning Stack. 450-462
Machine Learning II
- Yibo Wang
, Ying Wang
, Tingwei Zhang
, Yue Yu
, Shing-Chi Cheung
, Hai Yu
, Zhiliang Zhu
:
Can Machine Learning Pipelines Be Better Configured? 463-475 - Jun Wang
, Guanping Xiao
, Shuai Zhang
, Huashan Lei
, Yepang Liu
, Yulei Sui
:
Compatibility Issues in Deep Learning Systems: Problems and Opportunities. 476-488 - Xiaohu Du
, Ming Wen
, Zichao Wei
, Shangwen Wang
, Hai Jin
:
An Extensive Study on Adversarial Attack against Pre-trained Models of Code. 489-501 - Giang Nguyen
, Sumon Biswas
, Hridesh Rajan
:
Fix Fairness, Don't Ruin Accuracy: Performance Aware Fairness Repair using AutoML. 502-514 - Yuxuan Wan
, Wenxuan Wang
, Pinjia He
, Jiazhen Gu
, Haonan Bai
, Michael R. Lyu
:
BiasAsker: Measuring the Bias in Conversational AI System. 515-527 - Sira Vegas
, Sebastian G. Elbaum
:
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice. 528-540 - Boyue Caroline Hu
, Lina Marsso
, Nikita Dvornik
, Huakun Shen
, Marsha Chechik
:
DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse. 541-552
Fault Diagnosis and Root Cause Analysis I
- Guangba Yu
, Pengfei Chen
, Yufeng Li
, Hongyang Chen
, Xiaoyun Li
, Zibin Zheng
:
Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-modal Observability Data. 553-565 - Zhiming Chen
, Pengfei Chen
, Peipei Wang
, Guangba Yu
, Zilong He
, Genting Mai
:
DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems. 566-578 - Yali Du, Zhongxing Yu
:
Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization. 579-591 - Enze Ma
, Shan Huang
, Weigang He
, Ting Su
, Jue Wang
, Huiyu Liu
, Geguang Pu
, Zhendong Su
:
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. 592-604 - Liyan Song
, Leandro L. Minku
, Cong Teng
, Xin Yao
:
A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction. 605-617
Human Aspects II
- Saima Ritonummi
, Valtteri Siitonen
, Markus Salo
, Henri Pirkkalainen
, Anu Sivunen
:
Flow Experience in Software Engineering. 618-630 - Ella Dagan
, Anita Sarma
, Alison Chang
, Sarah D'Angelo
, Jill Dicker
, Emerson R. Murphy-Hill
:
Building and Sustaining Ethnically, Racially, and Gender Diverse Software Engineering Teams: A Study at Google. 631-643 - Hsu Myat Win
, Haibo Wang
, Shin Hwei Tan
:
Towards Automated Detection of Unethical Behavior in Open-Source Software Projects. 644-656
Testing III
- Jiawei Liu
, Jinjun Peng
, Yuyao Wang
, Lingming Zhang
:
NeuRI: Diversifying DNN Generation via Inductive Rule Inference. 657-669 - Yibiao Yang
, Maolin Sun
, Yang Wang
, Qingyang Li
, Ming Wen
, Yuming Zhou
:
Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support. 670-681 - Shubham Agarwal
, Sarthak Chakraborty
, Shaddy Garg
, Sumit Bisht
, Chahat Jain
, Ashritha Gonuguntla
, Shiv Kumar Saini:
Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer. 682-694
Software Evolution II
- Jiyang Zhang
, Pengyu Nie
, Junyi Jessy Li
, Milos Gligoric
:
Multilingual Code Co-evolution using Large Language Models. 695-707 - Zhongkai Zhao
, Bonan Kou
, Mohamed Yilmaz Ibrahim
, Muhao Chen
, Tianyi Zhang
:
Knowledge-Based Version Incompatibility Detection for Deep Learning. 708-719
Program Analysis II
- Yaohui Peng
, Jing Xie, Qiongling Yang, Hanwen Guo, Qingan Li
, Jingling Xue, Mengting Yuan:
Statistical Type Inference for Incomplete Programs. 720-732 - Chengjun Chen
, Zhicong Zhang
, Hongliang Tian
, Shoumeng Yan
, Hui Xu
:
OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach. 733-744 - Kunsong Zhao
, Zihao Li
, Jianfeng Li
, He Ye
, Xiapu Luo
, Ting Chen
:
DeepInfer: Deep Type Inference from Smart Contract Bytecode. 745-757 - Yi Li
, Aashish Yadavally
, Jiaxing Zhang
, Shaohua Wang
, Tien N. Nguyen
:
DeMinify: Neural Variable Name Recovery and Type Inference. 758-770
Clone and Similarity Detection
- Deqing Zou
, Siyue Feng
, Yueming Wu
, Wenqi Suo
, Hai Jin
:
Tritor: Detecting Semantic Code Clones by Building Social Network-Based Triads Model. 771-783 - Junjie Shan
, Shihan Dou
, Yueming Wu
, Hairu Wu
, Yang Liu
:
Gitor: Scalable Code Clone Detection by Building Global Sample Graph. 784-795 - Kairan Sun
, Zhengzi Xu
, Chengwei Liu
, Kaixuan Li
, Yang Liu
:
Demystifying the Composition and Code Reuse in Solidity Smart Contracts. 796-807 - Tristan Benoit
, Jean-Yves Marion
, Sébastien Bardin
:
Scalable Program Clone Search through Spectral Analysis. 808-820
Performance
- Min-Yih Hsu
, Felicitas Hetzelt
, David Gens
, Michael Maitland
, Michael Franz
:
A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing. 821-831 - Siwei Wei
, Guyang Song
, Senlin Zhu
, Ruoyi Ruan
, Shihao Zhu
, Yan Cai
:
Discovering Parallelisms in Python Programs. 832-844 - Jinfu Chen
, Zishuo Ding
, Yiming Tang
, Mohammed Sayagh
, Heng Li
, Bram Adams
, Weiyi Shang
:
IoPV: On Inconsistent Option Performance Variations. 845-857 - Jingzhi Gong
, Tao Chen
:
Predicting Software Performance with Divide-and-Learn. 858-870
Machine Learning III
- Xinyu Gao
, Zhijie Wang
, Yang Feng
, Lei Ma
, Zhenyu Chen
, Baowen Xu
:
Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities. 871-882 - Boxi Yu
, Yiyan Hu
, Qiuyang Mang
, Wenhan Hu
, Pinjia He
:
Automated Testing and Improvement of Named Entity Recognition Systems. 883-894 - Anastasiia Grishina
, Max Hort
, Leon Moonen
:
The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code Classification. 895-907 - Bo Liu
, Hui Liu
, Guangjie Li
, Nan Niu
, Zimao Xu
, Yifan Wang
, Yunni Xia
, Yuxia Zhang
, Yanjie Jiang
:
Deep Learning Based Feature Envy Detection Boosted by Real-World Examples. 908-920
Security I
- Kaixuan Li
, Sen Chen
, Lingling Fan
, Ruitao Feng
, Han Liu
, Chengwei Liu
, Yang Liu
, Yixiang Chen
:
Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. 921-933 - Xiaoke Wang
, Tao Hui
, Lei Zhao
, Yueqiang Cheng
:
Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation. 934-946 - Chenyang Ma
, Wei Song
, Jeff Huang
:
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts. 947-959 - Lida Zhao
, Sen Chen
, Zhengzi Xu
, Chengwei Liu
, Lyuye Zhang
, Jiahui Wu
, Jun Sun
, Yang Liu
:
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects. 960-972
Fault Diagnosis and Root Cause Analysis II
- Xianglin Yang
, Yun Lin
, Yifan Zhang
, Linpeng Huang
, Jin Song Dong
, Hong Mei
:
DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. 973-985 - Chong Wang
, Yiling Lou
, Xin Peng
, Jianan Liu
, Baihan Zou
:
Mining Resource-Operation Knowledge to Support Resource Leak Detection. 986-998 - Bo Wang
, Ruishi Li
, Mingkai Li
, Prateek Saxena
:
TransMap: Pinpointing Mistakes in Neural Code Translation. 999-1011 - Elvan Kula
, Eric Greuter
, Arie van Deursen
, Georgios Gousios
:
Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling. 1012-1023 - Yi Li
, Aashish Yadavally
, Jiaxing Zhang
, Shaohua Wang
, Tien N. Nguyen
:
Commit-Level, Neural Vulnerability Detection and Assessment. 1024-1036
Fuzzing
- Mingyuan Wu
, Kunqiu Chen
, Qi Luo
, Jiahong Xiang
, Ji Qi
, Junjie Chen
, Heming Cui
, Yuqun Zhang
:
Enhancing Coverage-Guided Fuzzing via Phantom Program. 1037-1049 - Ahmad Humayun
, Miryung Kim
, Muhammad Ali Gulzar
:
Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics. 1050-1061 - Mingyuan Wu
, Yicheng Ouyang
, Minghai Lu
, Junjie Chen
, Yingquan Zhao
, Heming Cui
, Guowei Yang
, Yuqun Zhang
:
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing. 1062-1074 - Suhwan Song
, Byoungyoung Lee
:
Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing. 1075-1087 - Jingling Sun
, Ting Su
, Jiayi Jiang
, Jue Wang
, Geguang Pu
, Zhendong Su
:
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. 1088-1100 - Jiyuan Wang
, Qian Zhang
, Hongbo Rong
, Guoqing Harry Xu
, Miryung Kim
:
Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications. 1101-1113 - Matthew C. Davis
, Sangheon Choi
, Sam Estep
, Brad A. Myers
, Joshua Sunshine
:
NaNofuzz: A Usable Tool for Automatic Test Generation. 1114-1126 - Guixin Ye
, Tianmin Hu
, Zhanyong Tang
, Zhenye Fan
, Shin Hwei Tan
, Bo Zhang
, Wenxiang Qian
, Zheng Wang
:
A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing. 1127-1139
Formal Verification
- David Trabish
, Noam Rinetzky
, Sharon Shoham
, Vaibhav Sharma
:
State Merging with Quantifiers in Symbolic Execution. 1140-1152 - Bin Yu
, Cong Tian
, Hengrui Xing
, Zuchao Yang
, Jie Su
, Xu Lu
, Jiyu Yang
, Liang Zhao
, Xiaofeng Li
, Zhenhua Duan
:
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. 1153-1164 - Arthur Correnson
, Dominic Steinhöfel
:
Engineering a Formally Verified Automated Bug Finder. 1165-1176 - Benjamin Mikek
, Qirun Zhang
:
Speeding up SMT Solving via Compiler Optimization. 1177-1189
Automated Repair II
- Xiaofang Qi
, Xiang Qian
, Yanhui Li
:
Semantic Test Repair for Web Applications. 1190-1202 - Jun Yang
, Yuehan Wang
, Yiling Lou
, Ming Wen
, Lingming Zhang
:
A Large-Scale Empirical Review of Patch Correctness Checking Approaches. 1203-1215 - Yu Liu
, Sergey Mechtaev
, Pavle Subotic
, Abhik Roychoudhury
:
Program Repair Guided by Datalog-Defined Static Analysis. 1216-1228 - Emily First
, Markus N. Rabe
, Talia Ringer
, Yuriy Brun
:
Baldur: Whole-Proof Generation and Repair with Large Language Models. 1229-1241 - Xueying Du
, Yiling Lou
, Mingwei Liu
, Xin Peng
, Tianyong Yang
:
KG4CraSolver: Recommending Crash Solutions via Knowledge Graph. 1242-1254 - Yuxin Zhang
, Sen Chen
, Lingling Fan
, Chunyang Chen
, Xiaohong Li
:
Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps. 1255-1267
Human Aspects III
- Sumit Asthana
, Hitesh Sajnani
, Elena Voyloshnikova
, Birendra Acharya
, Kim Herzig
:
A Case Study of Developer Bots: Motivations, Perceptions, and Challenges. 1268-1280 - Courtney Miller
, Christian Kästner
, Bogdan Vasilescu
:
"We Feel Like We're Winging It: " A Study on Navigating Open-Source Dependency Abandonment. 1281-1293 - Chaozheng Wang
, Junhao Hu
, Cuiyun Gao
, Yu Jin
, Tao Xie
, Hailiang Huang
, Zhenyu Lei
, Yuetang Deng
:
How Practitioners Expect Code Completion? 1294-1306
Testing IV
- Mohammad Ganji
, Saba Alimadadi
, Frank Tip
:
Code Coverage Criteria for Asynchronous Programs. 1307-1319 - Xiaoxue Ren
, Xinyuan Ye
, Yun Lin
, Zhenchang Xing
, Shuqing Li
, Michael R. Lyu
:
API-Knowledge Aware Search-Based Software Testing: Where, What, and How. 1320-1332 - Shinhae Kim
, Sungjae Hwang
:
EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes. 1333-1344
Machine Learning IV
- Yining Yin
, Yang Feng
, Shihao Weng
, Zixi Liu
, Yuan Yao
, Yichi Zhang
, Zhihong Zhao
, Zhenyu Chen
:
Dynamic Data Fault Localization for Deep Neural Networks. 1345-1357 - Xiaohu Du
, Xiao Chen
, Jialun Cao
, Ming Wen
, Shing-Chi Cheung
, Hai Jin
:
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems. 1358-1370 - Bozhi Wu
, Shangqing Liu
, Yang Xiao
, Zhiming Li
, Jun Sun
, Shang-Wei Lin
:
Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing. 1371-1383