Golden Gate C2 - PROMISE 2023

VenueSan Francisco Marriott Marquis

Room nameGolden Gate C2

Floor0

Room InformationNo extra information available

Program

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	Machine Learning IESEC/FSE Ideas, Visions and Reflections / ESEC/FSE Industry Papers / ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE Research Papers Maria Irina Nicolae Robert Bosch GmbH, Max Eisele Robert Bosch; Saarland University, Andreas Zeller CISPA Helmholtz Center for Information Security Media Attached

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

14:00 15m Talk		Understanding Solidity Event Logging Practices in the Wild ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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

16:00 - 18:00	Machine Learning IIESEC/FSE Research Papers / ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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? ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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

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

11:00 - 12:30	Software Evolution IIESEC/FSE Industry Papers / ESEC/FSE Research Papers / ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE Industry Papers Anes Bendimerad Infologic, Youcef REMIL INSA Lyon, INFOLOGIC, Romain Mathonat Infologic, Mehdi Kaytoue Infologic DOI Media Attached

14:00 - 15:30	Machine Learning IIIESEC/FSE Demonstrations / ESEC/FSE Industry Papers / ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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

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

16:00 15m Talk		State Merging with Quantifiers in Symbolic Execution ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE Industry Papers Yoshiki Takashima Carnegie Mellon University DOI Media Attached
16:45 15m Talk		Engineering a Formally Verified Automated Bug Finder ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE Demonstrations Chong Ye Tsinghua University, Fei He Tsinghua University Media Attached

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

11:00 - 12:30	Machine Learning IVESEC/FSE Research Papers / ESEC/FSE Ideas, Visions and Reflections / ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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

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

