Tool Demonstration 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
Title | |
---|---|
laTAPE: Location-Aware Programming and Executing Trigger-Action Rules Tool Demonstration Track | |
MobileEdgeSim: A Tool for Simulating Microservice-Oriented Mobile Edge Computing Tool Demonstration Track | |
RM2EIS: A Tool for Auto-Generation of EIS from Requirements Model Tool Demonstration Track | |
VisRepo: A Visual Retrieval Tool for Large-Scale Open-Source Projects Tool Demonstration Track | |
WACP: A Performance Profiling Tool for WebAssembly-Python Interoperability Tool Demonstration Track |
Call for Papers
Scope
The Internetware 2024 Tool Demonstrations Track invites researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of software engineering supported by demos of new research tools, data, and other artifacts. We encourage innovative research demonstrations, which show early implementations of novel software engineering concepts and mature prototypes. The research demonstrations are intended to highlight underlying scientific contributions. Authors of regular research papers are also encouraged to submit an accompanying demonstration paper. Papers submitted to the tool demonstrations track should describe (a) novel early tool prototypes or (b) novel aspects of mature tools; with open-sourced code/data, and live demos (optional).
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;
- 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 to which extent the tool can be verified or replicated.
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.
- 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-tool.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.
- Submissions for the tool demo track do NOT follow a double-blind review process. If a tool track submission accompanies a submission to the research track (which is double-blind), please email the tool demonstration track chairs, notifying them about this. The chairs will ensure that tool papers and research papers are reviewed by different people to avoid revealing the authorship of research papers.
Tools and Data Availability
To promote replicability, we require that data sets be publicly available for download and use. We encourage the same for tools, ideally through their distribution with an open-source software license. Whenever the tool is not made publicly available, the paper must include a clear explanation for why this was not possible. Authors are also encouraged to distribute their demonstration in a form that can be easily used, such as a virtual machine image, a software container (e.g., Docker), or a system configuration (e.g., Puppet, Ansible, Salt, CFEngine). To further increase the visibility of the presented tools and data sets, we encourage all authors to produce a screencast presenting their tool. For the papers that will be accepted for presentation, accompanying screencasts will be linked from the demonstration track website. The authors can submit a link to the screencast together with their papers as an appendix that describes the way the demonstration will be carried out.
Important Dates
Tool Demonstrations Track Submissions Deadline: 30 April 2024
Tool Demonstrations Track Submissions Deadline: 7 May 2024
Tool Demonstrations Track Acceptance Notification: 30 May 2024
Tool Demonstrations Track Camera Ready: 15 June 2024
Note: All in AoE time (Anywhere on Earth, UTC-12).
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.