Program - Internetware 2024

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Wed 24 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

08:30 - 09:00	OpeningResearch Track at Main Conference Room

08:30 30m Day opening		Opening Research Track

09:00 - 10:00	Keynote 1Research Track at Main Conference Room

09:00 60m Keynote		Keynote 1: Advances in Language-Based Testing Research Track Andreas Zeller CISPA Helmholtz Center for Information Security

10:00 - 11:00	Keynote 2Research Track at Main Conference Room

10:00 60m Keynote		Keynote 2: Development of System Software Stack for RISC-V+AI Computility Research Track Tao Xie Peking University

	11:00 - 11:20	Coffee Break 1.1Research Track at Main Conference Room

11:20 - 12:35	Session 1: AI for Software EngineeringResearch Track / Tool Demonstration Track / New Idea Track at Main Conference Room

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 , 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 Pre-print
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	Lunch Session 1Research Track at Main Conference Room

14:30 - 15:30	Keynote 3 Research Track at Main Conference Room

14:30 60m Keynote		Keynote 3 : Development of System Software Stack for RISC-V+AI ComputilityResearch Track Research Track Hongxia Yang DAMO Academy, Alibaba Group

	15:30 - 15:50	Coffee Break 1.2Research Track at Main Conference Room

15:50 - 16:50	Session 2: Software Testing and Quality AssuranceResearch Track / New Idea Track at Main Conference Room

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

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 Zhonghao Jiang , Weifeng Sun , Xiaoyan Gu , Jiaxin Wu , Tao Wen , Haibo Hu , Meng Yan Chongqing University
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

	18:30 - 20:00	Conference Banquet Research Track at Banquet Hall

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

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 lianying he , Dalin Zhang Beijing Jiaotong University, Dongqing Zhu , Junwen Zhang , Rui Wang , Jiqiang liu
09:30 15m Full-paper		Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation Research Track Junwei Zeng , 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

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	Coffee Break 2.1Research Track at Main Conference Room

11:20 - 12:20	Session 6: Code Generation and TransformationResearch Track at Main Conference Room

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	Lunch Session 2Research Track at Main Conference Room

14:30 - 15:30	Session 7: Software Architecture and MicroservicesResearch Track / New Idea Track at Main Conference Room

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	Coffee Break 2.2Research Track at Main Conference Room

15:50 - 16:50	Session 8: IoT and Edge ComputingResearch Track / New Idea Track at Main Conference Room

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 Xiaodong Wang , Long Wen , Xiaofen Fang , Jijing Cai , Kai Fang
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

	18:30 - 21:00	Conference DinnerResearch Track at Macau Tower

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

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 Awareness Automatic NUMA Balancing Research Track Jianguo Liu , Zhibin Yu
09:30 15m Full-paper		Resource-Aware Task Allocation on Mixed-Criticality Systems: a Task-Splitting Approach Research Track Ruoxian Su , Hanzhi Xu , Jieyu Jiang , Shuai Zhao
09:45 15m Full-paper		Parer: Boosting EROFS Image Creation With Parallelism and Reproducibility Research Track Yifan Zhao , Tong Xin , Mingkai Dong

10:00 - 11:00	Session 10: Software Reliability and MaintenanceResearch Track at Main Conference Room

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	Coffee Break 3.1Research Track at Main Conference Room

11:20 - 12:20	Session 11: Anomaly Detection and SecurityResearch Track at Main Conference Room

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 Jianwen Xiang , Xuemin Zhang , Qianrong Zheng , longmin Deng , Dongdong Zhao , Junwei Zhou
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	Lunch Session 3Research Track at Main Conference Room

14:30 - 15:45	Session 12: Emerging Technologies and ApplicationsResearch Track at Main Conference Room

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 Jianxin Xue , Husheng Chen , Yaohua Hu , Xi Chang , Minyu Chen , Ling-I Wu
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	Coffee Break 3.2Research Track at Main Conference Room

16:10 - 17:10	Session 13: Software Tools and DemonstrationsTool Demonstration Track at Main Conference Room

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	ClosingResearch Track at Main Conference Room

17:10 20m Day closing		Closing Research Track

Internetware 2024 Program

This program is tentative and subject to change.

Wed 24 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 25 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 26 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tracks

Internetware 2024 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Wed 24 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 25 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 26 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Get Calendar (iCal)

Wed 24 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 25 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 26 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change