Internetware 2024
Wed 24 - Fri 26 July 2024 Macau, China
VenueWynn Palace
Room nameMain Conference Room
Floor1
Room InformationNo extra information available
Program

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

Wed 24 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

08:30 - 09:00
08:30
30m
Day opening
Opening
Research Track

09:00 - 10:00
09:00
60m
Keynote
Keynote 1: Advances in Language-Based Testing
Research Track
Andreas Zeller CISPA Helmholtz Center for Information Security
Pre-print
11:00 - 11:20
11:20 - 12:35
Session 1: AI for Software EngineeringResearch Track / Tool Demonstration Track / New Idea Track at Main Conference Room
Chair(s): Yongqiang Tian The Hong Kong University of Science and Technology
11:20
15m
Full-paper
An Empirical Study on Code Search Pre-trained Models: Academic Progresses vs. Industry Requirements
Research Track
Kuo Chi , Chuanyi Li Nanjing University, Jidong Ge Nanjing University, Bin Luo Nanjing University
11:35
15m
Full-paper
CRABS-former: Cross-Architecture Binary Code Similarity Detection based on Transformer
Research Track
Yuhong Feng Shenzhen University, Haoran Li Shenzhen University, Yixuan Cao ShenZhen University, Yufeng Wang ShenZhen University, Haiyue Feng College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China
11:50
15m
Full-paper
On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference
Research Track
Senrong Xu , Jiamei Shen , Yunfang Li , Yuan Yao Nanjing University, Ping Yu , Feng Xu Nanjing University, Xiaoxing Ma Nanjing University
12:05
15m
Full-paper
An Exploratory Evaluation of Large Language Models Using Empirical Software Engineering Tasks
Research Track
Wenjun Liang Nanjing University of Aeronautics and Astronautics, China, Guanping Xiao Nanjing University of Aeronautics and Astronautics
12:20
15m
Full-paper
LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair
Research Track
Xingpeng Liu , Hengzhu Liu , Xiaodong Yi , Ji Wang School of Computer, National University of Defense Technology, China
12:35 - 14:30
14:30 - 15:30
14:30
60m
Keynote
Keynote 3 : Edge GenAI: Pioneering the Next Phase of AI Evolution
Research Track
Hongxia Yang The Hong Kong Polytechnic University
15:30 - 15:50
15:50 - 16:50
Session 2: Software Testing and Quality AssuranceResearch Track / New Idea Track at Main Conference Room
Chair(s): Yepang Liu Southern University of Science and Technology
15:50
15m
Full-paper
Repairing Obsolete GUI Test Scripts for Android Applications with Exploration and Backtracking
Research Track
Ruihua Ji Nanjing University, Zhengxuan Qian , Zhong Li , Xiaoqing Zhu Nanjing University, Yu Pei The Hong Kong Polytechnic University, Minxue Pan Nanjing University, Tian Zhang Nanjing University
16:05
15m
Full-paper
Optimizing Search-Based Unit Test Generation with Large Language Models: An Empirical Study
Research Track
Danni Xiao , Yimeng Guo Nanjing University, Yanhui Li Nanjing University, Lin Chen Nanjing University
16:20
15m
Short-paper
LIReDroid: LLM-Enhanced Test Case Generation for Static Sensitive Behavior Replication
New Idea Track
Yin Wang , Ming Fan Xi'an Jiaotong University, Xicheng Zhang , Jifei Shi , Zhaoyu Qiu , Haijun Wang Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
16:35
15m
Full-paper
ObjTest: Object-Level Mutation for Testing Object Detection Systems
Research Track
Zixi Liu Nanjing University, Yang Feng Nanjing University, Jiali Xu , Baowen Xu
16:50 - 18:05
Session 3: Software Vulnerability and SecurityResearch Track at Main Conference Room
Chair(s): Cuiyun Gao Harbin Institute of Technology
16:50
15m
Full-paper
Inside Bug Report Templates: An Empirical Study on Bug Report Templates in Open-Source Software
Research Track
Junwei Zhang Zhejiang University, Zhongxin Liu Zhejiang University, Lingfeng Bao Zhejiang University, Zhenchang Xing CSIRO’s Data61; Australian National University, Xing Hu Zhejiang University, Xin Xia Huawei Technologies
17:05
15m
Full-paper
MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention
Research Track
Cheng Weng , Yihao Qin , Bo Lin National University of Defense Technology, Pei Liu , Liqian Chen National University of Defense Technology, China
17:20
15m
Full-paper
Enhancing Deep Learning Vulnerability Detection through Imbalance Loss Functions: An Empirical Study
Research Track
Yanzhong He Wuhan University of Technology, Guancheng Lin , Xiaoxue Ma City University of Hong Kong, Jacky Keung City University of Hong Kong, Cheng Tan Wuhan University of Technology, Wenhua Hu , Fuyang Li Wuhan University of Technology
17:35
15m
Full-paper
DFEPT: Data Flow Embedding for Enhancing Pre-Trained Model Based Vulnerability Detection
Research Track
17:50
15m
Full-paper
T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach
Research Track
Pei Liu , Bo Lin National University of Defense Technology, Yihao Qin National University of Defense Technology, Cheng Weng , Liqian Chen National University of Defense Technology, China

