New Idea TrackInternetware 2024
Internetware 2024, the 15th Asia-Pacific Symposium on Internetware, provides a forum for researchers and practitioners to discuss the trending software technologies in the Internet era. Internetware 2024 will be held July 24-26 in Macau, China.
Wed 24 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
08:30 - 09:00 | |||
08:30 30mDay opening | Opening Research Track |
09:00 - 10:00 | |||
09:00 60mKeynote | Keynote 1: Advances in Language-Based Testing Research Track Andreas Zeller CISPA Helmholtz Center for Information Security Pre-print |
10:00 - 11:00 | |||
10:00 60mKeynote | Keynote 2: Development of System Software Stack for RISC-V+AI Computility Research Track Tao Xie Peking University |
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 15mFull-paper | An Empirical Study on Code Search Pre-trained Models: Academic Progresses vs. Industry Requirements Research Track | ||
11:35 15mFull-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 15mFull-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 15mFull-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 15mFull-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 60mKeynote | Keynote 3 : Edge GenAI: Pioneering the Next Phase of AI Evolution Research Track Hongxia Yang The Hong Kong Polytechnic University |
15:30 - 15:50 | |||
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 15mFull-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 15mFull-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 15mFull-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 15mFull-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 15mFull-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 | |||
Thu 25 JulDisplayed 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 15mFull-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 15mShort-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 15mFull-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 15mFull-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 15mFull-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 15mFull-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 15mFull-paper | Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels Research Track | ||
10:45 15mFull-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 15mFull-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 15mFull-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 15mFull-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 15mFull-paper | ExceRef: Automatically Refactoring for Exception Handling Research Track |
12:20 - 14:30 | |||
15:30 - 15:50 | |||
18:30 - 21:00 | |||
Fri 26 JulDisplayed 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 15mFull-paper | IOGuard: Software-Based I/O Page Fault Handling with One CPU Core Research Track | ||
09:15 15mFull-paper | Global-State Aware Automatic NUMA Balancing Research Track | ||
09:30 15mFull-paper | Resource-Aware Task Allocation on Mixed-Criticality Systems: a Task-Splitting Approach Research Track | ||
09:45 15mFull-paper | Parer: Boosting EROFS Image Creation With Parallelism and Reproducibility Research Track |
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 15mFull-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 15mFull-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 15mFull-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 15mFull-paper | Towards Life-long Software Self-validation in Production Research Track |
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 15mFull-paper | LSTD-MTS: Anomaly Detection with Capturing Long-Term Spatio-Temporal Dependence for Multi-dimensional Time Series Research Track | ||
11:35 15mFull-paper | CIDF:Combined Intrusion Detection Framework in Industrial Control Systems based on Packet Signature and Enhanced FSFDP Research Track | ||
11:50 15mFull-paper | A Bayesian LSTM Based Active Anomaly Detection Service for Large Online Systems Research Track | ||
12:05 15mFull-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 15mFull-paper | An Exploratory Study on God Header Files in Open-Source C Projects Research Track | ||
14:45 15mFull-paper | Reduce Detection Latency of YOLOv5 to Prevent Real-Time Tracking Failures for Lightweight Robots Research Track | ||
15:00 15mFull-paper | Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching Research Track | ||
15:15 15mFull-paper | Decoding Web3: In-depth Analysis of the Third-Party Package Supply Chain Research Track | ||
15:30 15mFull-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 12mDemonstration | laTAPE: Location-Aware Programming and Executing Trigger-Action Rules Tool Demonstration Track | ||
16:22 12mDemonstration | MobileEdgeSim: A Tool for Simulating Microservice-Oriented Mobile Edge Computing Tool Demonstration Track | ||
16:34 12mDemonstration | 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 12mDemonstration | WACP: A Performance Profiling Tool for WebAssembly-Python Interoperability Tool Demonstration Track | ||
16:58 12mDemonstration | 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 20mDay closing | Closing Research Track |
Accepted Papers
Call for Papers
Scope
A new idea track paper is not just a scaled-down version of a full research track paper. The new idea track is reserved for first-class, top-quality technical contributions. Therefore, a new idea submission is neither a full research track submission with weaker or no evaluation nor an op-ed piece advertising existing and already published results. Authors of such submissions should instead consider submitting to either the main track or other venues of publications.
Evaluation Criteria
Each submission will be reviewed and evaluated in terms of the following quality criteria:
- Significance: The extent to which the paper’s contributions can impact the field of software engineering, and under which assumptions (if any);
- Novelty: The extent to which the contributions are sufficiently original concerning the state-of-the-art;
- Soundness: The extent to which the paper’s contributions and the authors’ plans for future work are based rigorous application of appropriate research methods;
- Presentation: The extent to which the paper’s quality of writing meets the high standards of Internetware, including clear descriptions, adequate use of the * English language, absence of major ambiguity, clearly readable figures and tables, and adherence to the formatting instructions provided below;
- Verifiability: The extent to which the paper includes sufficient information to understand how innovation works; to understand how data was obtained, analyzed, and interpreted; and how the paper supports independent verification or replication of the paper’s claimed contributions.
Formatting and Submission
All submissions must not exceed 4 pages for all text, figures, tables, and references. All submissions must be in English and PDF format. Submissions that do not comply with the above instructions will be desk rejected without review. Please use the ACM Master article template, as can be obtained from the ACM Proceedings Template pages. Submissions to internetware 2024 conference meeting the above requirements can be made via the internetware 2024 submission site (https://internetware2024-newidea.hotcrp.com/) by the deadline. We encourage the authors to upload their paper info early (and can submit the PDF later) to properly enter conflicts for double-anonymous reviewing.
Important Dates
New Idea Track Submissions Deadline: 30 April 2024 - Submissions close at 23:59 AoE (Anywhere on Earth, UTC-12)
New Idea Track Submissions Deadline: 7 May 2024 - Submissions close at 23:59 AoE (Anywhere on Earth, UTC-12)
New Idea Track Acceptance Notification: May 30 2024
New Idea Track Camera Ready: 15 June 2024
Double-Anonymous Submission Guidelines
The Internetware New Idea track will adopt a double-anonymous review process. No submitted paper may reveal its authors’ identities. The authors must make every effort to honor the double-anonymous review process; reviewers will be asked to honor the double-anonymous review process as much as possible. Any author having further questions on double-anonymous reviewing is encouraged to contact the track’s program co-chairs by email. Any submission that does not comply with the double-anonymous review process will be desk-rejected.
Conference Attendance Expectation
If a submission is accepted, at least one author of the paper is required to register for and attend the full 3-day technical conference and present the paper. The presentation is expected to be delivered in person.