- Qingfeng Xiang, Yingxia Shao, Quanqing Xu, Chuanhui Yang. Distributed Database Diagnosis Method for Compound Anomalies. Int. J. Software and Informatics, 15(1):115-137, 2025.
- Zimao Xu, Yanjie Jiang, Yuxia Zhang, Hui Liu. Large-language-model-based Decomposition of Long Methods. Int. J. Software and Informatics, 15(2):233-250, 2025.
- Yanjun Wu, Tao Xie, Rui Hou 0001, Ke Zhang 0017, Wei Song, Mingjie Xing. Preface to the Special Issue on RISC-V System Software and Hardware/Software Co-design Technology. Int. J. Software and Informatics, 15(3):277-281, 2025.
- Yinhao Hong, Hongyao Zhao, Yilin Wang, Xinyue Shi, Wei Lu 0015, Shang Yang, Sheng Du. Deterministic Concurrency Control Based Multi-writer Transaction Processing over Cloud-native Databases. Int. J. Software and Informatics, 15(1):7-42, 2025.
- Xuezheng Xu, Deheng Yang, Wang Lu, Wang Tao, Huang Anwen, Li Qiong. Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model. Int. J. Software and Informatics, 15(3):283-305, 2025.
- Zan Wang, Ying Wang, Bihuan Chen 0001, Yuan Yao, Minling Zhang. Preface to the Special Issue on Software Quality Assurance in the Era of Large Language Models. Int. J. Software and Informatics, 15(2):139-144, 2025.
- Jinchi Han, Zhidong Wang, Hao Ma, Wei Song 0002. Spike-FlexiCAS: RISC-V Processor Simulator Supporting Flexible Cache Architecture Configuration. Int. J. Software and Informatics, 15(3):329-348, 2025.
- Xingyu Liu, Shaoxu Song, Xiangdong Huang, Jianmin Wang 0001. Short Time Series Group Compression and Merging Method in Apache TsFile. Int. J. Software and Informatics, 15(1):87-113, 2025.
- Chuandong Li 0004, Ran Yi 0004, Yingwei Luo, Xiaolin Wang 0001, Zhenlin Wang 0003. Lazy Shadow Paging Under the RISC-V Architecture. Int. J. Software and Informatics, 15(3):349-367, 2025.
- Xizao Wang, Tianqi Shen, Xiangrong Bin, Lei Bu. LLM-powered Datalog Code Translation and Incremental Program Analysis Framework. Int. J. Software and Informatics, 15(2):251-276, 2025.