Thu 25 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00
Session 4: Code Analysis and OptimizationResearch Track / New Idea Track at Main Conference Room
Chair(s): Yanlin Wang Sun Yat-sen University
09:00
15m
Full-paper
Structure-Sensitive Pointer Analysis for Multi-structure Objects
Research Track
Xun An Institute of Information Engineering, Chinese Academy of Sciences, Xiaoqi Jia Institute of Information Engineering, Chinese Academy of Sciences, Haichao Du Institute of Information Engineering, Chinese Academy of Sciences, Yamin Xie
09:15
15m
Short-paper
Path Exploration Strategy for Symbolic Execution based on Multi-strategy Active Learning
New Idea Track
09:30
15m
Full-paper
Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation
Research Track
Junwei Zeng Nanjing University of Aeronautics and Astronautics, Yixuan Tang Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Weiwei Li , Zhiqiu Huang Nanjing University of Aeronautics and Astronautics
09:45
15m
Full-paper
Accelerating Static Null Pointer Dereference Detection with Parallel Computing
Research Track
Runlin Xu National University of Defense Technology, Xiaoguang Mao National University of Defense Technology, Haifang Zhou National University of Defense Technology, Luohui Chen National University of Defense Technology, Ruyi Zhang , Yuanliang Zhang , Wei Xiao
10:00 - 11:00
Session 5: Software Modeling and DevelopmentResearch Track at Main Conference Room
Chair(s): Jingxuan Zhang Nanjing University of Aeronautics and Astronautics
10:00
15m
Full-paper
A Scenario Model-driven Task Planning Method for Unmanned Aerial Vehicle Swarm
Research Track
Yunwei Dong Northwestern Polytechnical University, School of Computer Science and Engineering, Zeshan Li , Ruiheng Zhang , Rubing Huang Macau University of Science and Technology (M.U.S.T.), Tao Wang
10:15
15m
Full-paper
DSL-MoLab: supporting model-based development of TDL-specific systems enabled by DSL
Research Track
Jie Hu , Yaozhong Zhang , Xiujuan Qin , Lvlun Wei , Fangwe Chen , Shmuel Tyszberowicz The Academic College of Tel-Aviv Yaffo, Mingyue Zhang Southwest University, Bo Liu Southwest University
10:30
15m
Full-paper
Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels
Research Track
Dong Yang , Hao Shi , Wei Dong National University of Defense Technology, Yanqi Dong , Yong Zhang
10:45
15m
Full-paper
CLUE: Customizing clustering techniques using machine learning for software modularization
Research Track
Fanyi Meng , Ying Wang Northeastern University, Chun Yong Chong Monash University Malaysia, Hai Yu Northeastern University, China, Zhiliang Zhu Northeastern University, China
11:00 - 11:20
11:20 - 12:20
Session 6: Code Generation and TransformationResearch Track at Main Conference Room
Chair(s): Jialun Cao Hong Kong University of Science and Technology
11:20
15m
Full-paper
RepoMinCoder: Improving Repository-Level Code Generation Based on Information Loss Screening
Research Track
Yifan Li , Ensheng Shi Xi’an Jiaotong University, Dewu Zheng , Kefeng Duan , Jiachi Chen Sun Yat-sen University, Yanlin Wang Sun Yat-sen University
11:35
15m
Full-paper
Murphi2Chisel: A Protocol Compiler from Murphi to Chisel
Research Track
Cai Zhenghai , Yongjian Li Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China, Yongxin Zhao
11:50
15m
Full-paper
CCAF: Learning Code Change via AdapterFusion
Research Track
Wentao Zou , Zongwen Shen , Jidong Ge Nanjing University, Chuanyi Li Nanjing University, Bin Luo Nanjing University
12:05
15m
Full-paper
ExceRef: Automatically Refactoring for Exception Handling
Research Track
Yang Zhang Hebei University of Science and Technology, Yuan Xue
12:20 - 14:30
14:30 - 15:30
Session 7: Software Architecture and MicroservicesResearch Track / New Idea Track at Main Conference Room
Chair(s): Yilong Yang Beihang University
14:30
15m
Full-paper
Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices
Research Track
Geng Chen , Chenlin Li , Shmuel Tyszberowicz The Academic College of Tel-Aviv Yaffo, Zhiming Liu Southwest University, Bo Liu Southwest University
14:45
15m
Full-paper
A Service-oriented Scheduling Combination Strategy on Cloud Platforms Based on A Dual-Layer QoS Evaluation Model
Research Track
Xiaojun Xu , ChengHao Cai , Xiuqi Yang Beijing Institute of Technology, Zhuofan Xu , Jingjing Hu , Jing Sun School of Computer Science, University of Auckland
15:00
15m
Short-paper
HGNN4Perf: Detecting Performance Optimization Opportunities via Hypergraph Neural Network
New Idea Track
Mingquan Fu , Minjie Wei , Minglang Qiao , Peng Ji , Zhihao Deng , Di Cui Xidian University, Yutong Zhao University of Central Missouri
15:15
15m
Full-paper
CTuner: Automatic NoSQL Database Tuning with Causal Reinforcement Learning
Research Track
Genting Mai Sun Yat-sen University, Zilong He Sun Yat-sen University, Guangba  Yu Sun Yat-sen University, Zhiming Chen Sun Yat-sen University, Pengfei Chen Sun Yat-sen University
15:30 - 15:50
15:50 - 16:50
Session 8: IoT and Edge ComputingResearch Track / New Idea Track at Main Conference Room
Chair(s): Ying Wang Northeastern University
15:50
15m
Full-paper
A Lightweight Dynamic QoS Optimization Strategy for Satellite IoT Networks
Research Track
Dongchao Ma , Xiaohe Zhao , Sitian Huang , Yu Zhang School of Information Technology, Ruiqi Wang School of Information Technology, Li Ma School of Information Technology
16:05
15m
Short-paper
Intelligent Interference Information Fusion for Security of UAV Forest Remote Sensing Image Detection
New Idea Track
16:20
15m
Full-paper
Energy-Aware Satellite-Ground Co-Inference via Layer-Wise Processing Schedule Optimization
Research Track
YijieChen , Qiyang Zhang , Ruolin Xing , Yuanzhe Li , Xiao Ma , Chaoxin Yu , Yiran Zhang , Ao Zhou , Shangguang Wang Beijing University of Posts and Telecommunications
16:35
15m
Full-paper
NEST: Node with Statistics Tree for IoT Data Persistence and Real-time Queries
Research Track
Jiahua Huang , Chun Cao State Key Laboratory for Novel Software Technology, Nanjing University, Jun Ma Nanjing University, Xiaoxing Ma State Key Laboratory for Novel Software Technology, Nanjing University