14:00 15m Talk		LExecutor: Learning-Guided Execution ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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? ESEC/FSE 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 ESEC/FSE 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 ESEC/FSE 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

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Golden Gate C2	ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Industry Papers + ESEC/FSE Research Papers Machine Learning I																																				ESEC/FSE Industry Papers + ESEC/FSE Research Papers + ESEC/FSE Demonstrations Software Evolution I																								ESEC/FSE Research Papers + ESEC/FSE Ideas, Visions and Reflections Machine Learning II

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Golden Gate C2	ESEC/FSE Industry Papers + ESEC/FSE Research Papers + ESEC/FSE Journal First Software Evolution II																																				ESEC/FSE Demonstrations + ESEC/FSE Industry Papers + ESEC/FSE Research Papers Machine Learning III																								ESEC/FSE Research Papers + ESEC/FSE Industry Papers + ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Demonstrations Formal Verification

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Golden Gate C2	ESEC/FSE Research Papers + ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Industry Papers Machine Learning IV																																				ESEC/FSE Research Papers + ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Journal First Machine Learning V

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Golden Gate C2	ESEC/FSE Industry Papers [Remote] Beyond Sharing: Conflict-Aware Multivariate Time Series Anomal ... 11:00 - 11:15			ESEC/FSE Research Papers Design by Contract for Deep Learning APIs 11:15 - 11:30			ESEC/FSE Ideas, Visions and Reflections Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbo ... 11:30 - 11:45			ESEC/FSE Research Papers Testing Coreference Resolution Systems without Labeled Test Sets 11:45 - 12:00			ESEC/FSE Research Papers Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lesso ... 12:00 - 12:15			ESEC/FSE Research Papers Revisiting Neural Program Smoothing for Fuzzing 12:15 - 12:30																					ESEC/FSE Research Papers Understanding Solidity Event Logging Practices in the Wild 14:00 - 14:15			ESEC/FSE Industry Papers Last Diff Analyzer: Multi-language Automated Approver for Behavior-Pres ... 14:15 - 14:30			ESEC/FSE Research Papers EvaCRC: Evaluating Code Review Comments 14:30 - 14:45			ESEC/FSE Research Papers HyperDiff: Computing Source Code Diffs at Scale 14:45 - 15:00			ESEC/FSE Demonstrations npm-follower: A Complete Dataset Tracking the NPM Ecosystem 15:00 - 15:07		ESEC/FSE Industry Papers Issue Report Validation in an Industrial Context 15:08 - 15:15	ESEC/FSE Industry Papers Dead Code Removal at Meta: Automatically Deleting Millions of Lines of ... 15:15 - 15:30									ESEC/FSE Research Papers [Remote] Compatibility Issues in Deep Learning Systems: Problems and Op ... 16:00 - 16:15			ESEC/FSE Research Papers [Remote] An Extensive Study on Adversarial Attack against Pre-trained M ... 16:15 - 16:30			ESEC/FSE Research Papers Can Machine Learning Pipelines Be Better Configured? 16:30 - 16:45			ESEC/FSE Ideas, Visions and Reflections Towards Feature-Based Analysis of the Machine Learning Development Life ... 16:45 - 17:00			ESEC/FSE Research Papers Fix Fairness, Don’t Ruin Accuracy: Performance Aware Fairness Repair us ... 17:00 - 17:15			ESEC/FSE Research Papers BiasAsker: Measuring the Bias in Conversational AI System 17:15 - 17:30			ESEC/FSE Research Papers Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Pr ... 17:30 - 17:45			ESEC/FSE Research Papers DecompoVision: Reliability Analysis of Machine Vision Components Throug ... 17:45 - 18:00

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Golden Gate C2	ESEC/FSE Research Papers Multilingual Code Co-Evolution Using Large Language Models 11:00 - 11:15			ESEC/FSE Journal First A Characterization Study of Merge Conflicts in Java Projects 11:15 - 11:30			ESEC/FSE Industry Papers Modeling the Centrality of Developer Output with Software Supply Chains 11:30 - 11:45			ESEC/FSE Research Papers Knowledge-based Version Incompatibility Detection for Deep Learning 11:45 - 12:00			ESEC/FSE Industry Papers On-Premise AIOps Infrastructure for a Software Editor SME: An Experienc ... 12:00 - 12:15																								ESEC/FSE Research Papers Benchmarking Robustness of AI-enabled Multi-sensor Fusion Systems: Chal ... 14:00 - 14:15			ESEC/FSE Demonstrations A Language Model of Java Methods with Train/Test Deduplication 14:15 - 14:22		ESEC/FSE Demonstrations DENT - A Tool for Tagging Stack Overflow Posts With Deep Learning Energ ... 14:23 - 14:30	ESEC/FSE Research Papers Automated Testing and Improvement of Named Entity Recognition Systems 14:30 - 14:45			ESEC/FSE Industry Papers KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection 14:45 - 15:00			ESEC/FSE Research Papers Deep Learning Based Feature Envy Detection Boosted by Real-World Examples 15:00 - 15:15			ESEC/FSE Research Papers [Remote] The EarlyBIRD Catches the Bug: On Exploiting Early Layers of E ... 15:15 - 15:30									ESEC/FSE Research Papers State Merging with Quantifiers in Symbolic Execution 16:00 - 16:15			ESEC/FSE Ideas, Visions and Reflections Towards Strengthening Formal Specifications with Mutation Model Checking 16:15 - 16:30			ESEC/FSE Industry Papers PropProof: Free Model-Checking Harnesses from PBT 16:30 - 16:45			ESEC/FSE Research Papers Engineering a Formally Verified Automated Bug Finder 16:45 - 17:00			ESEC/FSE Industry Papers LightF3: A Lightweight Fully-Process Formal Framework for Automated Ver ... 17:00 - 17:15			ESEC/FSE Research Papers Speeding up SMT Solving via Compiler Optimization 17:15 - 17:30			ESEC/FSE Research Papers [Remote] Detecting Atomicity Violations in Interrupt-Driven Programs vi ... 17:30 - 17:45			ESEC/FSE Demonstrations [Remote] P4b: A Translator from P4 Programs to Boogie 17:45 - 17:52

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Golden Gate C2	ESEC/FSE Research Papers Dynamic Data Fault Localization for Deep Neural Networks 11:00 - 11:15			ESEC/FSE Ideas, Visions and Reflections Assisting Static Analysis with Large Language Models: A ChatGPT Experiment 11:15 - 11:30			ESEC/FSE Research Papers Understanding the Bug Characteristics and Fix Strategies of Federated L ... 11:30 - 11:45			ESEC/FSE Industry Papers EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Lea ... 11:45 - 12:00			ESEC/FSE Research Papers Learning Program Semantics for Vulnerability Detection via Vulnerabilit ... 12:00 - 12:15			ESEC/FSE Research Papers [Remote] DeepRover: A Query-efficient Blackbox Attack for Deep Neural N ... 12:15 - 12:30																					ESEC/FSE Research Papers LExecutor: Learning-Guided Execution 14:00 - 14:15			ESEC/FSE Ideas, Visions and Reflections Deeper Notions of Correctness in Image-based DNNs: Lifting Properties f ... 14:15 - 14:30			ESEC/FSE Research Papers Software Architecture Recovery with Information Fusion 14:30 - 14:45			ESEC/FSE Journal First What Kinds of Contracts Do ML APIs Need? 14:45 - 15:00			ESEC/FSE Research Papers Evaluating Transfer Learning for Simplifying GitHub READMEs 15:00 - 15:15			ESEC/FSE Research Papers [Remote] CodeMark: Imperceptible Watermarking for Code Datasets against ... 15:15 - 15:30

Room information: Golden Gate C2

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

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

ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Industry Papers + ESEC/FSE Research Papers

ESEC/FSE Industry Papers + ESEC/FSE Research Papers + ESEC/FSE Demonstrations

ESEC/FSE Research Papers + ESEC/FSE Ideas, Visions and Reflections

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

ESEC/FSE Industry Papers + ESEC/FSE Research Papers + ESEC/FSE Journal First

ESEC/FSE Demonstrations + ESEC/FSE Industry Papers + ESEC/FSE Research Papers

ESEC/FSE Research Papers + ESEC/FSE Industry Papers + ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Demonstrations

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

ESEC/FSE Research Papers + ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Industry Papers

ESEC/FSE Research Papers + ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Journal First

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

Tracks

Room information: Golden Gate C2

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

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

ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Industry Papers + ESEC/FSE Research Papers

ESEC/FSE Industry Papers + ESEC/FSE Research Papers + ESEC/FSE Demonstrations

ESEC/FSE Research Papers + ESEC/FSE Ideas, Visions and Reflections

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

ESEC/FSE Industry Papers + ESEC/FSE Research Papers + ESEC/FSE Journal First

ESEC/FSE Demonstrations + ESEC/FSE Industry Papers + ESEC/FSE Research Papers

ESEC/FSE Research Papers + ESEC/FSE Industry Papers + ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Demonstrations

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

ESEC/FSE Research Papers + ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Industry Papers

ESEC/FSE Research Papers + ESEC/FSE Ideas, Visions and Reflections + ESEC/FSE Journal First

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

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

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

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