SSBSE 2023
Fri 8 Dec 2023
San Francisco, California, United States
co-located with
ESEC/FSE 2023
Toggle navigation
Attending
Venue: San Francisco Marriott Marquis
SSBSE Registration
Sponsorship
Program
Complete Program
Your Program
Fri 8 Dec
Tracks
SSBSE 2023
Research Papers
Hot off the Press
Keynote
RENE / NIER
Challenge Track
Organization
SSBSE 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Hot off the Press
RENE / NIER
Challenge Track
Contributors
People Index
Search
Series
Series
SSBSE 2024
SSBSE 2023
SSBSE 2022
SSBSE 2021
Sign in
Sign up
ESEC/FSE 2023
(
series
) /
SSBSE 2023
(
series
) /
San Francisco Marriott Marquis
/
Room information: Golden Gate C3
Venue
San Francisco Marriott Marquis
Room name
Golden Gate C3
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
Automated Repair I
ESEC/FSE Research Papers
/
ESEC/FSE Industry Papers
at
Golden Gate C3
Chair(s):
Shin Hwei Tan
Concordia University
11:00
15m
Talk
RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair
ESEC/FSE Research Papers
Weishi Wang
Nanyang Technological University
,
Yue Wang
Salesforce Research
,
Shafiq Joty
Salesforce Research
,
Steven C.H. Hoi
Salesforce Research Asia
Media Attached
11:15
15m
Talk
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings
ESEC/FSE Research Papers
Akshay Utture
Uber Technologies Inc.
,
Jens Palsberg
University of California, Los Angeles (UCLA)
Pre-print
Media Attached
11:30
15m
Talk
InferFix: End-to-End Program Repair with LLMs
ESEC/FSE Industry Papers
Matthew Jin
,
Syed Shahriar
University of California at Los Angeles
,
Michele Tufano
Microsoft
,
Xin Shi
Microsoft Corporation
,
Shuai Lu
Microsoft Research
,
Neel Sundaresan
Microsoft
,
Alexey Svyatkovskiy
Microsoft
DOI
11:45
15m
Research paper
Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair
ESEC/FSE Research Papers
Yuxiang Wei
University of Illinois at Urbana-Champaign
,
Chunqiu Steven Xia
University of Illinois at Urbana-Champaign
,
Lingming Zhang
University of Illinois at Urbana-Champaign
Pre-print
Media Attached
12:00
15m
Talk
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models
ESEC/FSE Research Papers
Sunbeom So
Korea University
,
Hakjoo Oh
Korea University
Media Attached
12:15
15m
Talk
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints
ESEC/FSE Research Papers
Huiyan Wang
Nanjing University
,
Shuguan Liu
Nanjing University
,
Lingyu Zhang
Nanjing University
,
Chang Xu
Nanjing University
Media Attached
14:00 - 15:30
Program Analysis I
ESEC/FSE Research Papers
/
ESEC/FSE Demonstrations
/
ESEC/FSE Industry Papers
at
Golden Gate C3
Chair(s):
Michael Pradel
University of Stuttgart
14:00
15m
Talk
An Automated Approach to Extracting Local Variables
ESEC/FSE Research Papers
Xiaye Chi
Beijing Institute of Technology
,
Hui Liu
Beijing Institute of Technology
,
Guangjie Li
National Innovation Institute of Defense Technology
,
Weixiao Wang
Beijing Institute of Technology
,
Yunni Xia
Chongqing University
,
Yanjie Jiang
Peking University
,
Yuxia Zhang
Beijing Institute of Technology
,
Weixing Ji
Beijing Institute of Technology
Media Attached
14:15
15m
Talk
Incrementalizing Production CodeQL Analyses
ESEC/FSE Industry Papers
Tamás Szabó
GitHub Next
DOI
Media Attached
14:30
15m
Talk
Statistical Reachability Analysis
ESEC/FSE Research Papers
Seongmin Lee
Max Planck Institute for Security and Privacy (MPI-SP)
,
Marcel Böhme
Max Planck Institute for Security and Privacy
Media Attached
14:45
15m
Talk
PPR: Pairwise Program Reduction
ESEC/FSE Research Papers
Mengxiao Zhang
University of Waterloo
,
Zhenyang Xu
University of Waterloo
,
Yongqiang Tian
The Hong Kong University of Science and Technology; University of Waterloo
,
Yu Jiang
Tsinghua University
,
Chengnian Sun
University of Waterloo
Media Attached
15:00
15m
Talk
When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance
ESEC/FSE Research Papers
Alan Romano
University of Southern California
,
Weihang Wang
University of Southern California
Pre-print
Media Attached
15:15
7m
Talk
Ad Hoc Syntax-Guided Program Reduction
ESEC/FSE Demonstrations
Jia Le Tian
University of Waterloo
,
Mengxiao Zhang
University of Waterloo
,
Zhenyang Xu
University of Waterloo
,
Yongqiang Tian
The Hong Kong University of Science and Technology; University of Waterloo
,
Yiwen Dong
,
Chengnian Sun
University of Waterloo
Media Attached
16:00 - 18:00
Fault Diagnosis and Root Cause Analysis I
ESEC/FSE Research Papers
/
ESEC/FSE Journal First
/
ESEC/FSE Industry Papers
at
Golden Gate C3
Chair(s):
Akond Rahman
Auburn University
16:00
15m
Talk
[Remote] Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-Modal Observability Data
ESEC/FSE Research Papers
Guangba Yu
Sun Yat-Sen University
,
Pengfei Chen
Sun Yat-Sen University
,
Yufeng Li
Sun Yat-sen University
,
Hongyang Chen
School of Computer Science and Engineering, Sun Yat-sen University
,
Xiaoyun Li
Sun Yat-sen University
,
Zibin Zheng
Sun Yat-sen University
Pre-print
16:15
15m
Full-paper
[Remote] DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems
ESEC/FSE Research Papers
Zhiming Chen
Sun Yat-sen University
,
Pengfei Chen
Sun Yat-Sen University
,
Guangba Yu
Sun Yat-Sen University
,
Zilong He
Sun Yat-Sen University
,
Genting Mai
Sun Yat-sen University
,
Peipei Wang
ByteDance Infrastructure System Lab
Pre-print
Media Attached
16:30
15m
Talk
[Remote] Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization
ESEC/FSE Research Papers
Yali Du
Shandong University
,
Zhongxing Yu
Shandong University
Media Attached
16:45
15m
Talk
[Remote] A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction
ESEC/FSE Research Papers
Liyan Song
Southern University of Science and Technology, China
,
Leandro Minku
University of Birmingham
,
Cong Teng
Southern University of Science and Technology
,
Xin Yao
Southern University of Science and Technology
Pre-print
Media Attached
17:00
15m
Talk
Trace Diagnostics for Signal-Based Temporal Properties
ESEC/FSE Journal First
Chaima Boufaied
University of Ottawa
,
Claudio Menghi
University of Bergamo; McMaster University
,
Domenico Bianculli
University of Luxembourg
,
Lionel Briand
University of Ottawa, Canada / University of Luxembourg, Luxembourg
Media Attached
17:15
15m
Talk
TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems
ESEC/FSE Industry Papers
Ruomeng Ding
Microsoft
,
Chaoyun Zhang
Microsoft
,
Lu Wang
Microsoft Research
,
Yong Xu
Microsoft Research
,
Minghua Ma
Microsoft Research
,
Xiaomin Wu
Microsoft
,
Meng Zhang
,
Qingjun Chen
Microsoft 365
,
Xin Gao
Microsoft 365
,
Xuedong Gao
Microsoft 365
,
Hao Fan
,
Saravan Rajmohan
Microsoft 365
,
Qingwei Lin
Microsoft
,
Dongmei Zhang
Microsoft Research
DOI
Media Attached
17:30
15m
Talk
Triggering Modes in Spectrum-Based Multi-location Fault Localization
ESEC/FSE Industry Papers
Tung Dao
Cvent
,
Na Meng
Virginia Tech
,
ThanhVu Nguyen
George Mason University
DOI
Media Attached
17:45
15m
Talk
Automata-based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android
ESEC/FSE Research Papers
Enze Ma
East China Normal University
,
Shan Huang
East China Normal University
,
weigang he
East China Normal University
,
Ting Su
East China Normal University
,
Jue Wang
Nanjing University
,
Huiyu Liu
East China Normal University
,
Geguang Pu
East China Normal University
,
Zhendong Su
ETH Zurich
Media Attached
Wed 6 Dec
Displayed time zone:
Pacific Time (US & Canada)
change
11:00 - 12:30
Program Analysis II
ESEC/FSE Research Papers
/
ESEC/FSE Journal First
at
Golden Gate C3
Chair(s):
Nico Rosner
Amazon Web Services
11:00
15m
Talk
[Remote] OOM-Guard: Towards Improving The Ergonomics of Rust OOM Handling via A Reservation-based Approach
ESEC/FSE Research Papers
Chengjun Chen
Fudan University; Ant Group
,
Zhicong Zhang
Fudan University
,
Hongliang Tian
Ant Group
,
Shoumeng Yan
Ant Group
,
Hui Xu
Fudan University
Media Attached
11:15
15m
Talk
[Remote] DeepInfer: Deep Type Inference from Smart Contract Bytecode
ESEC/FSE Research Papers
Kunsong Zhao
The Hong Kong Polytechnic University
,
Zihao Li
The Hong Kong Polytechnic Universituy
,
Jianfeng Li
Xi’an Jiaotong University
,
He Ye
KTH Royal Institute of Technology
,
Xiapu Luo
Hong Kong Polytechnic University
,
Ting Chen
University of Electronic Science and Technology of China
Media Attached
11:30
15m
Talk
Statistical Type Inference for Incomplete Programs
ESEC/FSE Research Papers
Yaohui Peng
School of Computer Science, Wuhan University
,
Jing Xie
School of Computer Science, Wuhan University
,
Qiongling Yang
School of Computer Science, Wuhan University
,
Hanwen Guo
School of Computer Science, Wuhan University
,
Qingan Li
School of Computer Science, Wuhan University
,
Jingling Xue
School of Computer Science and Engineering, UNSW Sydney
,
YUAN Mengting
School of Computer Science, Wuhan University, Wuhan, China
Media Attached
11:45
15m
Talk
Demystifying Hidden Sensitive Operations in Android apps
ESEC/FSE Journal First
Xiaoyu Sun
Australian National University, Australia
,
Xiao Chen
Monash University
,
Li Li
Beihang University
,
Haipeng Cai
Washington State University
,
John Grundy
Monash University
,
Jordan Samhi
University of Luxembourg
,
Tegawendé F. Bissyandé
University of Luxembourg
,
Jacques Klein
University of Luxembourg
Media Attached
12:00
15m
Talk
DeMinify: Neural Variable Name Recovery and Type Inference
ESEC/FSE Research Papers
Yi Li
New Jersey Institute of Technology
,
Aashish Yadavally
The University of Texas at Dallas
,
Jiaxing Zhang
New Jersey Institute of Technology
,
Shaohua Wang
Central University of Finance and Economics
,
Tien N. Nguyen
University of Texas at Dallas
Media Attached
14:00 - 15:30
Security I
ESEC/FSE Research Papers
/
ESEC/FSE Demonstrations
/
ESEC/FSE Journal First
at
Golden Gate C3
Chair(s):
Abhik Roychoudhury
National University of Singapore
14:00
15m
Talk
Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study
ESEC/FSE Journal First
Goran Piskachev
Amazon Web Services
,
Matthias Becker
Fraunhofer IEM
,
Eric Bodden
University of Paderborn
Media Attached
14:15
15m
Talk
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects
ESEC/FSE Research Papers
Lida Zhao
Singapore Management University, Singapore
,
Sen Chen
College of Intelligence and Computing, Tianjin University
,
Zhengzi Xu
Nanyang Technological University
,
Chengwei Liu
Nanyang Technological University
,
Lyuye Zhang
Nanyang Technological University
,
Wu Jiahui
Nanyang Technological University
,
Jun Sun
Singapore Management University
,
Yang Liu
Nanyang Technological University
Media Attached
14:30
15m
Talk
Input-driven Dynamic Program Debloating for Code-reuse Attack Mitigation
ESEC/FSE Research Papers
Xiaoke Wang
Wuhan University
,
Tao Hui
Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University
,
Lei Zhao
Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University
,
Yueqiang Cheng
NIO
DOI
Pre-print
Media Attached
14:45
7m
Talk
MASC: A Tool for Mutation-based Evaluation of Static Crypto-API Misuse Detectors
ESEC/FSE Demonstrations
Amit Seal Ami
William & Mary
,
Syed Yusuf Ahmed
University of Dhaka
,
Radowan Mahmud Redoy
University of Dhaka
,
Nathan Cooper
William & Mary
,
Kaushal Kafle
College of William & Mary
,
Kevin Moran
University of Central Florida
,
Denys Poshyvanyk
William & Mary
,
Adwait Nadkarni
William & Mary
Media Attached
14:53
7m
Talk
[Remote] llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs
ESEC/FSE Demonstrations
Ruiling Chen
Shenzhen University
,
Jiaxiang Liu
Shenzhen University
,
Xiaomu Shi
Institute of Software, Chinese Academy of Sciences
,
Ming-Hsien Tsai
National Institute of Cyber Security
,
Bow-Yaw Wang
,
Bo-Yin Yang
Academia Sinica
Media Attached
15:00
15m
Talk
[Remote] Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java
ESEC/FSE Research Papers
Kaixuan Li
East China Normal University
,
Sen Chen
College of Intelligence and Computing, Tianjin University
,
Lingling Fan
College of Cyber Science, Nankai University
,
Ruitao Feng
University of New South Wales
,
Han Liu
East China Normal University
,
Chengwei Liu
Nanyang Technological University
,
Yang Liu
Nanyang Technological University
,
Yixiang Chen
East China Normal University
Pre-print
Media Attached
15:15
15m
Talk
[Remote] TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts
ESEC/FSE Research Papers
Chenyang Ma
Nanjing University of Science and Technology
,
Wei Song
Nanjing University of Science and Technology
,
Jeff Huang
Texas A&M University
DOI
Pre-print
Media Attached
16:00 - 18:00
Automated Repair II
ESEC/FSE Journal First
/
ESEC/FSE Research Papers
at
Golden Gate C3
Chair(s):
Luciano Baresi
Politecnico di Milano
16:00
15m
Talk
A Large-scale Empirical Review of Patch Correctness Checking Approaches
ESEC/FSE Research Papers
Jun Yang
UIUC
,
Yuehan Wang
University of Illinois at Urbana-Champaign
,
Yiling Lou
Fudan University
,
Ming Wen
Huazhong University of Science and Technology
,
Lingming Zhang
University of Illinois at Urbana-Champaign
Media Attached
16:15
15m
Talk
Program Repair Guided by Datalog-Defined Static Analysis
ESEC/FSE Research Papers
Yu Liu
Beijing University of Technology
,
Sergey Mechtaev
University College London
,
Pavle Subotic
Microsoft
,
Abhik Roychoudhury
National University of Singapore
Media Attached
16:30
15m
Talk
SynShine: Improved Fixing of Syntax Errors
ESEC/FSE Journal First
Toufique Ahmed
University of California at Davis
,
Noah Rose Ledesma
UC Davis
,
Prem Devanbu
University of California at Davis
Media Attached
16:45
15m
Talk
Baldur: Whole-Proof Generation and Repair with Large Language Models
ESEC/FSE Research Papers
Emily First
University of California, San Diego
,
Markus Rabe
Google
,
Talia Ringer
University of Illinois at Urbana-Champaign
,
Yuriy Brun
University of Massachusetts
Media Attached
17:00
15m
Talk
KG4CraSolver: Recommending Crash Solutions via Knowledge Graph
ESEC/FSE Research Papers
Xueying Du
Fudan University
,
Yiling Lou
Fudan University
,
Mingwei Liu
Fudan University
,
Xin Peng
Fudan University
,
Tianyong Yang
Fudan University
Pre-print
Media Attached
17:15
15m
Talk
[Remote] Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps
ESEC/FSE Research Papers
Yuxin Zhang
Tianjin University
,
Sen Chen
College of Intelligence and Computing, Tianjin University
,
Lingling Fan
College of Cyber Science, Nankai University
,
Chunyang Chen
Monash University
,
Xiaohong Li
Tianjin University
Media Attached
17:30
15m
Talk
[Remote] Semantic Test Repair for Web applications
ESEC/FSE Research Papers
Xiaofang Qi
School of Computer Science and Engineering, Southeast University
,
Xiang Qian
School of Computer Science and Engineering, Southeast University
,
Yanhui Li
Nanjing University
Media Attached
Thu 7 Dec
Displayed time zone:
Pacific Time (US & Canada)
change
11:00 - 12:30
Program Analysis III
ESEC/FSE Demonstrations
/
ESEC/FSE Research Papers
/
ESEC/FSE Industry Papers
at
Golden Gate C3
Chair(s):
Marsha Chechik
University of Toronto
11:00
15m
Talk
Practical Inference of Nullability Types
ESEC/FSE Research Papers
Nima Karimipour
University of California, Riverside
,
Justin Pham
University of California, Riverside
,
Lazaro Clapp
Uber Technologies Inc
,
Manu Sridharan
University of California at Riverside
Media Attached
11:15
15m
Talk
LibKit: Detecting Third-Party Libraries in iOS Apps
ESEC/FSE Research Papers
Daniel Dominguez Alvarez
University of Verona and IMDEA Software Institute
,
Alejandro de la Cruz
IMDEA Software Institute
,
Alessandra Gorla
IMDEA Software Institute
,
Juan Caballero
IMDEA Software Institute
Media Attached
11:30
15m
Talk
Compositional Taint Analysis for Enforcing Security Policies at Scale
ESEC/FSE Industry Papers
Subarno Banerjee
Amazon Web Services
,
Siwei Cui
Texas A & M University
,
Michael Emmi
Amazon Web Services
,
Antonio Filieri
Amazon Web Services
,
Liana Hadarean
Amazon Web Services
,
Peixuan Li
Amazon Web Services
,
Linghui Luo
Amazon Web Services
,
Goran Piskachev
Amazon Web Services
,
Nico Rosner
Amazon Web Services
,
Aritra Sengupta
Amazon Web Services
,
Omer Tripp
Amazon
,
Jingbo Wang
University of Southern California
DOI
Media Attached
11:45
15m
Talk
FunProbe: Probing Functions from Binary Code through Probabilistic Analysis
ESEC/FSE Research Papers
Soomin Kim
KAIST
,
Hyungseok Kim
The Affiliated Institute of ETRI
,
Sang Kil Cha
KAIST, South Korea
Media Attached
12:00
15m
Talk
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework
ESEC/FSE Research Papers
Zewen Sun
Nanjing University
,
Duanchen Xu
Nanjing University
,
Yiyu Zhang
Nanjing University
,
Yun Qi
Nanjing University
,
Yueyang Wang
Nanjing University
,
Zhiqiang Zuo
Nanjing University
,
Zhaokang Wang
Nanjing University
,
Yue Li
Nanjing University
,
Xuandong Li
Nanjing University
,
Qingda Lu
Alibaba Group
,
Wenwen Peng
Alibaba Group
,
Shengjian (Daniel) Guo
Baidu Security
Media Attached
12:15
7m
Talk
CONAN: Statically Detecting Connectivity Issues in Android Applications
ESEC/FSE Demonstrations
Alejandro Mazuera-Rozo
Universita della Svizzera italiana, Lugano, Switzerland and Universidad de los Andes, Colombia
,
Camilo Escobar-Velásquez
Universidad de los Andes
,
Juan Espitia-Acero
Universidad de los Andes, Colombia
,
Mario Linares-Vásquez
Universidad de los Andes
,
Gabriele Bavota
Software Institute, USI Università della Svizzera italiana
Media Attached
14:00 - 15:30
Security II
ESEC/FSE Research Papers
/
ESEC/FSE Journal First
at
Golden Gate C3
Chair(s):
Caroline Lemieux
University of British Columbia
14:00
15m
Talk
Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors
ESEC/FSE Research Papers
Ruoxi Sun
CSIRO's Data61
,
Jason Minhui Xue
CSIRO’s Data61
,
Gareth Tyson
Hong Kong University of Science and Technology
,
Tian Dong
Shanghai Jiao Tong University
,
Shaofeng Li
Shanghai Jiao Tong University
,
Shuo Wang
CSIRO's Data61
,
Haojin Zhu
Shanghai Jiao Tong University
,
Seyit Camtepe
CSIRO Data61
,
Surya Nepal
CSIRO’s Data61
Media Attached
14:15
15m
Talk
Security Misconfigurations in Open Source Kubernetes Manifests: An Empirical Study
ESEC/FSE Journal First
Akond Rahman
Auburn University, USA
,
Shazibul Islam Shamim
Auburn University
,
Dibyendu Brinto Bose
Virginia Tech
,
Rahul Pandita
GitHub, Inc.
Media Attached
14:30
15m
Talk
Crystallizer: A Hybrid Path Analysis Framework To Aid in Uncovering Deserialization Vulnerabilities
ESEC/FSE Research Papers
Prashast Srivastava
Columbia University, USA
,
Flavio Toffalini
EPFL
,
Kostyantyn Vorobyov
Oracle Labs, Australia
,
François Gauthier
Oracle Labs
,
Antonio Bianchi
Purdue University
,
Mathias Payer
EPFL
Media Attached
14:45
15m
Talk
Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
ESEC/FSE Journal First
Zimin Chen
KTH Royal Institute of Technology
,
Steve Kommrusch
Leela AI
,
Martin Monperrus
KTH Royal Institute of Technology
Media Attached
15:00
15m
Talk
ViaLin: Path-Aware Dynamic Taint Analysis for Android
ESEC/FSE Research Papers
Khaled Ahmed
University of British Columbia (UBC)
,
Yingying Wang
University of British Columbia
,
Mieszko Lis
The University of British Columbia, Canada
,
Julia Rubin
University of British Columbia, Canada
Media Attached
15:15
15m
Talk
[Remote] Distinguishing Look-Alike Innocent and Vulnerable Code by Subtle Semantic Representation Learning and Explanation
ESEC/FSE Research Papers
Chao Ni
School of Software Technology, Zhejiang University
,
Xin Yin
The State Key Laboratory of Blockchain and Data Security, Zhejiang University
,
Kaiwen Yang
College of Computer Science and Technology, Zhejiang University
,
Dehai Zhao
Australian National University, Australia
,
Zhenchang Xing
Data61
,
Xin Xia
Huawei Technologies
Media Attached
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 C3
ESEC/FSE Research Papers + ESEC/FSE Industry Papers
Automated Repair I
ESEC/FSE Research Papers + ESEC/FSE Demonstrations + ESEC/FSE Industry Papers
Program Analysis I
ESEC/FSE Research Papers + ESEC/FSE Journal First + ESEC/FSE Industry Papers
Fault Diagnosis and Root Cause Analysis I
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 C3
ESEC/FSE Research Papers + ESEC/FSE Journal First
Program Analysis II
ESEC/FSE Research Papers + ESEC/FSE Demonstrations + ESEC/FSE Journal First
Security I
ESEC/FSE Journal First + ESEC/FSE Research Papers
Automated Repair II
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 C3
ESEC/FSE Demonstrations + ESEC/FSE Research Papers + ESEC/FSE Industry Papers
Program Analysis III
ESEC/FSE Research Papers + ESEC/FSE Journal First
Security II
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 C3
ESEC/FSE Research Papers
RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic ...
11:00 - 11:15
ESEC/FSE Research Papers
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings
11:15 - 11:30
ESEC/FSE Industry Papers
InferFix: End-to-End Program Repair with LLMs
11:30 - 11:45
ESEC/FSE Research Papers
Copiloting the Copilots: Fusing Large Language Models with Completion E ...
11:45 - 12:00
ESEC/FSE Research Papers
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-an ...
12:00 - 12:15
ESEC/FSE Research Papers
Automatically Resolving Dependency-Conflict Building Failures via Behav ...
12:15 - 12:30
ESEC/FSE Research Papers
An Automated Approach to Extracting Local Variables
14:00 - 14:15
ESEC/FSE Industry Papers
Incrementalizing Production CodeQL Analyses
14:15 - 14:30
ESEC/FSE Research Papers
Statistical Reachability Analysis
14:30 - 14:45
ESEC/FSE Research Papers
PPR: Pairwise Program Reduction
14:45 - 15:00
ESEC/FSE Research Papers
When Function Inlining Meets WebAssembly: Counterintuitive Impacts on R ...
15:00 - 15:15
ESEC/FSE Demonstrations
Ad Hoc Syntax-Guided Program Reduction
15:15 - 15:22
ESEC/FSE Research Papers
[Remote] Nezha: Interpretable Fine-Grained Root Causes Analysis for Mic ...
16:00 - 16:15
ESEC/FSE Research Papers
[Remote] DiagConfig: Configuration Diagnosis of Performance Violations ...
16:15 - 16:30
ESEC/FSE Research Papers
[Remote] Pre-training Code Representation with Semantic Flow Graph for ...
16:30 - 16:45
ESEC/FSE Research Papers
[Remote] A Practical Human Labeling Method for Online Just-in-Time Soft ...
16:45 - 17:00
ESEC/FSE Journal First
Trace Diagnostics for Signal-Based Temporal Properties
17:00 - 17:15
ESEC/FSE Industry Papers
TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis o ...
17:15 - 17:30
ESEC/FSE Industry Papers
Triggering Modes in Spectrum-Based Multi-location Fault Localization
17:30 - 17:45
ESEC/FSE Research Papers
Automata-based Trace Analysis for Aiding Diagnosing GUI Testing Tools f ...
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 C3
ESEC/FSE Research Papers
[Remote] OOM-Guard: Towards Improving The Ergonomics of Rust OOM Handli ...
11:00 - 11:15
ESEC/FSE Research Papers
[Remote] DeepInfer: Deep Type Inference from Smart Contract Bytecode
11:15 - 11:30
ESEC/FSE Research Papers
Statistical Type Inference for Incomplete Programs
11:30 - 11:45
ESEC/FSE Journal First
Demystifying Hidden Sensitive Operations in Android apps
11:45 - 12:00
ESEC/FSE Research Papers
DeMinify: Neural Variable Name Recovery and Type Inference
12:00 - 12:15
ESEC/FSE Journal First
Can the configuration of static analyses make resolving security vulner ...
14:00 - 14:15
ESEC/FSE Research Papers
Software Composition Analysis for Vulnerability Detection: An Empirical ...
14:15 - 14:30
ESEC/FSE Research Papers
Input-driven Dynamic Program Debloating for Code-reuse Attack Mitigation
14:30 - 14:45
ESEC/FSE Demonstrations
MASC: A Tool for Mutation-based Evaluation of Static Crypto-API Misuse ...
14:45 - 14:52
ESEC/FSE Demonstrations
[Remote] llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs
14:53 - 15:00
ESEC/FSE Research Papers
[Remote] Comparison and Evaluation on Static Application Security Testi ...
15:00 - 15:15
ESEC/FSE Research Papers
[Remote] TransRacer: Function Dependence-Guided Transaction Race Detect ...
15:15 - 15:30
ESEC/FSE Research Papers
A Large-scale Empirical Review of Patch Correctness Checking Approaches
16:00 - 16:15
ESEC/FSE Research Papers
Program Repair Guided by Datalog-Defined Static Analysis
16:15 - 16:30
ESEC/FSE Journal First
SynShine: Improved Fixing of Syntax Errors
16:30 - 16:45
ESEC/FSE Research Papers
Baldur: Whole-Proof Generation and Repair with Large Language Models
16:45 - 17:00
ESEC/FSE Research Papers
KG4CraSolver: Recommending Crash Solutions via Knowledge Graph
17:00 - 17:15
ESEC/FSE Research Papers
[Remote] Automated and Context-Aware Repair of Color-Related Accessibil ...
17:15 - 17:30
ESEC/FSE Research Papers
[Remote] Semantic Test Repair for Web applications
17:30 - 17:45
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 C3
ESEC/FSE Research Papers
Practical Inference of Nullability Types
11:00 - 11:15
ESEC/FSE Research Papers
LibKit: Detecting Third-Party Libraries in iOS Apps
11:15 - 11:30
ESEC/FSE Industry Papers
Compositional Taint Analysis for Enforcing Security Policies at Scale
11:30 - 11:45
ESEC/FSE Research Papers
FunProbe: Probing Functions from Binary Code through Probabilistic Analysis
11:45 - 12:00
ESEC/FSE Research Papers
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework
12:00 - 12:15
ESEC/FSE Demonstrations
CONAN: Statically Detecting Connectivity Issues in Android Applications
12:15 - 12:22
ESEC/FSE Research Papers
Mate! Are You Really Aware? An Explainability-Guided Testing Framework ...
14:00 - 14:15
ESEC/FSE Journal First
Security Misconfigurations in Open Source Kubernetes Manifests: An Empi ...
14:15 - 14:30
ESEC/FSE Research Papers
Crystallizer: A Hybrid Path Analysis Framework To Aid in Uncovering Des ...
14:30 - 14:45
ESEC/FSE Journal First
Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
14:45 - 15:00
ESEC/FSE Research Papers
ViaLin: Path-Aware Dynamic Taint Analysis for Android
15:00 - 15:15
ESEC/FSE Research Papers
[Remote] Distinguishing Look-Alike Innocent and Vulnerable Code by Subt ...
15:15 - 15:30
x
Tue 8 Oct 20:55