[virtual] QP4SE 2023
Mon 4 Dec 2023
San Francisco, California, United States
co-located with
ESEC/FSE 2023
Toggle navigation
Attending
Venue: San Francisco Marriott Marquis
Program
[virtual] QP4SE Program
Your Program
Mon 4 Dec
Track/Call
Organization
[virtual] QP4SE 2023 Committees
Not available
Contributors
People Index
Search
Series
Series
[virtual] QP4SE 2023
QP4SE 2022
Sign in
Sign up
ESEC/FSE 2023
(
series
) /
[virtual] QP4SE 2023 (
series
) /
San Francisco Marriott Marquis
/
Room information: Golden Gate C2
Venue
San Francisco Marriott Marquis
Room name
Golden Gate C2
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 I
ESEC/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 I
ESEC/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 II
ESEC/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 II
ESEC/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 III
ESEC/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 Verification
ESEC/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 IV
ESEC/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 V
ESEC/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
x
Thu 21 Nov 20:06