Time Zone

The program is currently displayed in (GMT-08:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-08:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 5 Dec
Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:30	Human Aspects IResearch Papers / Journal First / Ideas, Visions and Reflections at Golden Gate A Chair(s): Preetha Chatterjee Drexel University, USA

11:00 15m Talk		A Longitudinal Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention Research Papers Zihan Fang Vanderbilt University, Madeline Endres University of Michigan, Thomas Zimmermann Microsoft Research, Denae Ford Microsoft Research, Westley Weimer University of Michigan, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University Pre-print Media Attached
11:15 15m Talk		Do CONTRIBUTING files provide information about OSS newcomers' onboarding barriers? Research Papers Felipe Fronchetti Virginia Commonwealth University, David C. Shepherd Louisiana State University, Igor Scaliante Wiese Federal University of Technology – Paraná - UTFPR, Christoph Treude University of Melbourne, Marco Gerosa Northern Arizona University, Igor Steinmacher Northern Arizona University Pre-print Media Attached
11:30 15m Talk		Off to a Good Start: Dynamic Contribution Patterns and Technical Success in an OSS Newcomer’s Early Career Journal First Yang Yue University of California, Irvine, Yi Wang Beijing University of Posts and Telecommunications, David Redmiles University of California, Irvine Link to publication DOI Media Attached
11:45 15m Talk		How Early Participation Determines Long-Term Sustained Activity in GitHub Projects? Research Papers Wenxin Xiao School of Computer Science, Peking University, Hao He Carnegie Mellon University, Weiwei Xu Peking University, Yuxia Zhang Beijing Institute of Technology, Minghui Zhou Peking University Pre-print Media Attached
12:00 15m Talk		Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors Research Papers Hongbo Fang Carnegie Mellon University, James Herbsleb Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University Media Attached
12:15 15m Talk		Contribution-based Firing of Developers? Ideas, Visions and Reflections Vincenzo Orrei Software Institute - USI, Lugano, Switzerland, Marco Raglianti Software Institute - USI, Lugano, Csaba Nagy Software Institute - USI, Lugano, Michele Lanza Software Institute - USI, Lugano Media Attached

11:00 - 12:30	Testing IIdeas, Visions and Reflections / Research Papers / Journal First / Industry Papers at Golden Gate C1 Chair(s): Marcelo d'Amorim North Carolina State University

11:00 15m Talk		[Remote] CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays Research Papers Qiyuan Zhao Beihang University, Chuan Luo Beihang University, Shaowei Cai Institute of Software, Chinese Academy of Sciences, Wei Wu L3S Research Center, Leibniz University Hannover, Germany, Jinkun Lin Seed Math Technology Limited, Hongyu Zhang Chongqing University, Chunming Hu Beihang University DOI Pre-print Media Attached
11:15 15m Talk		Accelerating Continuous Integration with Parallel Batch Testing Research Papers Emad Fallahzadeh Concordia University, Amir Hossein Bavand Concordia University, Peter Rigby Concordia University; Meta Pre-print Media Attached
11:30 15m Talk		Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants Ideas, Visions and Reflections Milos Ojdanic University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Mark Harman Meta Platforms Inc. and UCL Media Attached
11:45 15m Talk		DistXplore: Distribution-guided Testing for Evaluating and Enhancing Deep Learning Systems Research Papers Longtian Wang Xi'an Jiaotong University, Xiaofei Xie Singapore Management University, Xiaoning Du Monash University, Australia, Meng Tian Singapore Management University, Qing Guo IHPC and CFAR at A*STAR, Singapore, Yang Zheng TTE Lab, Huawei, Chao Shen Xi’an Jiaotong University Media Attached
12:00 15m Talk		Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing Journal First Swaroopa Dola University of Virginia, Matthew B Dwyer University of Virginia, Mary Lou Soffa University of Virginia Media Attached
12:15 15m Talk		A Unified Framework for Mini-game Testing: Experience on WeChat Industry Papers Chaozheng Wang The Chinese University of Hong Kong, Haochuan Lu Tencent, Cuiyun Gao The Chinese University of Hong Kong, Li Zongjie Hong Kong University of Science and Technology, Ting Xiong Tencent Inc., Yuetang Deng Tencent Inc. DOI Media Attached

11:00 - 12:30	Machine Learning IIdeas, Visions and Reflections / Industry Papers / Research Papers at Golden Gate C2 Chair(s): Michael Pradel University of Stuttgart

11:00 15m Talk		[Remote] Beyond Sharing: Conflict-Aware Multivariate Time Series Anomaly Detection Industry Papers Haotian Si Computer Network Information Center at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences, Zhihan Li Kuaishou Technology, Yadong Zhao Computer Network Information Center at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jingjing Li Computer Network Information Center at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haiming Zhang Computer Network Information Center at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zulong Diao Institute of Computing Technology at Chinese Academy of Sciences, Jianhui Li Computer Network Information Center at Chinese Academy of Sciences, Gaogang Xie Computer Network Information Center at Chinese Academy of Sciences, Dan Pei Tsinghua University DOI Media Attached
11:15 15m Talk		Design by Contract for Deep Learning APIs Research Papers Shibbir Ahmed Dept. of Computer Science, Iowa State University, Sayem Mohammad Imtiaz Iowa State University, Samantha Syeda Khairunnesa Bradley University, Breno Dantas Cruz Dept. of Computer Science, Iowa State University, Hridesh Rajan Dept. of Computer Science, Iowa State University DOI Media Attached
11:30 15m Talk		Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables Ideas, Visions and Reflections Jian Gu Monash University, Harald Gall University of Zurich Media Attached
11:45 15m Talk		Testing Coreference Resolution Systems without Labeled Test Sets Research Papers Jialun Cao Hong Kong University of Science and Technology, Yaojie Lu Chinese Information Processing Laboratory Institute of Software, Chinese Academy of Sciences, Ming Wen Huazhong University of Science and Technology, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology Media Attached
12:00 15m Talk		Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned Research Papers Soneya Binta Hossain University of Virginia, USA, Antonio Filieri Amazon Web Services, Matthew B Dwyer University of Virginia, Sebastian Elbaum University of Virginia, Willem Visser Amazon Web Services Pre-print Media Attached
12:15 15m Talk		Revisiting Neural Program Smoothing for Fuzzing Research Papers Maria Irina Nicolae Robert Bosch GmbH, Max Eisele Robert Bosch; Saarland University, Andreas Zeller CISPA Helmholtz Center for Information Security Media Attached

11:00 - 12:30	Automated Repair IResearch Papers / Industry Papers at Golden Gate C3 Chair(s): Shin Hwei Tan Concordia University

11:00 15m Talk		RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair Research Papers Weishi Wang Nanyang Technological University, Yue Wang Salesforce Research, Shafiq Joty Salesforce Research, Steven C.H. Hoi Salesforce Research Asia Media Attached
11:15 15m Talk		From Leaks to Fixes: Automated Repairs for Resource Leak Warnings Research Papers Akshay Utture Uber Technologies Inc., Jens Palsberg University of California, Los Angeles (UCLA) Pre-print Media Attached
11:30 15m Talk		InferFix: End-to-End Program Repair with LLMs Industry Papers Matthew Jin , Syed Shahriar University of California at Los Angeles, Michele Tufano Microsoft, Xin Shi Microsoft Corporation, Shuai Lu Microsoft Research, Neel Sundaresan Microsoft, Alexey Svyatkovskiy Microsoft DOI
11:45 15m Research paper		Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair Research Papers Yuxiang Wei University of Illinois at Urbana-Champaign, Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign Pre-print Media Attached
12:00 15m Talk		SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models Research Papers Sunbeom So Korea University, Hakjoo Oh Korea University Media Attached
12:15 15m Talk		Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints Research Papers Huiyan Wang Nanjing University, Shuguan Liu Nanjing University, Lingyu Zhang Nanjing University, Chang Xu Nanjing University Media Attached

14:00 - 15:30	Empirical Studies IIdeas, Visions and Reflections / Research Papers / Industry Papers / Journal First at Golden Gate A Chair(s): Cristian Cadar Imperial College London

14:00 15m Talk		[Remote] Assess and Summarize: Improve Outage Understanding with Large Language Models Industry Papers Pengxiang Jin Nankai University, Shenglin Zhang Nankai University, Minghua Ma Microsoft Research, Haozhe Li Peking University, Yu Kang Microsoft Research, Liqun Li Microsoft Research, Yudong Liu Microsoft Research, Bo Qiao Microsoft Research, Chaoyun Zhang Microsoft, Pu Zhao Microsoft Research, Shilin He Microsoft Research, Federica Sarro University College London, Yingnong Dang Microsoft Azure, Saravan Rajmohan Microsoft 365, Qingwei Lin Microsoft, Dongmei Zhang Microsoft Research DOI Media Attached
14:15 15m Talk		Open Source License Inconsistencies on GitHub Journal First Thomas Wolter Friedrich-Alexander University Erlangen-Nuernberg, Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary, Dirk Riehle U of Erlangen, Nikolay Harutyunyan Friedrich-Alexander University Erlangen-Nuremberg, Germany Media Attached
14:30 15m Talk		On the Relationship Between Code Verifiability and Understandability Research Papers Kobi Feldman College of William & Mary, Martin Kellogg New Jersey Institute of Technology, Oscar Chaparro William & Mary Media Attached
14:45 15m Talk		Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems Ideas, Visions and Reflections Supatsara Wattanakriengkrai Nara Institute of Science and Technology, Raula Gaikovina Kula Nara Institute of Science and Technology, Christoph Treude University of Melbourne, Kenichi Matsumoto Nara Institute of Science and Technology Media Attached
15:00 15m Talk		Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study Research Papers Xiaokai Wei AWS AI Labs, Sujan Kumar Gonugondla AWS AI Labs, Shiqi Wang AWS AI Labs, Wasi Ahmad AWS AI Labs, Baishakhi Ray Columbia University, Haifeng Qian AWS AI Labs, Xiaopeng LI AWS AI Labs, Varun Kumar AWS AI Labs, Zijian Wang AWS AI Labs, Yuchen Tian AWS, Qing Sun AWS AI Labs, Ben Athiwaratkun AWS AI Labs, Mingyue Shang AWS AI Labs, Murali Krishna Ramanathan AWS AI Labs, Parminder Bhatia AWS AI Labs, Bing Xiang AWS AI Labs Media Attached
15:15 15m Talk		Understanding Hackers’ Work: An Empirical Study of Offensive Security Practitioners Industry Papers Andreas Happe TU Wien, Jürgen Cito TU Wien DOI Media Attached

14:00 - 15:30	Testing IIIndustry Papers / Research Papers / Demonstrations / Ideas, Visions and Reflections at Golden Gate C1 Chair(s): Brittany Johnson George Mason University

14:00 15m Talk		Statfier: Automated Testing of Static Analyzers via Semantic-preserving Program Transformations Research Papers Huaien Zhang The Hong Kong Polytechnic University, Yu Pei Hong Kong Polytechnic University, Junjie Chen Tianjin University, Shin Hwei Tan Concordia University Media Attached
14:15 15m Talk		Towards Efficient Record and Replay: A Case Study in WeChat Industry Papers Sidong Feng Monash University, Haochuan Lu Tencent, Ting Xiong Tencent Inc., Yuetang Deng Tencent Inc., Chunyang Chen Monash University DOI Media Attached
14:30 15m Talk		Contextual Predictive Mutation Testing Research Papers Kush Jain Carnegie Mellon University, Uri Alon Carnegie Mellon University, Alex Groce Northern Arizona University, Claire Le Goues Carnegie Mellon University Media Attached
14:45 15m Talk		Towards Automated Software Security Testing: Augmenting Penetration Testing through LLMs Ideas, Visions and Reflections Andreas Happe TU Wien, Jürgen Cito TU Wien Media Attached
15:00 7m Talk		LazyCow: A Lightweight Crowdsourced Testing Tool for Taming Android Fragmentation Demonstrations Xiaoyu Sun Australian National University, Australia, Xiao Chen Monash University, Yonghui Liu Monash University, John Grundy Monash University, Li Li Beihang University Media Attached
15:08 7m Talk		Rotten Green Tests in Google Test Industry Papers Paul Robinson Sony DOI Media Attached
15:15 15m Talk		MuAkka: Mutation Testing for Actor Concurrency in Akka Using Real-World Bugs Research Papers Mohsen Moradi Moghadam Oakland University, Mehdi Bagherzadeh Oakland University, Raffi Khatchadourian City University of New York (CUNY) Hunter College, Hamid Bagheri University of Nebraska-Lincoln Pre-print Media Attached

14:00 - 15:30	Software Evolution IIndustry Papers / Research Papers / Demonstrations at Golden Gate C2 Chair(s): Rangeet Pan IBM Research

14:00 15m Talk		Understanding Solidity Event Logging Practices in the Wild Research Papers Lantian Li Shandong University, Yejian Liang Shandong University, Zhihao Liu Shandong University, Zhongxing Yu Shandong University Media Attached
14:15 15m Talk		Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions Industry Papers Yuxin Wang Uber Technologies, Adam Welc Mysten Labs, Lazaro Clapp Uber Technologies Inc, Lingchao Chen Uber Technologies DOI Media Attached
14:30 15m Talk		EvaCRC: Evaluating Code Review Comments Research Papers Lanxin Yang Nanjing University, Jinwei Xu Nanjing University, YiFan Zhang Nanjing University, He Zhang Nanjing University, Alberto Bacchelli University of Zurich Media Attached
14:45 15m Talk		HyperDiff: Computing Source Code Diffs at Scale Research Papers Quentin Le-dilavrec Univ. Rennes, IRISA, INRIA, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Arnaud Blouin Univ Rennes, INSA Rennes, Inria, CNRS, IRISA, Jean-Marc Jézéquel Univ Rennes - IRISA Media Attached
15:00 7m Talk		npm-follower: A Complete Dataset Tracking the NPM Ecosystem Demonstrations Donald Pinckney Northeastern University, Federico Cassano Northeastern University, Arjun Guha Northeastern University and Roblox, Jonathan Bell Northeastern University Media Attached
15:08 7m Talk		Issue Report Validation in an Industrial Context Industry Papers Ethem Utku Aktas Softtech Inc., Ebru Cakmak Microsoft EMEA, Mete Cihad Inan Softtech Research and Development, Cemal Yilmaz Sabancı University DOI Media Attached
15:15 15m Talk		Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data Industry Papers Will Shackleton Meta, Katriel Cohn-Gordon Meta, Peter C Rigby Meta; Concordia University, Rui Abreu Meta, James Gill Meta, Nachiappan Nagappan Meta, Karim Nakad Meta, Ioannis Papagiannis Meta, Luke Petre Meta, Giorgi Megreli Meta, Patrick Riggs Meta, James Saindon Meta DOI

14:00 - 15:30	Program Analysis IResearch Papers / Demonstrations / Industry Papers at Golden Gate C3 Chair(s): Michael Pradel University of Stuttgart

14:00 15m Talk		An Automated Approach to Extracting Local Variables Research Papers Xiaye Chi Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, Guangjie Li National Innovation Institute of Defense Technology, Weixiao Wang Beijing Institute of Technology, Yunni Xia Chongqing University, Yanjie Jiang Peking University, Yuxia Zhang Beijing Institute of Technology, Weixing Ji Beijing Institute of Technology Media Attached
14:15 15m Talk		Incrementalizing Production CodeQL Analyses Industry Papers Tamás Szabó GitHub Next DOI Media Attached
14:30 15m Talk		Statistical Reachability Analysis Research Papers Seongmin Lee Max Planck Institute for Security and Privacy (MPI-SP), Marcel Böhme Max Planck Institute for Security and Privacy Media Attached
14:45 15m Talk		PPR: Pairwise Program Reduction Research Papers Mengxiao Zhang University of Waterloo, Zhenyang Xu University of Waterloo, Yongqiang Tian The Hong Kong University of Science and Technology; University of Waterloo, Yu Jiang Tsinghua University, Chengnian Sun University of Waterloo Media Attached
15:00 15m Talk		When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance Research Papers Alan Romano University of Southern California, Weihang Wang University of Southern California Pre-print Media Attached
15:15 7m Talk		Ad Hoc Syntax-Guided Program Reduction Demonstrations Jia Le Tian University of Waterloo, Mengxiao Zhang University of Waterloo, Zhenyang Xu University of Waterloo, Yongqiang Tian The Hong Kong University of Science and Technology; University of Waterloo, Yiwen Dong , Chengnian Sun University of Waterloo Media Attached

16:00 - 18:00	Code Search and Text to CodeResearch Papers / Industry Papers / Journal First / Demonstrations at Golden Gate A Chair(s): Miryung Kim University of California at Los Angeles, USA

16:00 15m Talk		[Remote] Self-Supervised Query Reformulation for Code Search Research Papers Yuetian Mao Shanghai Jiao Tong University, Chengcheng Wan East China Normal University, Yuze Jiang Shanghai Jiao Tong University, Xiaodong Gu Shanghai Jiao Tong University Media Attached
16:15 15m Talk		[Remote] Natural Language to Code: How Far are We? Research Papers Shangwen Wang National University of Defense Technology, Mingyang Geng National University of Defense Technology, Bo Lin National University of Defense Technology, Zhensu Sun Singapore Management University, Ming Wen Huazhong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Li Li Beihang University, Tegawendé F. Bissyandé University of Luxembourg, Xiaoguang Mao National University of Defense Technology DOI Pre-print Media Attached
16:30 15m Talk		[Remote] xASTNN: Improved Code Representations for Industrial Practice Industry Papers Zhiwei Xu Tsinghua University, Min Zhou Tsinghua University, Xibin Zhao Tsinghua University, Yang Chen Huazhong University of Science and Technology, Xi Cheng VMware, Hongyu Zhang Chongqing University DOI Media Attached
16:45 7m Talk		[Remote] On the Dual Nature of Necessity in Use of Rust Unsafe Code Industry Papers Yuchen Zhang New York University, USA, Ashish Kundu Cisco Research, Georgios Portokalidis Stevens Institute of Technology, Jun Xu The University of Utah DOI Media Attached
16:53 7m Talk		On Using Information Retrieval to Recommend Machine Learning Good Practices for Software Engineers Demonstrations Laura Cabra-Acela Universidad de Los Andes, Anamaria Mojica-Hanke University of Passau, Universidad de Los Andes, Mario Linares-Vásquez Universidad de los Andes, Steffen Herbold University of Passau Media Attached
17:00 15m Talk		MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation Journal First Federico Cassano Northeastern University, John Gouwar Northeastern University, Daniel Nguyen Hannover High School, Sydney Nguyen Wellesley College, Luna Phipps-Costin Northeastern University, Donald Pinckney Northeastern University, Ming-Ho Yee Northeastern University, Yangtian Zi Northeastern University, Carolyn Jane Anderson Wellesley College, Molly Q Feldman Oberlin College, Arjun Guha Northeastern University and Roblox, Michael Greenberg Stevens Institute of Technology, Abhinav Jangda Microsoft Research Link to publication Media Attached
17:15 15m Talk		NCQ: Code reuse support for Node.js developers Journal First Brittany Reid The University of Adelaide, Marcelo d'Amorim North Carolina State University, Markus Wagner Monash University, Australia, Christoph Treude University of Melbourne Link to publication DOI Pre-print Media Attached
17:30 15m Talk		Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer Models Research Papers Akhilesh Deepak Gotmare Salesforce Research, Junnan Li Salesforce Research, Shafiq Joty Salesforce Research, Steven C.H. Hoi Salesforce Research Asia Media Attached
17:45 15m Talk		PEM: Representing Binary Program Semantics for Similarity Analysis via A Probabilistic Execution Model Research Papers Xiangzhe Xu Purdue University, Zhou Xuan , Shiwei Feng Purdue University, Siyuan Cheng Purdue University, Yapeng Ye Purdue University, Qingkai Shi The Hong Kong University of Science and Technology, Guanhong Tao Purdue University, Le Yu , Zhuo Zhang Purdue University, Xiangyu Zhang Purdue University Media Attached

16:00 - 18:00	Log Analysis and DebuggingIndustry Papers / Research Papers at Golden Gate C1 Chair(s): Yiming Tang Rochester Institute of Technology

16:00 15m Talk		[Remote] STEAM: Observability-Preserving Trace Sampling Industry Papers Shilin He Microsoft Research, Botao Feng Microsoft, Liqun Li Microsoft Research, Xu Zhang Microsoft Research, Yu Kang Microsoft Research, Qingwei Lin Microsoft, Saravan Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research DOI Media Attached
16:15 15m Talk		[Remote] Demystifying Dependency Bugs in Deep Learning Stack Research Papers Kaifeng Huang Fudan University, Bihuan Chen Fudan University, Susheng Wu Fudan University, Junming Cao Fudan University, Lei Ma The University of Tokyo / University of Alberta, Xin Peng Fudan University Media Attached
16:30 15m Talk		From Point-wise to Group-wise: A Fast and Accurate Microservice Trace Anomaly Detection Approach Industry Papers Zhe Xie Tsinghua University, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences, Wanxue Li eBay, USA, Huai Jiang eBay, USA, Liangfei Su eBay, USA, Jianhui Li Computer Network Information Center at Chinese Academy of Sciences, Gaogang Xie Computer Network Information Center at Chinese Academy of Sciences, Dan Pei Tsinghua University DOI Media Attached
16:45 15m Talk		Semantic Debugging Research Papers Martin Eberlein Humboldt University of Berlin, Marius Smytzek CISPA Helmholtz Center for Information Security, Dominic Steinhöfel CISPA Helmholtz Center for Information Security, Lars Grunske Humboldt-Universität zu Berlin, Andreas Zeller CISPA Helmholtz Center for Information Security Media Attached
17:00 7m Talk		Analyzing Microservice Connectivity with Kubesonde Industry Papers Jacopo Bufalino Aalto University, Mario Di Francesco Eficode; Aalto University, Tuomas Aura Aalto University DOI Media Attached
17:08 15m Talk		[Remote] Hue: A User-Adaptive Parser for Hybrid Logs Research Papers Junjielong Xu Chinese University of Hong Kong, Shenzhen, Qiuai Fu Huawei Cloud Computing Technologies CO., LTD., Zhouruixing Zhu Chinese University of Hong Kong, Shenzhen, Yutong Cheng Chinese University of Hong Kong, Shenzhen, zhijing li , Yuchi Ma Huawei Cloud Computing Technologies CO., LTD., Pinjia He The Chinese University of Hong Kong, Shenzhen Media Attached
17:23 15m Talk		[Remote] Log Parsing with Generalization Ability under New Log Types Research Papers Siyu Yu Guangxi University, Yifan Wu Peking University, Zhijing Li The Chinese University of Hong Kong, Shenzhen, Pinjia He The Chinese University of Hong Kong, Shenzhen, Ningjiang Chen Guangxi University, Changjian Liu Guangxi University Media Attached

16:00 - 18:00	Machine Learning IIResearch Papers / Ideas, Visions and Reflections at Golden Gate C2 Chair(s): Iftekhar Ahmed University of California at Irvine

16:00 15m Talk		[Remote] Compatibility Issues in Deep Learning Systems: Problems and Opportunities Research Papers Jun Wang Nanjing University of Aeronautics and Astronautics, Nanjing, China, Guanping Xiao Nanjing University of Aeronautics and Astronautics, China, Shuai Zhang Nanjing University of Aeronautics and Astronautics, China, Huashan Lei Nanjing University of Aeronautics and Astronautics, China, Yepang Liu Southern University of Science and Technology, Yulei Sui University of New South Wales, Australia DOI Pre-print Media Attached
16:15 15m Talk		[Remote] An Extensive Study on Adversarial Attack against Pre-trained Models of Code Research Papers Xiaohu Du Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Zichao Wei Huazhong University of Science and Technology, Shangwen Wang National University of Defense Technology, Hai Jin Huazhong University of Science and Technology Media Attached
16:30 15m Talk		Can Machine Learning Pipelines Be Better Configured? Research Papers Yibo Wang Northeastern University, Ying Wang Northeastern University, Tingwei Zhang Northeastern University, Yue Yu National University of Defense Technology, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hai Yu Software College, Northeastern University, Zhiliang Zhu Software College, Northeastern University Media Attached
16:45 15m Talk		Towards Feature-Based Analysis of the Machine Learning Development Lifecycle Ideas, Visions and Reflections Boyue Caroline Hu University of Toronto, Marsha Chechik University of Toronto Media Attached
17:00 15m Talk		Fix Fairness, Don’t Ruin Accuracy: Performance Aware Fairness Repair using AutoML Research Papers Giang Nguyen Dept. of Computer Science, Iowa State University, Sumon Biswas Carnegie Mellon University, Hridesh Rajan Dept. of Computer Science, Iowa State University Pre-print Media Attached
17:15 15m Talk		BiasAsker: Measuring the Bias in Conversational AI System Research Papers Yuxuan Wan The Chinese University of Hong Kong, Wenxuan Wang Chinese University of Hong Kong, Pinjia He The Chinese University of Hong Kong, Shenzhen, Jiazhen Gu Chinese University of Hong Kong, Haonan Bai The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong Media Attached
17:30 15m Talk		Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice Research Papers Sira Vegas Universidad Politecnica de Madrid, Sebastian Elbaum University of Virginia Media Attached
17:45 15m Talk		DecompoVision: Reliability Analysis of Machine Vision Components Through Decomposition and Reuse Research Papers Boyue Caroline Hu University of Toronto, Lina Marsso University of Toronto, Nikita Dvornik Waabi, Huakun Shen University of Toronto, Marsha Chechik University of Toronto Media Attached

16:00 - 18:00	Fault Diagnosis and Root Cause Analysis IResearch Papers / Journal First / Industry Papers at Golden Gate C3 Chair(s): Akond Rahman Auburn University

16:00 15m Talk		[Remote] Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-Modal Observability Data Research Papers Guangba Yu Sun Yat-Sen University, Pengfei Chen Sun Yat-Sen University, Yufeng Li Sun Yat-sen University, Hongyang Chen School of Computer Science and Engineering, Sun Yat-sen University, Xiaoyun Li Sun Yat-sen University, Zibin Zheng Sun Yat-sen University Pre-print
16:15 15m Full-paper		[Remote] DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems Research Papers Zhiming Chen Sun Yat-sen University, Pengfei Chen Sun Yat-Sen University, Guangba Yu Sun Yat-Sen University, Zilong He Sun Yat-Sen University, Genting Mai Sun Yat-sen University, Peipei Wang ByteDance Infrastructure System Lab Pre-print Media Attached
16:30 15m Talk		[Remote] Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization Research Papers Yali Du Shandong University, Zhongxing Yu Shandong University Media Attached
16:45 15m Talk		[Remote] A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction Research Papers Liyan Song Southern University of Science and Technology, China, Leandro Minku University of Birmingham, Cong Teng Southern University of Science and Technology, Xin Yao Southern University of Science and Technology Pre-print Media Attached
17:00 15m Talk		Trace Diagnostics for Signal-Based Temporal Properties Journal First Chaima Boufaied University of Ottawa, Claudio Menghi University of Bergamo; McMaster University, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada / University of Luxembourg, Luxembourg Media Attached
17:15 15m Talk		TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems Industry Papers Ruomeng Ding Microsoft, Chaoyun Zhang Microsoft, Lu Wang Microsoft Research, Yong Xu Microsoft Research, Minghua Ma Microsoft Research, Xiaomin Wu Microsoft, Meng Zhang , Qingjun Chen Microsoft 365, Xin Gao Microsoft 365, Xuedong Gao Microsoft 365, Hao Fan , Saravan Rajmohan Microsoft 365, Qingwei Lin Microsoft, Dongmei Zhang Microsoft Research DOI Media Attached
17:30 15m Talk		Triggering Modes in Spectrum-Based Multi-location Fault Localization Industry Papers Tung Dao Cvent, Na Meng Virginia Tech, ThanhVu Nguyen George Mason University DOI Media Attached
17:45 15m Talk		Automata-based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android Research Papers Enze Ma East China Normal University, Shan Huang East China Normal University, weigang he East China Normal University, Ting Su East China Normal University, Jue Wang Nanjing University, Huiyu Liu East China Normal University, Geguang Pu East China Normal University, Zhendong Su ETH Zurich Media Attached

Wed 6 Dec
Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:30	Human Aspects IIIdeas, Visions and Reflections / Research Papers / Journal First at Golden Gate A Chair(s): Raula Gaikovina Kula Nara Institute of Science and Technology

11:00 15m Talk		[Remote] Towards Automated Detection of Unethical Behavior in Open-source Software Projects Research Papers Hsu Myat Win Southern University of Science and Technology, Haibo Wang Southern University of Science and Technology, Shin Hwei Tan Concordia University Media Attached
11:15 15m Talk		Flow experience in software engineering Research Papers Saima Ritonummi University of Jyväskylä, Valtteri Siitonen University of Jyväskylä, Markus Salo University of Jyväskylä, Henri Pirkkalainen Tampere University, Anu Sivunen University of Jyväskylä DOI Media Attached
11:30 15m Talk		Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues Ideas, Visions and Reflections Ramtin Ehsani Drexel University, Rezvaneh Rezapour Drexel University, Preetha Chatterjee Drexel University, USA Pre-print Media Attached
11:45 15m Talk		Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study Ideas, Visions and Reflections Amirali Sajadi , Kostadin Damevski Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA Pre-print Media Attached
12:00 15m Talk		Building and Sustaining Ethnically, Racially, and Gender Diverse Software Engineering Teams: A Study at Google Research Papers Ella Dagan Google, Anita Sarma Oregon State University, Alison Chang Google, Sarah D'Angelo Google, Jillian Dicker Google, Emerson Murphy-Hill Google Pre-print Media Attached
12:15 15m Talk		Code Reviews in Open Source Projects : How Do Gender Biases Affect Participation and Outcomes? Journal First Sayma Sultana Wayne State University, Asif Kamal Turzo Wayne State University, Amiangshu Bosu Wayne State University Link to publication DOI Pre-print Media Attached

11:00 - 12:30	Testing IIIIndustry Papers / Demonstrations / Research Papers at Golden Gate C1 Chair(s): Tianyi Zhang Purdue University

11:00 15m Talk		[Remote] Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support Research Papers Yibiao Yang State Key Laboratory for Novel Software Technology, Nanjing University, Maolin Sun Nanjing University, Yang Wang National Key Laboratory for Novel Software Technology, Nanjing University, Qingyang Li National Key Laboratory for Novel Software Technology, Nanjing University, Ming Wen Huazhong University of Science and Technology, Yuming Zhou Nanjing University Pre-print Media Attached
11:15 7m Talk		[Remote] Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned Industry Papers Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Tao Yue Beihang University, Kjetil Moberg Norwegian Health Authority DOI Pre-print Media Attached
11:23 7m Talk		Helion: Enabling Natural Testing of Smart Homes Demonstrations Prianka Mandal William & Mary, Sunil Manandhar IBM T.J. Watson Research Center, Kaushal Kafle College of William & Mary, Kevin Moran University of Central Florida, Denys Poshyvanyk William & Mary, Adwait Nadkarni William & Mary Media Attached
11:30 15m Talk		NeuRI: Diversifying DNN Generation via Inductive Rule Inference Research Papers Jiawei Liu University of Illinois at Urbana-Champaign, Jinjun Peng Columbia University, Yuyao Wang Nanjing University, Lingming Zhang University of Illinois at Urbana-Champaign Pre-print Media Attached
11:45 15m Talk		Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception Industry Papers Yongxiang Hu Fudan University, China, Jiazhen Gu Fudan University, China, Shuqing Hu Fudan University, Yu Zhang Meituan, Wenjie Tian Meituan, Shiyu Guo Meituan, Chaoyi Chen Meituan, Yangfan Zhou Fudan University DOI Media Attached
12:00 15m Talk		MuRS: Mutant Ranking and Suppression using Identifier Templates Industry Papers Zimin Chen KTH Royal Institute of Technology, Malgorzata Salawa Google, Manushree Vijayvergiya Google, Goran Petrović Google Inc, Marko Ivanković Google; Universität Passau, René Just University of Washington DOI Media Attached
12:15 15m Talk		Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer Research Papers Shubham Agarwal Adobe Research, Sarthak Chakraborty Adobe Research, Shaddy Garg Adobe Research, Sumit Bisht Amazon, Chahat Jain Traceable.ai, Ashritha Gonuguntla Cisco, Shiv Saini Adobe Research Media Attached

11:00 - 12:30	Software Evolution IIIndustry Papers / Research Papers / Journal First at Golden Gate C2 Chair(s): Csaba Nagy Software Institute - USI, Lugano

11:00 15m Talk		Multilingual Code Co-Evolution Using Large Language Models Research Papers Jiyang Zhang University of Texas at Austin, Pengyu Nie University of Waterloo, Junyi Jessy Li University of Texas at Austin, USA, Milos Gligoric University of Texas at Austin Media Attached
11:15 15m Talk		A Characterization Study of Merge Conflicts in Java Projects Journal First Bowen Shen Virginia Tech, Muhammad Ali Gulzar Virginia Tech, USA, Fei He Tsinghua University, Na Meng Virginia Tech Media Attached
11:30 15m Talk		Modeling the Centrality of Developer Output with Software Supply Chains Industry Papers Audris Mockus The University of Tennessee, Peter C Rigby Meta; Concordia University, Rui Abreu Meta, Parth Suresh Meta Platforms, Inc., Yifen Chen Meta Inc, Nachiappan Nagappan Meta DOI Pre-print Media Attached
11:45 15m Talk		Knowledge-based Version Incompatibility Detection for Deep Learning Research Papers Zhongkai Zhao Tongji University, Bonan Kou Purdue University, Mohamed Yilmaz Ibrahim Purdue University, Muhao Chen University of Southern California, Tianyi Zhang Purdue University Media Attached
12:00 15m Talk		On-Premise AIOps Infrastructure for a Software Editor SME: An Experience Report Industry Papers Anes Bendimerad Infologic, Youcef REMIL INSA Lyon, INFOLOGIC, Romain Mathonat Infologic, Mehdi Kaytoue Infologic DOI Media Attached

11:00 - 12:30	Program Analysis IIResearch Papers / Journal First at Golden Gate C3 Chair(s): Nico Rosner Amazon Web Services

11:00 15m Talk		[Remote] OOM-Guard: Towards Improving The Ergonomics of Rust OOM Handling via A Reservation-based Approach Research Papers Chengjun Chen Fudan University; Ant Group, Zhicong Zhang Fudan University, Hongliang Tian Ant Group, Shoumeng Yan Ant Group, Hui Xu Fudan University Media Attached
11:15 15m Talk		[Remote] DeepInfer: Deep Type Inference from Smart Contract Bytecode Research Papers Kunsong Zhao The Hong Kong Polytechnic University, Zihao Li The Hong Kong Polytechnic Universituy, Jianfeng Li Xi’an Jiaotong University, He Ye KTH Royal Institute of Technology, Xiapu Luo Hong Kong Polytechnic University, Ting Chen University of Electronic Science and Technology of China Media Attached
11:30 15m Talk		Statistical Type Inference for Incomplete Programs Research Papers Yaohui Peng School of Computer Science, Wuhan University, Jing Xie School of Computer Science, Wuhan University, Qiongling Yang School of Computer Science, Wuhan University, Hanwen Guo School of Computer Science, Wuhan University, Qingan Li School of Computer Science, Wuhan University, Jingling Xue School of Computer Science and Engineering, UNSW Sydney, YUAN Mengting School of Computer Science, Wuhan University, Wuhan, China Media Attached
11:45 15m Talk		Demystifying Hidden Sensitive Operations in Android apps Journal First Xiaoyu Sun Australian National University, Australia, Xiao Chen Monash University, Li Li Beihang University, Haipeng Cai Washington State University, John Grundy Monash University, Jordan Samhi University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg Media Attached
12:00 15m Talk		DeMinify: Neural Variable Name Recovery and Type Inference Research Papers Yi Li New Jersey Institute of Technology, Aashish Yadavally The University of Texas at Dallas, Jiaxing Zhang New Jersey Institute of Technology, Shaohua Wang Central University of Finance and Economics , Tien N. Nguyen University of Texas at Dallas Media Attached

14:00 - 15:30	Clone and Similarity DetectionResearch Papers / Industry Papers at Golden Gate A Chair(s): Denys Poshyvanyk William & Mary

14:00 15m Talk		AdaptivePaste: Intelligent Copy-Paste in IDE Industry Papers Xiaoyu Liu Microsoft Corporation, Jinu Jang Microsoft, Neel Sundaresan Microsoft, Miltiadis Allamanis Google DeepMind, Alexey Svyatkovskiy Microsoft DOI Media Attached
14:15 15m Talk		Scalable Program Clone Search Through Spectral Analysis Research Papers Tristan Benoit Université de Lorraine, CNRS, LORIA, Jean-Yves Marion LORIA, Université de Lorraine, Sébastien Bardin CEA, Université Paris Saclay DOI Pre-print Media Attached
14:30 15m Talk		[Remote] Tritor: Detecting Semantic Code Clones by Building Social Network-based Triads Model Research Papers Deqing Zou Huazhong University of Science and Technology, Siyue Feng Huazhong University of Science and Technology, Yueming Wu Nanyang Technological University, Wenqi Suo Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology Media Attached
14:45 15m Talk		[Remote] C³: Code Clone-Based Identification of Duplicated Components Industry Papers Yanming Yang Zhejiang University, Ying Zou Queen's University, Kingston, Ontario, Xing Hu Zhejiang University, David Lo School of Computing and Information Systems, Singapore Management University, Chao Ni School of Software Technology, Zhejiang University, John Grundy Monash University, Xin Xia Huawei Technologies DOI Media Attached
15:00 15m Talk		[Remote] Demystifying the Composition and Code Reuse in Solidity Smart Contracts Research Papers Kairan Sun Nanyang Technological University, Zhengzi Xu Nanyang Technological University, Chengwei Liu Nanyang Technological University, Kaixuan Li East China Normal University, Yang Liu Nanyang Technological University Pre-print Media Attached
15:15 15m Talk		[Remote] Gitor: Scalable Code Clone Detection by Building Global Sample Graph Research Papers Junjie shan Westlake University, Shihan Dou Fudan University, Yueming Wu Nanyang Technological University, Hairu wu Fudan University, Yang Liu Nanyang Technological University Media Attached

14:00 - 15:30	PerformanceResearch Papers / Industry Papers / Journal First at Golden Gate C1 Chair(s): Aitor Arrieta Mondragon University

14:00 15m Talk		A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing Research Papers Min-Yih Hsu University of California, Irvine, Felicitas Hetzelt University of California, Irvine, David Gens University of California, Irvine, Michael Maitland SiFive, Michael Franz University of California, Irvine Media Attached
14:15 15m Talk		Towards effective assessment of steady state performance in Java software: Are we there yet? Journal First Luca Traini University of L'Aquila, Vittorio Cortellessa Università dell'Aquila, Italy, Daniele Di Pompeo University of L'Aquila, Michele Tucci University of L'Aquila Link to publication DOI Media Attached
14:30 15m Talk		Adapting Performance Analytic Techniques in a Real-World Database-Centric System: An Industrial Experience Report Industry Papers Lizhi Liao University of Waterloo, Heng Li Polytechnique Montréal, Weiyi Shang University of Waterloo, Catalin Sporea ERA Environmental Management Solutions, Andrei Toma ERA Environmental Management Solutions, Sarah Sajedi ERA Environmental Management Solutions DOI Media Attached
14:45 15m Talk		IoPV: On Inconsistent Option Performance Variations Research Papers Jinfu Chen Jiangsu University, Zishuo Ding University of Waterloo, Yiming Tang Rochester Institute of Technology, Mohammed Sayagh ETS Montreal, University of Quebec, Heng Li Polytechnique Montréal, Bram Adams Queen's University, Kingston, Ontario, Weiyi Shang University of Waterloo Pre-print Media Attached
15:00 15m Talk		Predicting Software Performance with Divide-and-Learn Research Papers Jingzhi Gong Loughborough University, Tao Chen University of Birmingham Pre-print Media Attached
15:15 15m Talk		[Remote] Discovering Parallelisms in Python Programs Research Papers Siwei Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China, Guyang Song AntGroup, Senlin Zhu AntGroup, Ruoyi Ruan AntGroup, Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yan Cai State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China Media Attached

14:00 - 15:30	Machine Learning IIIDemonstrations / Industry Papers / Research Papers at Golden Gate C2 Chair(s): Rangeet Pan IBM Research

14:00 15m Talk		Benchmarking Robustness of AI-enabled Multi-sensor Fusion Systems: Challenges and Opportunities Research Papers Xinyu Gao , Zhijie Wang University of Alberta, Yang Feng Nanjing University, Lei Ma The University of Tokyo / University of Alberta, Zhenyu Chen Nanjing University, Baowen Xu Nanjing University Media Attached
14:15 7m Talk		A Language Model of Java Methods with Train/Test Deduplication Demonstrations Chia-Yi Su University of Notre Dame, Aakash Bansal University of Notre Dame, Vijayanta Jain University of Maine, Sepideh Ghanavati University of Maine , Collin McMillan University of Notre Dame Media Attached
14:23 7m Talk		DENT - A Tool for Tagging Stack Overflow Posts With Deep Learning Energy Patterns Demonstrations Shriram Shanbhag Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati, Vibhu Saujanya Sharma Accenture Labs, India, Vikrant Kaulgud Accenture Labs, India Media Attached
14:30 15m Talk		Automated Testing and Improvement of Named Entity Recognition Systems Research Papers BoXi Yu The Chinese University of Hong Kong, Shenzhen, Yiyan Hu The Chinese University of Hong Kong, Shenzhen, Qiuyang Mang The Chinese University of Hong Kong, Shenzhen, Wenhan Hu The Chinese University of Hong Kong, Shenzhen, Pinjia He The Chinese University of Hong Kong, Shenzhen Pre-print Media Attached
14:45 15m Talk		KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection Industry Papers Xu Qinghua Simula Research Laboratory; University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Tao Yue Beihang University, Zaimovic Nedim Alstom Rail, Inderjeet Singh Alstom DOI Media Attached
15:00 15m Talk		Deep Learning Based Feature Envy Detection Boosted by Real-World Examples Research Papers Bo Liu Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, Guangjie Li National Innovation Institute of Defense Technology, Nan Niu University of Cincinnati, Zimao Xu Beijing Institute of Technology, Yifan Wang Huawei Cloud, Yunni Xia Chongqing University, Yuxia Zhang Beijing Institute of Technology, Yanjie Jiang Peking University DOI Pre-print Media Attached
15:15 15m Talk		[Remote] The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code Classification Research Papers Anastasiia Grishina Simula Research Laboratory, Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory and BI Norwegian Business School Pre-print Media Attached

14:00 - 15:30	Security IResearch Papers / Demonstrations / Journal First at Golden Gate C3 Chair(s): Abhik Roychoudhury National University of Singapore

14:00 15m Talk		Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study Journal First Goran Piskachev Amazon Web Services, Matthias Becker Fraunhofer IEM, Eric Bodden University of Paderborn Media Attached
14:15 15m Talk		Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects Research Papers Lida Zhao Singapore Management University, Singapore, Sen Chen College of Intelligence and Computing, Tianjin University, Zhengzi Xu Nanyang Technological University, Chengwei Liu Nanyang Technological University, Lyuye Zhang Nanyang Technological University, Wu Jiahui Nanyang Technological University, Jun Sun Singapore Management University, Yang Liu Nanyang Technological University Media Attached
14:30 15m Talk		Input-driven Dynamic Program Debloating for Code-reuse Attack Mitigation Research Papers Xiaoke Wang Wuhan University, Tao Hui Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Lei Zhao Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Yueqiang Cheng NIO DOI Pre-print Media Attached
14:45 7m Talk		MASC: A Tool for Mutation-based Evaluation of Static Crypto-API Misuse Detectors Demonstrations Amit Seal Ami William & Mary, Syed Yusuf Ahmed University of Dhaka, Radowan Mahmud Redoy University of Dhaka, Nathan Cooper William & Mary, Kaushal Kafle College of William & Mary, Kevin Moran University of Central Florida, Denys Poshyvanyk William & Mary, Adwait Nadkarni William & Mary Media Attached
14:53 7m Talk		[Remote] llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs Demonstrations Ruiling Chen Shenzhen University, Jiaxiang Liu Shenzhen University, Xiaomu Shi Institute of Software, Chinese Academy of Sciences, Ming-Hsien Tsai National Institute of Cyber Security, Bow-Yaw Wang , Bo-Yin Yang Academia Sinica Media Attached
15:00 15m Talk		[Remote] Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java Research Papers Kaixuan Li East China Normal University, Sen Chen College of Intelligence and Computing, Tianjin University, Lingling Fan College of Cyber Science, Nankai University, Ruitao Feng University of New South Wales, Han Liu East China Normal University, Chengwei Liu Nanyang Technological University, Yang Liu Nanyang Technological University, Yixiang Chen East China Normal University Pre-print Media Attached
15:15 15m Talk		[Remote] TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts Research Papers Chenyang Ma Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University DOI Pre-print Media Attached

16:00 - 18:00	Fault Diagnosis and Root Cause Analysis IIIndustry Papers / Research Papers at Golden Gate A Chair(s): Yun Lin Shanghai Jiao Tong University

16:00 15m Talk		DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers Research Papers Xianglin Yang Shanghai Jiao Tong University; National University of Singapore, Yun Lin Shanghai Jiao Tong University, Yifan Zhang National University of Singapore, Linpeng Huang Shanghai Jiao Tong University, Jin Song Dong National University of Singapore, Hong Mei Peking University Media Attached
16:15 15m Talk		AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision Industry Papers Xiaoyun Liang ByteDance, Jiayi Qi ByteDance, Yongqiang Gao ByteDance, Chao Peng ByteDance, China, Ping Yang Bytedance Network Technology DOI Media Attached
16:30 15m Talk		TransMap: Pinpointing Mistakes in Neural Code Translation Research Papers Bo Wang National University of Singapore, Ruishi Li National University of Singapore, Mingkai Li National University of Singapore, Prateek Saxena National University of Singapore Media Attached
16:45 15m Talk		Dynamic Prediction of Delays in Software Projects Using Delay Patterns and Bayesian Modeling Research Papers Elvan Kula Delft University of Technology, Eric Greuter ING, Arie van Deursen Delft University of Technology, Georgios Gousios Endor Labs & Delft University of Technology Pre-print Media Attached
17:00 15m Talk		Commit-level, Neural Vulnerability Detection and Assessment Research Papers Yi Li New Jersey Institute of Technology, Aashish Yadavally The University of Texas at Dallas, Jiaxing Zhang New Jersey Institute of Technology, Shaohua Wang Central University of Finance and Economics , Tien N. Nguyen University of Texas at Dallas Media Attached
17:15 15m Talk		[Remote] Mining Resource-Operation Knowledge to Support Resource Leak Detection Research Papers Chong Wang Nanyang Technological University, Yiling Lou Fudan University, Xin Peng Fudan University, Jianan Liu Fudan University, Baihan Zou Fudan University Media Attached
17:30 15m Talk		[Remote] Detection Is Better Than Cure: A Cloud Incidents Perspective Industry Papers Vaibhav Ganatra Microsoft, Anjaly Parayil Microsoft, Supriyo Ghosh Microsoft, Yu Kang Microsoft Research, Minghua Ma Microsoft Research, Chetan Bansal Microsoft Research, Suman Nath Microsoft Research, Jonathan Mace Microsoft DOI Media Attached
17:45 7m Talk		[Remote] Diffusion-Based Time Series Data Imputation for Cloud Failure Prediction at Microsoft 365 Industry Papers Fangkai Yang Microsoft Research, Wenjie Yin KTH Royal Institute of Technology, Lu Wang Microsoft Research, Tianci Li Microsoft, Pu Zhao Microsoft Research, Bo Liu Beijing Institute of Technology, Paul Wang Microsoft 365, Bo Qiao Microsoft Research, Yudong Liu Microsoft Research, Mårten Björkman KTH Royal Institute of Technology, Saravan Rajmohan Microsoft 365, Qingwei Lin Microsoft, Dongmei Zhang Microsoft Research DOI Media Attached

16:00 - 18:00	FuzzingResearch Papers at Golden Gate C1 Chair(s): Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University

16:00 15m Talk		Enhancing Coverage-guided Fuzzing via Phantom Program Research Papers Mingyuan Wu Southern University of Science and Technology and the University of Hong Kong, Kunqiu Chen Southern University of Science and Technology, Qi Luo Southern University of Science and Technology, Jiahong Xiang Southern University of Science and Technology, Ji Qi The University of Hong Kong, Junjie Chen Tianjin University, Heming Cui University of Hong Kong, Yuqun Zhang Southern University of Science and Technology Media Attached
16:15 15m Talk		Co-Dependence Aware Fuzzing for Dataflow-based Big Data Analytics Research Papers Ahmad Humayun Virginia Tech, Miryung Kim University of California at Los Angeles, USA, Muhammad Ali Gulzar Virginia Tech Pre-print Media Attached
16:30 15m Talk		SJFuzz: Seed & Mutator Scheduling for JVM Fuzzing Research Papers Mingyuan Wu Southern University of Science and Technology and the University of Hong Kong, Yicheng Ouyang University of Illinois at Urbana-Champaign, Minghai Lu Southern University of Science and Technology, Junjie Chen Tianjin University, Yingquan Zhao Tianjin University, Heming Cui University of Hong Kong, Guowei Yang University of Queensland, Yuqun Zhang Southern University of Science and Technology Media Attached
16:45 15m Talk		Metamong: Detecting Render-update Bugs in Web Browsers through Fuzzing Research Papers Suhwan Song Seoul National University, South Korea, Byoungyoung Lee Seoul National University, South Korea Media Attached
17:00 15m Talk		Property-based Fuzzing for Finding Data Manipulation Errors in Android Apps Research Papers Jingling Sun East China Normal University, Ting Su East China Normal University, Jiayi Jiang East China Normal University, Jue Wang Nanjing University, Geguang Pu East China Normal University, Zhendong Su ETH Zurich Media Attached
17:15 15m Talk		Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications Research Papers Jiyuan Wang University of California at Los Angeles, Qian Zhang University of California, Riverside, Hongbo Rong Intel Labs, Guoqing Harry Xu University of California at Los Angeles, Miryung Kim University of California at Los Angeles, USA Pre-print Media Attached
17:30 15m Talk		NaNofuzz: A Usable Tool for Automatic Test Generation Research Papers Matthew C. Davis Carnegie Mellon University, Sangheon Choi Rose-Hulman Institute of Technology, Sam Estep Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University Link to publication DOI Media Attached
17:45 15m Talk		[Remote] A Generative and Mutational Approach for Synthesizing Bug-exposing Test Cases to Guide Compiler Fuzzing Research Papers Guixin Ye Northwest University, Tianmin Hu Northwest University, Zhanyong Tang Northwest University, Zhenye Fan Northwest University, Shin Hwei Tan Concordia University, Bo Zhang Tencent Security Platform Department, Wenxiang Qian Tencent Security Platform Department, Zheng Wang University of Leeds, UK Media Attached

16:00 - 18:00	Formal VerificationResearch Papers / Industry Papers / Ideas, Visions and Reflections / Demonstrations at Golden Gate C2 Chair(s): Christoph Treude University of Melbourne

16:00 15m Talk		State Merging with Quantifiers in Symbolic Execution Research Papers David Trabish Tel Aviv University, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv University, Vaibhav Sharma University of Minnesota DOI Pre-print Media Attached
16:15 15m Talk		Towards Strengthening Formal Specifications with Mutation Model Checking Ideas, Visions and Reflections Maxime Cordy SnT, University of Luxembourg, Sami Lazreg SnT, University of Luxembourg, Axel Legay Université Catholique de Louvain, Belgium, Pierre Yves Schobbens University of Namur Media Attached
16:30 15m Talk		PropProof: Free Model-Checking Harnesses from PBT Industry Papers Yoshiki Takashima Carnegie Mellon University DOI Media Attached
16:45 15m Talk		Engineering a Formally Verified Automated Bug Finder Research Papers Arthur Correnson CISPA Helmholtz Center for Information Security, Dominic Steinhöfel CISPA Helmholtz Center for Information Security Media Attached
17:00 15m Talk		LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems Industry Papers Yibo Dong East China Normal University; Shanghai Trusted Industrial Control Platform, Xiaoyu Zhang East China Normal University, Yicong Xu East China Normal University, Chang Cai East China Normal University, Yu Chen East China Normal University, Weikai Miao East China Normal University, Jianwen Li East China Normal University, China, Geguang Pu East China Normal University DOI Media Attached
17:15 15m Talk		Speeding up SMT Solving via Compiler Optimization Research Papers Benjamin Mikek Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology Media Attached
17:30 15m Talk		[Remote] Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering Research Papers Bin Yu School of Computer Science and Technology, Xidian University, Cong Tian Xidian University, Hengrui Xing School of Computer Science and Technology, Xidian University, Zuchao Yang School of Computer Science and Technology, Xidian University, Jie Su School of Computer Science and Technology, Xidian University, Xu Lu School of Computer Science and Technology, Xidian University, Jiyu Yang School of Computer Science and Technology, Xidian University, Liang Zhao School of Computer Science and Technology, Xidian University, Xiaofeng Li Beijing Institute of Control Engineering, Zhenhua Duan Xidian University Media Attached
17:45 7m Talk		[Remote] P4b: A Translator from P4 Programs to Boogie Demonstrations Chong Ye Tsinghua University, Fei He Tsinghua University Media Attached

16:00 - 18:00	Automated Repair IIJournal First / Research Papers at Golden Gate C3 Chair(s): Luciano Baresi Politecnico di Milano

16:00 15m Talk		A Large-scale Empirical Review of Patch Correctness Checking Approaches Research Papers Jun Yang UIUC, Yuehan Wang University of Illinois at Urbana-Champaign, Yiling Lou Fudan University, Ming Wen Huazhong University of Science and Technology, Lingming Zhang University of Illinois at Urbana-Champaign Media Attached
16:15 15m Talk		Program Repair Guided by Datalog-Defined Static Analysis Research Papers Yu Liu Beijing University of Technology, Sergey Mechtaev University College London, Pavle Subotic Microsoft, Abhik Roychoudhury National University of Singapore Media Attached
16:30 15m Talk		SynShine: Improved Fixing of Syntax Errors Journal First Toufique Ahmed University of California at Davis, Noah Rose Ledesma UC Davis, Prem Devanbu University of California at Davis Media Attached
16:45 15m Talk		Baldur: Whole-Proof Generation and Repair with Large Language Models Research Papers Emily First University of California, San Diego, Markus Rabe Google, Talia Ringer University of Illinois at Urbana-Champaign, Yuriy Brun University of Massachusetts Media Attached
17:00 15m Talk		KG4CraSolver: Recommending Crash Solutions via Knowledge Graph Research Papers Xueying Du Fudan University, Yiling Lou Fudan University, Mingwei Liu Fudan University, Xin Peng Fudan University, Tianyong Yang Fudan University Pre-print Media Attached
17:15 15m Talk		[Remote] Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps Research Papers Yuxin Zhang Tianjin University, Sen Chen College of Intelligence and Computing, Tianjin University, Lingling Fan College of Cyber Science, Nankai University, Chunyang Chen Monash University, Xiaohong Li Tianjin University Media Attached
17:30 15m Talk		[Remote] Semantic Test Repair for Web applications Research Papers Xiaofang Qi School of Computer Science and Engineering, Southeast University, Xiang Qian School of Computer Science and Engineering, Southeast University, Yanhui Li Nanjing University Media Attached

Thu 7 Dec
Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:30	Human Aspects IIIResearch Papers / Industry Papers / Demonstrations / Journal First at Golden Gate A Chair(s): Tien N. Nguyen University of Texas at Dallas

11:00 15m Talk		A Case Study of Developer Bots: Motivations, Perceptions, and Challenges Research Papers Sumit Asthana University of Michigan, Hitesh Sajnani The Trade Desk, Elena Voyloshnikova Microsoft, Birendra Acharya Microsoft, Kim Herzig Microsoft Media Attached
11:15 15m Talk		"We Feel Like We're Winging It": A Study on Navigating Open-Source Dependency Abandonment Research Papers Courtney Miller Carnegie Mellon University, Christian Kästner Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University Pre-print Media Attached
11:30 15m Talk		How Practitioners Expect Code Completion? Research Papers Chaozheng Wang The Chinese University of Hong Kong, Junhao Hu Peking University, Cuiyun Gao The Chinese University of Hong Kong, Yu Jin Tencent Inc., Tao Xie Peking University, Hailiang Huang Tencent Inc., Zhenyu Lei Tencent Inc., Yuetang Deng Tencent Inc. Media Attached
11:45 15m Talk		BFSig: Leveraging File Significance in Bus Factor Estimation Industry Papers Vahid Haratian Bilkent University, Mikhail Evtikhiev JetBrains Research, Pouria Derakhshanfar JetBrains Research, Eray Tüzün Bilkent University, Vladimir Kovalenko JetBrains Research DOI Media Attached
12:00 15m Talk		Challenges of Working from Home in Software Development during COVID-19 Lockdowns Journal First Katharina Müller , Christian Koch Technische Hochschule Nürnberg Georg Simon Ohm / FAU Erlangen-Nürnberg, Germany, Dirk Riehle U of Erlangen, Michael Stops Institut für Arbeitsmarkt- und Berufsforschung, Germany, Nikolay Harutyunyan Friedrich-Alexander University Erlangen-Nuremberg, Germany Link to publication DOI Media Attached
12:15 7m Talk		D2S2: Drag ’n’ Drop Mobile App Screen Search Demonstrations Soumik Mohian University of Texas at Arlington, Tony Tang University of Texas at Arlington, Tuan Trinh University of Texas at Arlington, Don Dang University of Texas at Arlington, Christoph Csallner University of Texas at Arlington Link to publication Media Attached
12:23 7m Talk		[Remote] The Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development Industry Papers Zheng Li Queen's University Belfast, UK, Austen Rainer Queen's University Belfast DOI Media Attached

11:00 - 12:30	Testing IVResearch Papers / Industry Papers at Golden Gate C1 Chair(s): Jonathan Bell Northeastern University

11:00 15m Talk		Code Coverage Criteria for Asynchronous Programs Research Papers Mohammad Ganji Simon Fraser University, Saba Alimadadi Simon Fraser University, Frank Tip Northeastern University Media Attached
11:15 15m Talk		Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway Industry Papers Christoph Laaber Simula Research Laboratory, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway DOI Pre-print Media Attached
11:30 15m Talk		Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator Industry Papers Federico Formica McMaster University, Nicholas Petrunti McMaster University, Lucas Bruck McMaster University, Vera Pantelic McMaster University, Mark Lawford McMaster University, Claudio Menghi University of Bergamo; McMaster University DOI Media Attached
11:45 15m Talk		Prioritizing Natural Language Test Cases Based on Highly-Used Game Features Industry Papers Markos Viggiato University of Alberta, Dale Paas Prodigy Education, Cor-Paul Bezemer University of Alberta DOI Media Attached
12:00 15m Talk		EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes Research Papers Shinhae Kim The Affiliated Institute of ETRI, Sungjae Hwang Sungkyunkwan University Media Attached
12:15 15m Talk		[Remote] API-Knowledge Aware Search-based Software Testing: Where, What and How Research Papers Xiaoxue Ren Zhejiang University, Xinyuan Ye Australian National University, Yun Lin Shanghai Jiao Tong University, Zhenchang Xing Data61, Shuqing Li The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong Media Attached

11:00 - 12:30	Machine Learning IVResearch Papers / Ideas, Visions and Reflections / Industry Papers at Golden Gate C2 Chair(s): Diptikalyan Saha IBM Research India

11:00 15m Talk		Dynamic Data Fault Localization for Deep Neural Networks Research Papers Yining Yin Nanjing University, China, Yang Feng Nanjing University, Shihao Weng Nanjing University, Zixi Liu Nanjing University, Yuan Yao Nanjing University, Yichi Zhang Nanjing University, Zhihong Zhao , Zhenyu Chen Nanjing University Media Attached
11:15 15m Talk		Assisting Static Analysis with Large Language Models: A ChatGPT Experiment Ideas, Visions and Reflections Haonan Li University of California at Riverside, USA, Yu Hao University of California at Riverside, USA, Yizhuo Zhai University of California at Riverside, USA, Zhiyun Qian University of California at Riverside, USA Media Attached
11:30 15m Talk		Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems Research Papers Xiaohu Du Huazhong University of Science and Technology, Xiao Chen Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Jialun Cao Hong Kong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hai Jin Huazhong University of Science and Technology Media Attached
11:45 15m Talk		EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System Industry Papers Chengjie Lu Simula Research Laboratory; University of Oslo, Xu Qinghua Simula Research Laboratory; University of Oslo, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway DOI Media Attached
12:00 15m Talk		Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing Research Papers bozhi wu Singapore Management University, Shangqing Liu Nanyang Technological University, Yang Xiao Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhiming Li Nanyang Technological University, Singapore, Jun Sun Singapore Management University, Shang-Wei LIN Nanyang Technological University Media Attached
12:15 15m Talk		[Remote] DeepRover: A Query-efficient Blackbox Attack for Deep Neural Networks Research Papers Fuyuan Zhang Kyushu University, Xinwen Hu Hunan Normal University, Lei Ma The University of Tokyo / University of Alberta, Jianjun Zhao Kyushu University Media Attached

11:00 - 12:30	Program Analysis IIIDemonstrations / Research Papers / Industry Papers at Golden Gate C3 Chair(s): Marsha Chechik University of Toronto

11:00 15m Talk		Practical Inference of Nullability Types Research Papers Nima Karimipour University of California, Riverside, Justin Pham University of California, Riverside, Lazaro Clapp Uber Technologies Inc, Manu Sridharan University of California at Riverside Media Attached
11:15 15m Talk		LibKit: Detecting Third-Party Libraries in iOS Apps Research Papers Daniel Dominguez Alvarez University of Verona and IMDEA Software Institute, Alejandro de la Cruz IMDEA Software Institute, Alessandra Gorla IMDEA Software Institute, Juan Caballero IMDEA Software Institute Media Attached
11:30 15m Talk		Compositional Taint Analysis for Enforcing Security Policies at Scale Industry Papers Subarno Banerjee Amazon Web Services, Siwei Cui Texas A & M University, Michael Emmi Amazon Web Services, Antonio Filieri Amazon Web Services, Liana Hadarean Amazon Web Services, Peixuan Li Amazon Web Services, Linghui Luo Amazon Web Services, Goran Piskachev Amazon Web Services, Nico Rosner Amazon Web Services, Aritra Sengupta Amazon Web Services, Omer Tripp Amazon, Jingbo Wang University of Southern California DOI Media Attached
11:45 15m Talk		FunProbe: Probing Functions from Binary Code through Probabilistic Analysis Research Papers Soomin Kim KAIST, Hyungseok Kim The Affiliated Institute of ETRI, Sang Kil Cha KAIST, South Korea Media Attached
12:00 15m Talk		BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework Research Papers Zewen Sun Nanjing University, Duanchen Xu Nanjing University, Yiyu Zhang Nanjing University, Yun Qi Nanjing University, Yueyang Wang Nanjing University, Zhiqiang Zuo Nanjing University, Zhaokang Wang Nanjing University, Yue Li Nanjing University, Xuandong Li Nanjing University, Qingda Lu Alibaba Group, Wenwen Peng Alibaba Group, Shengjian (Daniel) Guo Baidu Security Media Attached
12:15 7m Talk		CONAN: Statically Detecting Connectivity Issues in Android Applications Demonstrations Alejandro Mazuera-Rozo Universita della Svizzera italiana, Lugano, Switzerland and Universidad de los Andes, Colombia, Camilo Escobar-Velásquez Universidad de los Andes, Juan Espitia-Acero Universidad de los Andes, Colombia, Mario Linares-Vásquez Universidad de los Andes, Gabriele Bavota Software Institute, USI Università della Svizzera italiana Media Attached

14:00 - 15:30	Empirical Studies IIResearch Papers / Ideas, Visions and Reflections / Industry Papers / Journal First at Golden Gate A Chair(s): Peter Rigby Concordia University; Meta

14:00 15m Talk		Reflecting on the use of the Policy-Process-Product Theory in Empirical Software Engineering Ideas, Visions and Reflections Kelechi G. Kalu Purdue University, Taylor R. Schorlemmer Purdue University, Sophie Chen University of Michigan, Kyle A. Robinson Purdue University, Erik Kocinare Purdue University, James C. Davis Purdue University DOI Pre-print Media Attached
14:15 15m Talk		Understanding the Role of External Pull Requests in the NPM Ecosystem Journal First Vittunyuta Maeprasart Nara Institute of Science and Technology, Supatsara Wattanakriengkrai Nara Institute of Science and Technology, Raula Gaikovina Kula Nara Institute of Science and Technology, Christoph Treude University of Melbourne, Kenichi Matsumoto Nara Institute of Science and Technology Media Attached
14:30 15m Talk		A Multidimensional Analysis of Bug Density in SAP HANA Industry Papers Julian Reck SAP, Thomas Bach SAP, Jan Stoess University of Applied Sciences Karlsruhe DOI Media Attached
14:45 15m Talk		[Remote] Understanding the topics and challenges of GPU programming by classifying and analyzing Stack Overflow posts Research Papers Wenhua Yang Nanjing University of Aeronautics and Astronautics, Chong Zhang Nanjing University, Minxue Pan Nanjing University Media Attached
15:00 15m Talk		[Remote] Ownership in the Hands of Accountability at Brightsquid: A Case Study and a Developer Survey Industry Papers Umme Ayman Koana York University, Francis Chew Brightsquid, Chris Carlson Brightsquid, Maleknaz Nayebi York University DOI
15:15 15m Talk		[Remote] Software Architecture in Practice: Challenges and Opportunities Research Papers Zhiyuan Wan Zhejiang University, Yun Zhang Zhejiang University City College, Xin Xia Huawei Technologies, Yi Jiang Huawei, David Lo School of Computing and Information Systems, Singapore Management University Media Attached

14:00 - 15:30	Models of Code and DocumentationResearch Papers / Journal First / Ideas, Visions and Reflections at Golden Gate C1 Chair(s): Gema Rodríguez-Pérez University of British Columbia (UBC)

14:00 15m Talk		On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-trained Language Models of Code Research Papers Martin Weyssow DIRO, Université de Montréal, Xin Zhou Singapore Management University, Singapore, Kisub Kim School of Computing and Information Systems, Singapore Management University, David Lo School of Computing and Information Systems, Singapore Management University, Houari Sahraoui DIRO, Université de Montréal Pre-print Media Attached
14:15 15m Talk		A Vision on Intentions in Software Engineering Ideas, Visions and Reflections Jacob Krüger Eindhoven University of Technology, Yi Li Nanyang Technological University, Chenguang Zhu Meta, Marsha Chechik University of Toronto, Thorsten Berger Ruhr University Bochum, Julia Rubin University of British Columbia, Canada Media Attached
14:30 15m Paper		Automated Identification of Toxic Code Reviews Using ToxiCR Journal First Jaydeb Sarker Department of Computer Science, Wayne State University, Asif Kamal Turzo Wayne State University, Amiangshu Bosu Wayne State University, Ming Dong Wayne State University Link to publication DOI Pre-print Media Attached
14:45 15m Talk		GrACE: Language Models Meet Code Edits Research Papers Priyanshu Gupta Microsoft, Avishree Khare Microsoft, Yasharth Bajpai Microsoft, Saikat Chakraborty Microsoft Research , Sumit Gulwani Microsoft, Aditya Kanade Microsoft Research India, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft Media Attached
15:00 15m Talk		Recommending Analogical APIs via Knowledge Graph Embedding Research Papers Mingwei Liu Fudan University, Yanjun Yang Fudan University, Yiling Lou Fudan University, Xin Peng Fudan University, Zhong Zhou Fudan University, Xueying Du Fudan University, Tianyong Yang Fudan University Pre-print Media Attached
15:15 15m Talk		[Remote] CCT5: A Code-Change-Oriented Pre-Trained Model Research Papers Bo Lin National University of Defense Technology, Shangwen Wang National University of Defense Technology, Zhongxin Liu Zhejiang University, Yepang Liu Southern University of Science and Technology, Xin Xia Huawei Technologies, Xiaoguang Mao National University of Defense Technology DOI Pre-print Media Attached

14:00 - 15:30	Machine Learning VResearch Papers / Ideas, Visions and Reflections / Journal First at Golden Gate C2 Chair(s): Prem Devanbu University of California at Davis

14:00 15m Talk		LExecutor: Learning-Guided Execution Research Papers Beatriz Souza Universität Stuttgart, Michael Pradel University of Stuttgart Media Attached
14:15 15m Talk		Deeper Notions of Correctness in Image-based DNNs: Lifting Properties from Pixel to Entities Ideas, Visions and Reflections Felipe Toledo , David Shriver University of Virginia, Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia Link to publication DOI Pre-print Media Attached
14:30 15m Talk		Software Architecture Recovery with Information Fusion Research Papers Yiran Zhang Nanyang Technological University, Zhengzi Xu Nanyang Technological University, Chengwei Liu Nanyang Technological University, Hongxu Chen Huawei Technologies Co., Ltd., Sun Jianwen Huawei Technologies Co., Ltd, Dong Qiu Huawei Technologies Co., Ltd, Yang Liu Nanyang Technological University Media Attached
14:45 15m Talk		What Kinds of Contracts Do ML APIs Need? Journal First Samantha Syeda Khairunnesa Bradley University, Shibbir Ahmed Dept. of Computer Science, Iowa State University, Sayem Mohammad Imtiaz Iowa State University, Hridesh Rajan Dept. of Computer Science, Iowa State University, Gary T. Leavens University of Central Florida Media Attached
15:00 15m Talk		Evaluating Transfer Learning for Simplifying GitHub READMEs Research Papers Haoyu Gao The University of Melbourne, Christoph Treude University of Melbourne, Mansooreh Zahedi The Univeristy of Melbourne Pre-print Media Attached
15:15 15m Talk		[Remote] CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models Research Papers Zhensu Sun Singapore Management University, Xiaoning Du Monash University, Australia, Fu Song State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China, Li Li Beihang University Pre-print Media Attached

14:00 - 15:30	Security IIResearch Papers / Journal First at Golden Gate C3 Chair(s): Caroline Lemieux University of British Columbia

14:00 15m Talk		Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors Research Papers Ruoxi Sun CSIRO's Data61, Jason Minhui Xue CSIRO’s Data61, Gareth Tyson Hong Kong University of Science and Technology, Tian Dong Shanghai Jiao Tong University, Shaofeng Li Shanghai Jiao Tong University, Shuo Wang CSIRO's Data61, Haojin Zhu Shanghai Jiao Tong University, Seyit Camtepe CSIRO Data61, Surya Nepal CSIRO’s Data61 Media Attached
14:15 15m Talk		Security Misconfigurations in Open Source Kubernetes Manifests: An Empirical Study Journal First Akond Rahman Auburn University, USA, Shazibul Islam Shamim Auburn University, Dibyendu Brinto Bose Virginia Tech, Rahul Pandita GitHub, Inc. Media Attached
14:30 15m Talk		Crystallizer: A Hybrid Path Analysis Framework To Aid in Uncovering Deserialization Vulnerabilities Research Papers Prashast Srivastava Columbia University, USA, Flavio Toffalini EPFL, Kostyantyn Vorobyov Oracle Labs, Australia, François Gauthier Oracle Labs, Antonio Bianchi Purdue University, Mathias Payer EPFL Media Attached
14:45 15m Talk		Neural Transfer Learning for Repairing Security Vulnerabilities in C Code Journal First Zimin Chen KTH Royal Institute of Technology, Steve Kommrusch Leela AI, Martin Monperrus KTH Royal Institute of Technology Media Attached
15:00 15m Talk		ViaLin: Path-Aware Dynamic Taint Analysis for Android Research Papers Khaled Ahmed University of British Columbia (UBC), Yingying Wang University of British Columbia, Mieszko Lis The University of British Columbia, Canada, Julia Rubin University of British Columbia, Canada Media Attached
15:15 15m Talk		[Remote] Distinguishing Look-Alike Innocent and Vulnerable Code by Subtle Semantic Representation Learning and Explanation Research Papers Chao Ni School of Software Technology, Zhejiang University, Xin Yin The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Kaiwen Yang College of Computer Science and Technology, Zhejiang University, Dehai Zhao Australian National University, Australia, Zhenchang Xing Data61, Xin Xia Huawei Technologies Media Attached

Accepted Papers

	Title
	Adapting Performance Analytic Techniques in a Real-World Database-Centric System: An Industrial Experience Report Industry Papers Lizhi Liao, Heng Li, Weiyi Shang, Catalin Sporea, Andrei Toma, Sarah Sajedi DOI Media Attached
	AdaptivePaste: Intelligent Copy-Paste in IDE Industry Papers Xiaoyu Liu, Jinu Jang, Neel Sundaresan, Miltiadis Allamanis, Alexey Svyatkovskiy DOI Media Attached
	AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision Industry Papers Xiaoyun Liang, Jiayi Qi, Yongqiang Gao, Chao Peng, Ping Yang DOI Media Attached
	A Multidimensional Analysis of Bug Density in SAP HANA Industry Papers Julian Reck, Thomas Bach, Jan Stoess DOI Media Attached
	Analyzing Microservice Connectivity with Kubesonde Industry Papers Jacopo Bufalino, Mario Di Francesco, Tuomas Aura DOI Media Attached
	Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception Industry Papers Yongxiang Hu, Jiazhen Gu, Shuqing Hu, Yu Zhang, Wenjie Tian, Shiyu Guo, Chaoyi Chen, Yangfan Zhou DOI Media Attached
	A Unified Framework for Mini-game Testing: Experience on WeChat Industry Papers Chaozheng Wang, Haochuan Lu, Cuiyun Gao, Li Zongjie, Ting Xiong, Yuetang Deng DOI Media Attached
	Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway Industry Papers Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård DOI Pre-print Media Attached
	BFSig: Leveraging File Significance in Bus Factor Estimation Industry Papers Vahid Haratian, Mikhail Evtikhiev, Pouria Derakhshanfar, Eray Tüzün, Vladimir Kovalenko DOI Media Attached
	Compositional Taint Analysis for Enforcing Security Policies at Scale Industry Papers Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nico Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang DOI Media Attached
	Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data Industry Papers Will Shackleton, Katriel Cohn-Gordon, Peter C Rigby, Rui Abreu, James Gill, Nachiappan Nagappan, Karim Nakad, Ioannis Papagiannis, Luke Petre, Giorgi Megreli, Patrick Riggs, James Saindon DOI
	EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System Industry Papers Chengjie Lu, Xu Qinghua, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård DOI Media Attached
	From Point-wise to Group-wise: A Fast and Accurate Microservice Trace Anomaly Detection Approach Industry Papers Zhe Xie, Changhua Pei, Wanxue Li, Huai Jiang, Liangfei Su, Jianhui Li, Gaogang Xie, Dan Pei DOI Media Attached
	Incrementalizing Production CodeQL Analyses Industry Papers Tamás Szabó DOI Media Attached
	InferFix: End-to-End Program Repair with LLMs Industry Papers Matthew Jin, Syed Shahriar, Michele Tufano, Xin Shi, Shuai Lu, Neel Sundaresan, Alexey Svyatkovskiy DOI
	Issue Report Validation in an Industrial Context Industry Papers Ethem Utku Aktas, Ebru Cakmak, Mete Cihad Inan, Cemal Yilmaz DOI Media Attached
	KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection Industry Papers Xu Qinghua, Shaukat Ali, Tao Yue, Zaimovic Nedim, Inderjeet Singh DOI Media Attached
	Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions Industry Papers Yuxin Wang, Adam Welc, Lazaro Clapp, Lingchao Chen DOI Media Attached
	LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems Industry Papers Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu DOI Media Attached
	Modeling the Centrality of Developer Output with Software Supply Chains Industry Papers Audris Mockus, Peter C Rigby, Rui Abreu, Parth Suresh, Yifen Chen, Nachiappan Nagappan DOI Pre-print Media Attached
	MuRS: Mutant Ranking and Suppression using Identifier Templates Industry Papers Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya, Goran Petrović, Marko Ivanković, René Just DOI Media Attached
	On-Premise AIOps Infrastructure for a Software Editor SME: An Experience Report Industry Papers Anes Bendimerad, Youcef REMIL, Romain Mathonat, Mehdi Kaytoue DOI Media Attached
	Prioritizing Natural Language Test Cases Based on Highly-Used Game Features Industry Papers Markos Viggiato, Dale Paas, Cor-Paul Bezemer DOI Media Attached
	PropProof: Free Model-Checking Harnesses from PBT Industry Papers Yoshiki Takashima DOI Media Attached
	[Remote] Assess and Summarize: Improve Outage Understanding with Large Language Models Industry Papers Pengxiang Jin, Shenglin Zhang, Minghua Ma, Haozhe Li, Yu Kang, Liqun Li, Yudong Liu, Bo Qiao, Chaoyun Zhang, Pu Zhao, Shilin He, Federica Sarro, Yingnong Dang, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang DOI Media Attached
	[Remote] Beyond Sharing: Conflict-Aware Multivariate Time Series Anomaly Detection Industry Papers Haotian Si, Changhua Pei, Zhihan Li, Yadong Zhao, Jingjing Li, Haiming Zhang, Zulong Diao, Jianhui Li, Gaogang Xie, Dan Pei DOI Media Attached
	[Remote] C³: Code Clone-Based Identification of Duplicated Components Industry Papers Yanming Yang, Ying Zou, Xing Hu, David Lo, Chao Ni, John Grundy, Xin Xia DOI Media Attached
	[Remote] Detection Is Better Than Cure: A Cloud Incidents Perspective Industry Papers Vaibhav Ganatra, Anjaly Parayil, Supriyo Ghosh, Yu Kang, Minghua Ma, Chetan Bansal, Suman Nath, Jonathan Mace DOI Media Attached
	[Remote] Diffusion-Based Time Series Data Imputation for Cloud Failure Prediction at Microsoft 365 Industry Papers Fangkai Yang, Wenjie Yin, Lu Wang, Tianci Li, Pu Zhao, Bo Liu, Paul Wang, Bo Qiao, Yudong Liu, Mårten Björkman, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang DOI Media Attached
	[Remote] On the Dual Nature of Necessity in Use of Rust Unsafe Code Industry Papers Yuchen Zhang, Ashish Kundu, Georgios Portokalidis, Jun Xu DOI Media Attached
	[Remote] Ownership in the Hands of Accountability at Brightsquid: A Case Study and a Developer Survey Industry Papers Umme Ayman Koana, Francis Chew, Chris Carlson, Maleknaz Nayebi DOI
	[Remote] STEAM: Observability-Preserving Trace Sampling Industry Papers Shilin He, Botao Feng, Liqun Li, Xu Zhang, Yu Kang, Qingwei Lin, Saravan Rajmohan, Dongmei Zhang DOI Media Attached
	[Remote] Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned Industry Papers Hassan Sartaj, Shaukat Ali, Tao Yue, Kjetil Moberg DOI Pre-print Media Attached
	[Remote] The Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development Industry Papers Zheng Li, Austen Rainer DOI Media Attached
	[Remote] xASTNN: Improved Code Representations for Industrial Practice Industry Papers Zhiwei Xu, Min Zhou, Xibin Zhao, Yang Chen, Xi Cheng, Hongyu Zhang DOI Media Attached
	Rotten Green Tests in Google Test Industry Papers Paul Robinson DOI Media Attached
	Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator Industry Papers Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi DOI Media Attached
	Towards Efficient Record and Replay: A Case Study in WeChat Industry Papers Sidong Feng, Haochuan Lu, Ting Xiong, Yuetang Deng, Chunyang Chen DOI Media Attached
	TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems Industry Papers Ruomeng Ding, Chaoyun Zhang, Lu Wang, Yong Xu, Minghua Ma, Xiaomin Wu, Meng Zhang, Qingjun Chen, Xin Gao, Xuedong Gao, Hao Fan, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang DOI Media Attached
	Triggering Modes in Spectrum-Based Multi-location Fault Localization Industry Papers Tung Dao, Na Meng, ThanhVu Nguyen DOI Media Attached
	Understanding Hackers’ Work: An Empirical Study of Offensive Security Practitioners Industry Papers Andreas Happe, Jürgen Cito DOI Media Attached

Call for Papers

The ESEC/FSE 2023 Industry Track provides a venue for outstanding applied research in software engineering. Submissions are expected to have a strong focus on real-world application of software engineering techniques, tools, methods, processes, or practices. At the same time, the work should be original, demonstrating novelty in its technology, context, or approach. The industry track is soliciting submissions that cover all aspects of software engineering, so long as they have been applied in an industrial context or their relevance to such context is clearly identified and articulated in the paper.

Paper Categories

ESEC/FSE 2023 wants to make sharing industrial research as forthcoming as possible. For this reason, we provide two paper categories:

Short papers (5 pages, plus 1 page with references): Ideal for shorter contributions, tech transfer stories, experience reports, or visionary ideas.
Long papers (10 pages, plus 2 pages with references): Ideal for practice-oriented research papers or case studies.

Submissions should clearly identify the novel aspects of the approach, the industrial context in which it is applied or which it is relevant to, and the outcomes of its application (ideally supported by experimental results, especially for long papers), as well as what the audience is expected to learn.

We welcome submissions from all areas of industry and for all software engineering techniques, tools, methodologies, processes, and practices applicable at any point in the software lifecycle. Both paper types will be reviewed based on the same evaluation criteria, but short papers are expected to have a smaller set of contributions. All accepted papers will appear in the main conference proceedings. For inspiration in terms of topic, contribution, and style, consider accepted papers from previous ESEC/FSE industry tracks (e.g., 2021 and 2022).

Evaluation Criteria

All submissions will be evaluated based on significance, soundness, thoroughness of evaluation, quality of presentation, and appropriate discussion of related work. Additional key reviewing criteria for the industry track are listed below. Not all criteria are appropriate for every submission (for example, improvement on the state of the practice may be irrelevant for an experience report), and the criteria will be adjusted to fit the given type of submission.

Industrial application: The applied research or experience report has taken place in an industrial setting and/or with an industrial partner. Research on a problem relevant to industry or motivated by current and forthcoming industrial challenges is also welcome.
Improvement on the state of the practice: The amount of improvement that the work achieves above and beyond the state-of-the-practice.
Clarity of lessons learned: The clarity in which the lessons learned are presented and how well they are supported with data and discussion.
Generality of results: A clear discussion about how the work, approach, or lessons learned are applicable to practitioners outside of the studied group.

Format and Submission Procedure

At the time of submission, all papers must conform to the ESEC/FSE 2023 Format and Submission Guidelines, and must not exceed

for short papers: 5 pages for all text and figures, plus 1 page for references
for long papers: 10 pages for all text and figures plus 2 pages for references.

Submissions must be in English.

Papers must be submitted electronically as PDF files through the conference submission site at https://esecfse2023-industry.hotcrp.com.

Submissions can be double-blind, but do not have to be. We leave it up to the authors to judge whether they want to include their names, affiliation, and the company in which the work was performed.

Submitted papers must not have been published elsewhere and must not be under review or submitted for review elsewhere during the duration of consideration. Specifically, authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.

To prevent double submissions, the chairs may compare the submissions with related conferences that have overlapping review periods. The double submission restriction applies only to refereed journals and conferences, not to unrefereed pre-publication archive servers (e.g., arXiv.org). ACM plagiarism policies and procedures will be followed for cases of double submission. Submissions that do not comply with the foregoing instructions will be desk rejected without being reviewed.

In order for a paper to appear in the proceedings, at least one of the authors must register for the conference.

Important Dates

All dates are 23:59:59 AoE (UTC-12h).

Submission deadline: May 18, 2023
Author notification: July 31, 2023
Camera ready deadline: August 24, 2023

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.

Industry Track Co-Chairs

Diptikalyan Saha, IBM Research, Bangalore, India

Max Schäfer, GitHub, Oxford, United Kingdom

Questions? Use the ESEC/FSE Industry Papers contact form.

Industry PapersESEC/FSE 2023

Program Display Configuration

Tue 5 DecDisplayed time zone: Pacific Time (US & Canada) change

Wed 6 DecDisplayed time zone: Pacific Time (US & Canada) change

Thu 7 DecDisplayed time zone: Pacific Time (US & Canada) change

Accepted Papers

Call for Papers

Paper Categories

Evaluation Criteria

Format and Submission Procedure

Important Dates

Industry Track Co-Chairs

Diptikalyan SahaCo-chair

IBM Research India

Max SchaeferCo-chair

GitHub

United Kingdom

Abhishek Sharma

Veracode, Inc.

Singapore

Shivali Agarwal

IBM

India

Anastasiia Birillo

JetBrains Research

Serbia

Timofey Bryksin

JetBrains Research

Cyprus

Zhenpeng Chen

University College London

United Kingdom

Lazaro Clapp

Uber Technologies Inc

Zadia Codabux

University of Saskatchewan

Canada

Werner Dietl

University of Waterloo

Canada

Gang Fan

Ant Group

Qiang Fu

Microsoft Research, China

China

Diego Garbervetsky

University of Buenos Aires and CONICET, Argentina

Argentina

Smita Ghaisas

TCS Research

India

Neville Grech

Dedaub Limited

Malta

Tianxiao Gu

TikTok Inc.

Giovani Guizzo

Brick Abode

Brazil

Niranjan Hasabnis

Intel Labs

United States

Thong Hoang

Singapore Management University, Singapore

Singapore

Liguo Huang

Southern Methodist University

United States

Lingxiao Jiang

Singapore Management University

Singapore

Aditya Kanade

Microsoft Research India

Serkan Kirbas

Bloomberg LP

United Kingdom

Vinay Kulkarni

Tata Consultancy Services Research

India

Atul Kumar

Tue 5 Dec
Displayed time zone: Pacific Time (US & Canada) change

Wed 6 Dec
Displayed time zone: Pacific Time (US & Canada) change

Thu 7 Dec
Displayed time zone: Pacific Time (US & Canada) change