Internetware 2024
Wed 24 - Fri 26 July 2024
Macau, China
Toggle navigation
Attending
Venue: Wynn Palace
Travel Grant Application: 1st Round
Travel Grant Application: 2nd Round
Registration and Travel Information
Visa & Invitation Letter
Program
Internetware Program
Your Program
Wed 24 Jul
Thu 25 Jul
Fri 26 Jul
Tracks
Internetware 2024
Research Track
New Idea Track
Tool Demonstration Track
Organization
Internetware 2024 Committees
Steering Committee
Organizing Committee
Track Committees
Research Track
New Idea Track
Tool Demonstration Track
Contributors
People Index
Search
Series
Series
Internetware 2024
Internetware 2023
Sign in
Sign up
Internetware 2024
(
series
) /
Wynn Palace
/
Room information: Main Conference Room
Venue
Wynn Palace
Room name
Main Conference Room
Floor
1
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) Beijing, Chongqing, Hong Kong, Urumqi
.
Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06: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-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Wed 24 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
08:30 - 09:00
Opening
Research Track
at
Main Conference Room
08:30
30m
Day opening
Opening
Research Track
09:00 - 10:00
Keynote 1
Research 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
Pre-print
10:00 - 11:00
Keynote 2
Research 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.1
Research Track
at
Main Conference Room
11:20 - 12:35
Session 1: AI for Software Engineering
Research 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
Lunch Session 1
Research Track
at
Main Conference Room
14:30 - 15:30
Keynote 3
Research Track
at
Main Conference Room
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
Coffee Break 1.2
Research Track
at
Main Conference Room
15:50 - 16:50
Session 2: Software Testing and Quality Assurance
Research 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 Security
Research 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
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
Thu 25 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:00
Session 4: Code Analysis and Optimization
Research 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
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
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 Development
Research 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
Coffee Break 2.1
Research Track
at
Main Conference Room
11:20 - 12:20
Session 6: Code Generation and Transformation
Research 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
Lunch Session 2
Research Track
at
Main Conference Room
14:30 - 15:30
Session 7: Software Architecture and Microservices
Research 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
Coffee Break 2.2
Research Track
at
Main Conference Room
15:50 - 16:50
Session 8: IoT and Edge Computing
Research 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
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
Fri 26 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:00
Session 9: System Performance and Resource Management
Research 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
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
Shanghai Jiao Tong University
,
Tong Xin
,
Mingkai Dong
10:00 - 11:00
Session 10: Software Reliability and Maintenance
Research 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
Coffee Break 3.1
Research Track
at
Main Conference Room
11:20 - 12:20
Session 11: Anomaly Detection and Security
Research 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
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 3
Research Track
at
Main Conference Room
14:30 - 15:45
Session 12: Emerging Technologies and Applications
Research 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
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.2
Research Track
at
Main Conference Room
16:10 - 17:10
Session 13: Software Tools and Demonstrations
Tool 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
Closing
Research Track
at
Main Conference Room
17:10
20m
Day closing
Closing
Research Track
Wed 24 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Main Conference Room
Research Track
Opening
Research Track
Keynote 1
Research Track
Keynote 2
Research Track
Coffee Break 1.1
Research Track + Tool Demonstration Track + New Idea Track
Session 1: AI for Software Engineering
Research Track
Lunch Session 1
Research Track
Keynote 3
Research Track
Coffee Break 1.2
Research Track + New Idea Track
Session 2: Software Testing and Quality Assurance
Research Track
Session 3: Software Vulnerability and Security
Thu 25 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Main Conference Room
Research Track + New Idea Track
Session 4: Code Analysis and Optimization
Research Track
Session 5: Software Modeling and Development
Research Track
Coffee Break 2.1
Research Track
Session 6: Code Generation and Transformation
Research Track
Lunch Session 2
Research Track + New Idea Track
Session 7: Software Architecture and Microservices
Research Track
Coffee Break 2.2
Research Track + New Idea Track
Session 8: IoT and Edge Computing
Fri 26 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Main Conference Room
Research Track
Session 9: System Performance and Resource Management
Research Track
Session 10: Software Reliability and Maintenance
Research Track
Coffee Break 3.1
Research Track
Session 11: Anomaly Detection and Security
Research Track
Lunch Session 3
Research Track
Session 12: Emerging Technologies and Applications
Research Track
Coffee Break 3.2
Tool Demonstration Track
Session 13: Software Tools and Demonstrations
Research Track
Closing
Wed 24 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
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
18:00
15
30
45
Main Conference Room
Internetware Research Track
Opening
08:30 - 09:00
Internetware Research Track
Keynote 1: Advances in Language-Based Testing
09:00 - 10:00
Internetware Research Track
Keynote 2: Development of System Software Stack for RISC-V+AI Computility
10:00 - 11:00
Internetware Research Track
An Empirical Study on Code Search Pre-trained Models: Academic Progress ...
11:20 - 11:35
Internetware Research Track
CRABS-former: Cross-Architecture Binary Code Similarity Detection based ...
11:35 - 11:50
Internetware Research Track
On the Heterophily of Program Graphs: A Case Study of Graph-based Type ...
11:50 - 12:05
Internetware Research Track
An Exploratory Evaluation of Large Language Models Using Empirical Soft ...
12:05 - 12:20
Internetware Research Track
LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter ...
12:20 - 12:35
Internetware Research Track
Keynote 3 : Edge GenAI: Pioneering the Next Phase of AI Evolution
14:30 - 15:30
Internetware Research Track
Repairing Obsolete GUI Test Scripts for Android Applications with Explo ...
15:50 - 16:05
Internetware Research Track
Optimizing Search-Based Unit Test Generation with Large Language Models ...
16:05 - 16:20
Internetware New Idea Track
LIReDroid: LLM-Enhanced Test Case Generation for Static Sensitive Behav ...
16:20 - 16:35
Internetware Research Track
ObjTest: Object-Level Mutation for Testing Object Detection Systems
16:35 - 16:50
Internetware Research Track
Inside Bug Report Templates: An Empirical Study on Bug Report Templates ...
16:50 - 17:05
Internetware Research Track
MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency ...
17:05 - 17:20
Internetware Research Track
Enhancing Deep Learning Vulnerability Detection through Imbalance Loss ...
17:20 - 17:35
Internetware Research Track
DFEPT: Data Flow Embedding for Enhancing Pre-Trained Model Based Vulner ...
17:35 - 17:50
Internetware Research Track
T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Genera ...
17:50 - 18:05
Thu 25 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
9:00
15
30
45
10:00
15
30
45
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
Main Conference Room
Internetware Research Track
Structure-Sensitive Pointer Analysis for Multi-structure Objects
09:00 - 09:15
Internetware New Idea Track
Path Exploration Strategy for Symbolic Execution based on Multi-strateg ...
09:15 - 09:30
Internetware Research Track
Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation
09:30 - 09:45
Internetware Research Track
Accelerating Static Null Pointer Dereference Detection with Parallel Co ...
09:45 - 10:00
Internetware Research Track
A Scenario Model-driven Task Planning Method for Unmanned Aerial Vehicl ...
10:00 - 10:15
Internetware Research Track
DSL-MoLab: supporting model-based development of TDL-specific systems e ...
10:15 - 10:30
Internetware Research Track
Synthesizing Controller for Unsynthesizable Specification Based on Crit ...
10:30 - 10:45
Internetware Research Track
CLUE: Customizing clustering techniques using machine learning for soft ...
10:45 - 11:00
Internetware Research Track
RepoMinCoder: Improving Repository-Level Code Generation Based on Infor ...
11:20 - 11:35
Internetware Research Track
Murphi2Chisel: A Protocol Compiler from Murphi to Chisel
11:35 - 11:50
Internetware Research Track
CCAF: Learning Code Change via AdapterFusion
11:50 - 12:05
Internetware Research Track
ExceRef: Automatically Refactoring for Exception Handling
12:05 - 12:20
Internetware Research Track
Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith ...
14:30 - 14:45
Internetware Research Track
A Service-oriented Scheduling Combination Strategy on Cloud Platforms B ...
14:45 - 15:00
Internetware New Idea Track
HGNN4Perf: Detecting Performance Optimization Opportunities via Hypergr ...
15:00 - 15:15
Internetware Research Track
CTuner: Automatic NoSQL Database Tuning with Causal Reinforcement Learning
15:15 - 15:30
Internetware Research Track
A Lightweight Dynamic QoS Optimization Strategy for Satellite IoT Networks
15:50 - 16:05
Internetware New Idea Track
Intelligent Interference Information Fusion for Security of UAV Forest ...
16:05 - 16:20
Internetware Research Track
Energy-Aware Satellite-Ground Co-Inference via Layer-Wise Processing Sc ...
16:20 - 16:35
Internetware Research Track
NEST: Node with Statistics Tree for IoT Data Persistence and Real-time ...
16:35 - 16:50
Fri 26 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
9:00
15
30
45
10:00
15
30
45
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
Main Conference Room
Internetware Research Track
IOGuard: Software-Based I/O Page Fault Handling with One CPU Core
09:00 - 09:15
Internetware Research Track
Global-State Aware Automatic NUMA Balancing
09:15 - 09:30
Internetware Research Track
Resource-Aware Task Allocation on Mixed-Criticality Systems: a Task-Spl ...
09:30 - 09:45
Internetware Research Track
Parer: Boosting EROFS Image Creation With Parallelism and Reproducibility
09:45 - 10:00
Internetware Research Track
Developing Burr-XII NHPP-based software reliability growth model using ...
10:00 - 10:15
Internetware Research Track
ERD-CQC : Enhanced Rule and Dependency Code Quality Check for Java
10:15 - 10:30
Internetware Research Track
Mining Fix Patterns for System Interaction Bugs
10:30 - 10:45
Internetware Research Track
Towards Life-long Software Self-validation in Production
10:45 - 11:00
Internetware Research Track
LSTD-MTS: Anomaly Detection with Capturing Long-Term Spatio-Temporal De ...
11:20 - 11:35
Internetware Research Track
CIDF:Combined Intrusion Detection Framework in Industrial Control Syste ...
11:35 - 11:50
Internetware Research Track
A Bayesian LSTM Based Active Anomaly Detection Service for Large Online ...
11:50 - 12:05
Internetware Research Track
LateBA: Latent Backdoor Attack on Deep Bug Search via Infrequent Execut ...
12:05 - 12:20
Internetware Research Track
An Exploratory Study on God Header Files in Open-Source C Projects
14:30 - 14:45
Internetware Research Track
Reduce Detection Latency of YOLOv5 to Prevent Real-Time Tracking Failur ...
14:45 - 15:00
Internetware Research Track
Efficient Deadlock Detection in MPI Programs with Path Compression and ...
15:00 - 15:15
Internetware Research Track
Decoding Web3: In-depth Analysis of the Third-Party Package Supply Chain
15:15 - 15:30
Internetware Research Track
The Dark Side of NFTs: A Large-Scale Empirical Study of Wash Trading
15:30 - 15:45
Internetware Tool Demonstration Track
laTAPE: Location-Aware Programming and Executing Trigger-Action Rules
16:10 - 16:22
Internetware Tool Demonstration Track
MobileEdgeSim: A Tool for Simulating Microservice-Oriented Mobile Edge ...
16:22 - 16:34
Internetware Tool Demonstration Track
RM2EIS: A Tool for Auto-Generation of EIS from Requirements Model
16:34 - 16:46
Internetware Tool Demonstration Track
WACP: A Performance Profiling Tool for WebAssembly-Python Interoperability
16:46 - 16:58
Internetware Tool Demonstration Track
VisRepo: A Visual Retrieval Tool for Large-Scale Open-Source Projects
16:58 - 17:10
Internetware Research Track
Closing
17:10 - 17:30
x
Thu 21 Nov 10:58