Internetware

Publications

2024

Zhenghai Cai, Yongjian Li, Yongxin Zhao
Murphi2Chisel: A Protocol Compiler from Murphi to Chisel. Internetware (2024)
Sheng Han, Qiang Han, Yixin Qiao, Kehan Xue, Zhichao Shi
Developing Burr-XII NHPP-based software reliability growth model using Expectation Conditional Maximization Algorithm. Internetware (2024)
Dong Yang, Hao Shi, Wei Dong, Yanqi Dong, Yong Zhang
Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels. Internetware (2024)
Pei Liu, Bo Lin, Yihao Qin, Cheng Weng, Liqian Chen
T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach. Internetware (2024)
Senrong Xu, Jiamei Shen, Yunfan Li, Yuan Yao, Ping Yu, Feng Xu, Xiaoxing Ma
On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference. Internetware (2024)
Yifan Zhao, Tong Xin, Mingkai Dong
Parer: Boosting EROFS Image Creation With Parallelism and Reproducibility. Internetware (2024)
Yi Hou, Wuxia Jin, Zhijun Wang, Liuming Wang, Shuguang Chen, Yihan Wang, Lei Sang, Haijun Wang, Ting Liu
ERD-CQC : Enhanced Rule and Dependency Code Quality Check for Java. Internetware (2024)
Jianxin Xue, Husheng Chen, Yaohua Hu, Minyu Chen, Ling-I Wu, Xi Chang
Reduce Detection Latency of YOLOv5 to Prevent Real-Time Tracking Failures for Lightweight Robots. Internetware (2024)
Jianguo Liu, Zhibin Yu
Global-State Aware Automatic NUMA Balancing. Internetware (2024)
Wentao Zou, Zongwen Shen, JiDong Ge, Chuanyi Li, Bin Luo
CCAF: Learning Code Change via AdapterFusion. Internetware (2024)
Bei Deng, Bingkun Sun, Liwei Shen
laTAPE: Location-Aware Programming and Executing Trigger-Action Rules. Internetware (2024)
Junwei Zhang, Zhongxin Liu, Lingfeng Bao, Zhenchang Xing, Xing Hu, Xin Xia
Inside Bug Report Templates: An Empirical Study on Bug Report Templates in Open-Source Software. Internetware (2024)
Geng Chen, Chenlin Li, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices. Internetware (2024)
Lianying He, Dalin Zhang, Dongqing Zhu, Junwen Zhang, Rui Wang, Jiqiang Liu
Path Exploration Strategy for Symbolic Execution based on Multi-strategy Active Learning. Internetware (2024)
Jie Hu, Yaozhong Zhang, Xiujuan Qin, Lvlun Wei, Fangwe Chen, Shmuel S. Tyszberowicz, Mingyue Zhang, Bo Liu
DSL-MoLab: supporting model-based development of TDL-specific systems enabled by DSL. Internetware (2024)
Jiale Hao, Meng Wang, Hong Zhang
Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching. Internetware (2024)
Daohan Qu, Chaoyi Zhao, Yanyan Jiang, Chang Xu
Towards Life-long Software Self-validation in Production. Internetware (2024)
Haoyang Zeng, Ningjiang Chen, Tao Deng
LSTD-MTS: Anomaly Detection with Capturing Long-Term Spatio-Temporal Dependence for Multi-dimensional Time Series. Internetware (2024)
Zixi Liu, Yang Feng, Jiali Xu, Baowen Xu
ObjTest: Object-Level Mutation for Testing Object Detection Systems. Internetware (2024)
Xiaoyu Yi, Gaolei Li, Wenkai Huang, Xi Lin, Jianhua Li, Yuchen Liu
LateBA: Latent Backdoor Attack on Deep Bug Search via Infrequent Execution Codes. Internetware (2024)
Yanzhong He, Guancheng Lin, Xiaoxue Ma, Jacky Wai Keung, Cheng Tan, Wenhua Hu, Fuyang Li
Enhancing Deep Learning Vulnerability Detection through Imbalance Loss Functions: An Empirical Study. Internetware (2024)
Xiaoqi Yue, Chao Liu, Neng Zhang, Haibo Hu, Xiaohong Zhang
VisRepo: A Visual Retrieval Tool for Large-Scale Open-Source Projects. Internetware (2024)
Ruihua Ji, Zhengxuan Qian, Zhong Li, Xiaoqing Zhu, Yu Pei, Minxue Pan, Tian Zhang
Repairing Obsolete GUI Test Scripts for Android Applications with Exploration and Backtracking. Internetware (2024)
Jiahua Huang, Chun Cao, Jun Ma, Xiaoxing Ma
NEST: Node with Statistics Tree for IoT Data Persistence and Real-time Queries. Internetware (2024)
Yunwei Dong, Zeshan Li, Ruiheng Zhang, Rubing Huang, Tao Wang
A Scenario Model-driven Task Planning Method for Unmanned Aerial Vehicle Swarm. Internetware (2024)
Ruoxian Su, Hanzhi Xu, Jieyu Jiang, Shuai Zhao
Resource-Aware Task Allocation on Mixed-Criticality Systems: a Task-Splitting Approach. Internetware (2024)
Yuqi Zhao, Shiyu He, Qibo Li, Yuchen Pei, Yutao Ma
MobileEdgeSim: A Tool for Simulating Microservice-Oriented Mobile Edge Computing. Internetware (2024)
Yin Wang, Ming Fan, Xicheng Zhang, Jifei Shi, Zhaoyu Qiu, Haijun Wang, Ting Liu
LIReDroid: LLM-Enhanced Test Case Generation for Static Sensitive Behavior Replication. Internetware (2024)
Yue Wang, Wenhui Chang, Yanzhen Zou, Bing Xie
An Exploratory Study on God Header Files in Open-Source C Projects. Internetware (2024)
Zhonghao Jiang, Weifeng Sun, Xiaoyan Gu, Jiaxin Wu, Tao Wen, Haibo Hu, Meng Yan
DFEPT: Data Flow Embedding for Enhancing Pre-Trained Model Based Vulnerability Detection. Internetware (2024)
Fanyi Meng, Ying Wang, Chun Yong Chong, Hai Yu, Zhiliang Zhu
CLUE: Customizing clustering techniques using machine learning for software modularization. Internetware (2024)
Yuhong Feng, Haoran Li, Yixuan Cao, Yufeng Wang, Haiyue Feng
CRABS-former: CRoss-Architecture Binary Code Similarity Detection based on Transformer. Internetware (2024)
Yiyuan Dong, Zeyu Mi
IOGuard: Software-Based I/O Page Fault Handling with One CPU Core. Internetware (2024)
Kuo Chi, Chuanyi Li, Jidong Ge, Bin Luo
An Empirical Study on Code Search Pre-trained Models: Academic Progresses vs. Industry Requirements. Internetware (2024)
Proceedings of the 15th Asia-Pacific Symposium on Internetware, Internetware 2024, Macau, SAR, China, July 24-26, 2024 Internetware (2024)
Yijie Chen, Qiyang Zhang, Ruolin Xing, Yuanzhe Li, Xiao Ma, Chaoxin Yu, Yiran Zhang, Ao Zhou, Shangguang Wang
Energy-Aware Satellite-Ground Co-Inference via Layer-Wise Processing Schedule Optimization. Internetware (2024)
Ming Quan Fu, Minjie Wei, Minglang Qiao, Peng Ji, Zhihao Deng, Di Cui, Yutong Zhao
HGNN4Perf: Detecting Performance Optimization Opportunities via Hypergraph Neural Network. Internetware (2024)
Dongchao Ma, Xiaohe Zhao, Sitian Huang, Yu Zhang, Ruiqi Wang
A Lightweight Dynamic QoS Optimization Strategy for Satellite IoT Networks. Internetware (2024)
Danni Xiao, Yimeng Guo, Yanhui Li, Lin Chen
Optimizing Search-Based Unit Test Generation with Large Language Models: An Empirical Study. Internetware (2024)
Wenjun Liang, Guanping Xiao
An Exploratory Evaluation of Large Language Models Using Empirical Software Engineering Tasks. Internetware (2024)
Yudan Long, Yuxin Su, Zigui Jiang
WACP: A Performance Profiling Tool for WebAssembly-Python Interoperability. Internetware (2024)
Xiaodong Wang, Long Wen, Jijing Cai, Kai Fang
Intelligent Interference Information Fusion for Security of UAV Forest Remote Sensing Image Detection. Internetware (2024)
Yang Zhang, Yuan Xue
ExceRef: Automatically Refactoring for Exception Handling. Internetware (2024)
Xiaojun Xu, Chenghao Cai, Xiuqi Yang, Zhuofan Xu, Jingjing Hu, Jing Sun
A Service-oriented Scheduling Combination Strategy on Cloud Platforms Based on A Dual-Layer QoS Evaluation Model. Internetware (2024)
Genting Mai, Zilong He, Guangba Yu, Zhiming Chen, Pengfei Chen
CTuner: Automatic NoSQL Database Tuning with Causal Reinforcement Learning. Internetware (2024)
Junwei Zeng, Yixuan Tang, Jingxuan Zhang, Weiwei Li, Zhiqiu Huang
Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation. Internetware (2024)
Cheng Weng, Yihao Qin, Bo Lin, Pei Liu, Liqian Chen
MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention. Internetware (2024)
Xingpeng Liu, Hengzhu Liu, Xiaodong Yi, Ji Wang
LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱. Internetware (2024)
Di Liu, Yanyan Yan, Hongcheng Fan, Yang Feng
Mining Fix Patterns for System Interaction Bugs. Internetware (2024)
Chen Wang, Tao Huang, Min Li, Pengfei Chen, Zhiwen Chen
A Bayesian LSTM Based Active Anomaly Detection Service for Large Online Systems. Internetware (2024)