| Issue Date | Title | Author(s) |
| 17-Sep-2025 | Expressive completeness of separation logic in block-based cloud storage systems | Cao, Tianyue; Jin, Zhao; Zhang, Bowen; Cao, Yongzhi; Wang, Hanpin |
| Jun-2025 | HiMo: End-to-End Congestion Control for High Speed Rail Data Networking | Xu, Chenren; Zhou, Yuhan; Wang, Jing; Li, Ruihan; Song, Lingyang; Zhu, Guangyu |
| Apr-2025 | Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles | Zhong, Zhineng; Zhang, Ziqi; Guan, Hanqin; Li, Ding |
| 31-May-2025 | A context knowledge guided transformer framework for long-term traffic prediction | Huo, Jingxuan; Chen, Liyue; Wang, Leye |
| 15-May-2025 | 定向灰盒模糊测试技术研究进展 | 徐邑江; 高庆; 陈立果; 张世琨; 吴中海 |
| 20-Jun-2025 | Learning to represent code semantics | Fang LIU; Ge LI; Qianhui ZHAO; Li ZHANG |
| 2025 | What You See Is What You Get: Prototype Generation for IoT End-User Programming | Chen,Xiaohong; Chen,Shi; Jin,Zhi; Chen,Zihan; Chen,Mingsong |
| 28-Apr-2025 | Adaptive Activation Steering: A Tuning-Free LLM Truthfulness Improvement Method for Diverse Hallucinations Categories | Wang,Tianlong; Jiao,Xianfeng; Zhu,Yinghao; Chen,Zhongzhi; He,Yifan; Chu,Xu; Gao,Junyi; Wang,Yasha; Ma,Liantao |
| 28-Apr-2025 | STKOpt: Automated Spatio-Temporal Knowledge Optimization for Traffic Prediction | Hong,Yayao; Chen,Liyue; Wang,Leye; Xie,Xiuhuai; Luo,Guofeng; Wang,Cheng; Chen,Longbiao |
| 11-Apr-2025 | ReX: A Framework for Incorporating Temporal Information in Model-Agnostic Local Explanation Techniques | Liu,Junhao; Zhang,Xin |
| 11-Apr-2025 | Towards Scalable and Deep Graph Neural Networks via Noise Masking | Liang,Yuxuan; Zhang,Wentao; Sheng,Zeang; Yang,Ling; Xu,Quanqing; Jiang,Jiawei; Tong,Yunhai; Cui,Bin |
| 11-Apr-2025 | Exploit your Latents: Coarse-Grained Protein Backmapping with Latent Diffusion Models | Zhang,Rongchao; Huang,Yu; Lou,Yiwei; Xin,Yi; Chen,Haixu; Cao,Yongzhi; Wang,Hanpin |
| 27-Apr-2025 | BQSched: A Non-intrusive Scheduler for Batch Concurrent Queries via Reinforcement Learning | Xu,Chenhao; Chen,Chunyu; Peng,Jinglin; Wang,Jiannan; Gao,Jun |
| 2-Mar-2025 | ER-RAG: Enhance RAG with ER-Based Unified Modeling of Heterogeneous Data Sources | Xia,Yikuan; Chen,Jiazun; Zhan,Yirui; Zhao,Suifeng; Jiang,Weipeng; Zhang,Chaorui; Han,Wei; Bai,Bo; Gao,Jun |
| 29-Mar-2025 | SmartFL: Semantics Based Probabilistic Fault Localization | Wu,Yiqian; Liu,Yujie; Yin,Yi; Zeng,Muhan; Ye,Zhentao; Zhang,Xin; Xiong,Yingfei; Zhang,Lu |
| 14-Apr-2025 | CodeRAG: Supportive Code Retrieval on Bigraph for Real-World Code Generation | Li,Jia; Shi,Xianjie; Zhang,Kechi; Li,Lei; Li,Ge; Tao,Zhengwei; Liu,Fang; Tao,Chongyang; Jin,Zhi |
| May-2025 | CAFE plus : Towards Compact, Adaptive, and Fast Embedding for Large-scale Online Recommendation Models | Liu, Zirui; Zhang, Hailin; Chen, Boxuan; Jiang, Zihan; Zhao, Yikai; Tao, Yangyu; Yang, Tong; Cui, Bin |
| 19-Mar-2025 | 移动应用GUI测试自动生成技术综述 | 王博; 陈冲; 邓明; 董震; 林友芳; 郝丹 |
| 21-Mar-2025 | Dna coding theory and algorithms | Xu, Jin; Liu, Wenbin; Zhang, Kai; Zhu, Enqiang |
| Mar-2025 | Bias behind the Wheel: Fairness Testing of Autonomous Driving Systems | Li, Xinyue; Chen, Zhenpeng; Zhang, Jie m.; Sarro, Federica; Zhang, Ying; Liu, Xuanzhe |