Fri 26 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00
Session 9: System Performance and Resource ManagementResearch Track at Main Conference Room
Chair(s): Ming Fan Xi'an Jiaotong University
09:00
15m
Full-paper
IOGuard: Software-Based I/O Page Fault Handling with One CPU Core
Research Track
Yiyuan Dong Shanghai Jiao Tong University, Zeyu Mi
09:15
15m
Full-paper
Global-State Aware Automatic NUMA Balancing
Research Track
09:30
15m
Full-paper
Resource-Aware Task Allocation on Mixed-Criticality Systems: a Task-Splitting Approach
Research Track
09:45
15m
Full-paper
Parer: Boosting EROFS Image Creation With Parallelism and Reproducibility
Research Track
Yifan Zhao Shanghai Jiao Tong University, Tong Xin , Mingkai Dong
10:00 - 11:00
Session 10: Software Reliability and MaintenanceResearch Track at Main Conference Room
Chair(s): Rubing Huang Macau University of Science and Technology (M.U.S.T.)
10:00
15m
Full-paper
Developing Burr-XII NHPP-based software reliability growth model using Expectation Conditional Maximization Algorithm
Research Track
Sheng Han North Minzu University, Qiang Han North Minzu University, Yixin Qiao North Minzu University, Kehan Xue North Minzu University, Zhichao Shi North Minzu University
10:15
15m
Full-paper
ERD-CQC : Enhanced Rule and Dependency Code Quality Check for Java
Research Track
Yi Hou Xi'an Jiaotong University, Wuxia Jin Xi'an Jiaotong University, Zhijun Wang , Liuming Wang , Shuguang Chen , Yihan Wang , Lei Sang , Haijun Wang Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
10:30
15m
Full-paper
Mining Fix Patterns for System Interaction Bugs
Research Track
di liu , Yanyan Yan Nanjing University, Hongcheng Fan Nanjing University, Yang Feng Nanjing University
10:45
15m
Full-paper
Towards Life-long Software Self-validation in Production
Research Track
Daohan Qu , Chaoyi Zhao , Yanyan Jiang Nanjing University, Chang Xu Nanjing University
11:00 - 11:20
11:20 - 12:20
Session 11: Anomaly Detection and SecurityResearch Track at Main Conference Room
Chair(s): Yang Feng Nanjing University
11:20
15m
Full-paper
LSTD-MTS: Anomaly Detection with Capturing Long-Term Spatio-Temporal Dependence for Multi-dimensional Time Series
Research Track
Haoyang Zeng , Ningjiang Chen Guangxi University, Tao Deng
11:35
15m
Full-paper
CIDF:Combined Intrusion Detection Framework in Industrial Control Systems based on Packet Signature and Enhanced FSFDP
Research Track
11:50
15m
Full-paper
A Bayesian LSTM Based Active Anomaly Detection Service for Large Online Systems
Research Track
Chen Wang , Tao Huang , Min Li , Pengfei Chen Sun Yat-sen University, Zhiwen Chen
12:05
15m
Full-paper
LateBA: Latent Backdoor Attack on Deep Bug Search via Infrequent Execution Codes
Research Track
Xiaoyu Yi , Guolei Li Shanghai Jiao Tong University, Wenkai Huang Shanghai Jiao Tong University, Xi Lin Shanghai Jiao Tong University, Jianhua Li Shanghai JiaoTong University, Yuchen Liu North Carolina State University
12:20 - 14:30
14:30 - 15:45
Session 12: Emerging Technologies and ApplicationsResearch Track at Main Conference Room
Chair(s): Jiachi Chen Sun Yat-sen University
14:30
15m
Full-paper
An Exploratory Study on God Header Files in Open-Source C Projects
Research Track
Yue Wang , Wenhui Chang , Yanzhen Zou Peking University, Bing Xie Peking University
14:45
15m
Full-paper
Reduce Detection Latency of YOLOv5 to Prevent Real-Time Tracking Failures for Lightweight Robots
Research Track
15:00
15m
Full-paper
Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching
Research Track
Jiale Hao , Meng Wang Hebei university, Hong Zhang
15:15
15m
Full-paper
Decoding Web3: In-depth Analysis of the Third-Party Package Supply Chain
Research Track
Kai Ma , Zhuo Wang , Yanjie Zhao , Haoyu Wang Huazhong University of Science and Technology
15:30
15m
Full-paper
The Dark Side of NFTs: A Large-Scale Empirical Study of Wash Trading
Research Track
Shijian Chen , Jiachi Chen Sun Yat-sen University, Jiangshan Yu Monash University, Xiapu Luo The Hong Kong Polytechnic University, Yanlin Wang Sun Yat-sen University
15:45 - 16:10
16:10 - 17:10
Session 13: Software Tools and DemonstrationsTool Demonstration Track at Main Conference Room
Chair(s): Qiang Han North Minzu University
16:10
12m
Demonstration
laTAPE: Location-Aware Programming and Executing Trigger-Action Rules
Tool Demonstration Track
Bei Deng , Bingkun Sun Fudan University, Liwei Shen
16:22
12m
Demonstration
MobileEdgeSim: A Tool for Simulating Microservice-Oriented Mobile Edge Computing
Tool Demonstration Track
Yuqi Zhao , Shiyu He , Qibo Li , Yuchen Pei , Zhentao Li , Yutao Ma Central China Normal University
16:34
12m
Demonstration
RM2EIS: A Tool for Auto-Generation of EIS from Requirements Model
Tool Demonstration Track
Yihui Jian , Yilong Yang Beihang University, Shaohong Zhu , Zhi Li Guangxi Normal University, Li Zhang Beihang University
16:46
12m
Demonstration
WACP: A Performance Profiling Tool for WebAssembly-Python Interoperability
Tool Demonstration Track
Yudan Long , Yuxin Su Sun Yat-sen University, Zigui Jiang Sun Yat-sen University
16:58
12m
Demonstration
VisRepo: A Visual Retrieval Tool for Large-Scale Open-Source Projects
Tool Demonstration Track
Xiaoqi Yue , Chao Liu Chongqing University, Neng Zhang Sun Yat-sen University, Haibo Hu Chongqing University, Xiaohong Zhang Chongqing University
17:10 - 17:30
17:10
20m
Day closing
Closing
Research Track

Wed 24 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Main Conference Room

Thu 25 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Main Conference Room

Fri 26 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Main Conference Room