MAPS 2023
Dates to be announced
San Francisco, California, United States
co-located with
ESEC/FSE 2023
Toggle navigation
Attending
Venue: San Francisco Marriott Marquis
Program
MAPS Program
Your Program
Sun 31 Dec
Track/Call
Organization
MAPS 2023 Committees
Not available
Contributors
People Index
Search
Series
Series
MAPS 2023
MAPS 2022
MAPS 2021
MAPL 2020
MAPL 2019
MAPL 2018
MAPL 2017
Sign in
Sign up
ESEC/FSE 2023
(
series
) /
MAPS 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 13:02