ICECCS 2025 Program (UTC+8)
1 July (Tuesday)
2 July (Wednesday)
3 July (Thursday)
4 July (Friday)
1 July Tuesday (Venue: Wangyue Hall, 3rd Floor)
13:00 - 18:00
Registration
Position Papers for LLMs
14:30 - 14:50
A Vision for Access Control in LLM Agent Systems
Dong Huang, Jie Li, Hongyi Cai, Xinfeng Li, Yijia Xu, Wenbing Tang, Jie Zhang, and Yang Liu
14:50 - 15:10
Agent Behavior: The Regulatory Object of the Agent-Centric Online Ecosystem in Digital Age
Qiang Zhang, Pei Yan, Yijia Xu, Xinfeng Li, Hongyi Cai, Chuanpo Fu, Yong Fang, Yang Liu
15:10 - 15:30
Empowering Embodied Agents with Semantic Intelligence
Wenbing Tang, Meilin Zhu, Fenghua Wu, Xinfeng Li, and Yang Liu
15:30 - 15:50
Tea Break
15:50 - 16:10
An Analytical Perspective on Software Engineering for Large Language Models
Tianlin Li, Qiang Hu, Chong Wang, Jian Zhang, Wei Ma, Aishan Liu, Jingyi Wang, and Yang Liu
16:10 - 16:30
LiCoVer: LLM-Powered Automated OSS License Compliance Verification
Shuhao Chang, Xin Li, Jigang Xie, Hao Wu, and Haijun Wang
16:30 - 16:50
UFPC: A Unified Framework for Source and Binary Program Comprehension
Yiran Zhang, Weisong Sun, Yuqiang Sun, Chengwei Liu, Xiaohong Chen, and Yang Liu
16:50 - 17:10
TestCaseMig: LLM-Driven Test Case Migration for Evolving Codebases
Wuhe Axi, Xin Li, Jigang Xie, Xitao Li, and Haijun Wang
17:10 - 17:30
Evolaris: A Roadmap to Self-Evolving Software Intelligence Management
Chengwei Liu, Wenbo Guo, Yuxin Zhang, Limin Wang, Sen Chen, Lei Bu, and Yang Liu
18:00 - 19:30
Dinner
2 July Wednesday (Venue: Yinyue Hall, 3rd Floor)
08:00 - 17:00
Registration
09:00 - 09:30
Opening Remark (Host: Weiwei Xu)
09:30 - 10:30
Keynote 1: Failure-Based Testing
Prof. Tsong Yueh Chen
10:30 - 11:00
Tea Break
11:00 - 12:30
Machine Learning for Complex Systems
Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach
Ivan Tan, Wei Minn, Christopher M. Poskitt, Lwin Khin Shar, and Lingxiao Jiang
FinPTA: An Effective Model for Financial Sentiment Analysis
Chen Yang, Xiao Yi, Guisheng Fan, Huiqun Yu, and Hengrun Zhang
Single Image Defocus Deblurring in Photography Systems
He Zhao, Shenggui Ling, Hongmin Zhan, and Rui Shi
12:30 - 14:30
Lunch
14:30 - 15:30
Machine Learning for Complex Systems
AMF-GCN: An Adaptive Graph Convolution Network for Pull-up Evaluation
Xianglong Cao, Xin Li, and Jijun Tong
A Q-learning-driven multi-crossover NSGA-II framework for energy-efficient hybrid flow shop scheduling
Jiale Wang, Mingyue Jiang, Hongyun Huang, Rui Xie, and Zuohua Ding
15:30 - 16:00
Tea Break
16:00 - 17:30
Trustworthy Deep Learning
MixRecLGB: Language-Enhanced Mixed Attention for Temporal Context Modeling in Time Series Forecasting
Yuxin Mei, Luxi Zhang, Li Han, and Jing Liu
Certified Enumeration of AI Explanations: A Focus on Monotonic Classifiers
Clément Contet, Rosalie Defourné, and Aurélie Hurault
Online
Random Resampling of Training Data for Effective Verification Strategy Prediction
Bharti Chimdyalwar, Priyanka Darke, R Venkatesh, and Supratik Chakraborty
18:00 - 19:30
Dinner
3 July Thursday (Venue: Wangyue Hall, 3rd Floor)
09:30 - 10:30
Keynote 2: Securing the Mind and Body: Trustworthy Agent Systems Powered by Generative AI Models
Prof. Tianwei Zhang
10:30 - 11:00
Tea Break
11:00 - 12:30
Trustworthy Deep Learning
PAMUS: An Entropy-Loss-Based Poisoning Attack for Undermining Machine Unlearning
Xudong Jiang, Yuhang Ma, Wei Xu, and Jiahui Wen
DeepMR: A Learning-Based Approach for Efficient Mutation Reduction in DNN Fault Localization
Huaizhi Yin, Weiwei Wang, and Ruilian Zhao
Investigating the OOV Problem and Its Impacts on Neural Program Repair
Weijun Guo, Xuedan Zheng, and Mingyue Jiang
12:30 - 14:30
Lunch
11:00 - 12:30
Edge Computing Systems
Auction-Based Caching Decision Algorithm for IoT Traffic with Popular and Fresh Content
Hao Xu, Alvin Valera, Wuyungerile Li, and Winston K.G. Seah
Maximizing Long-term Task Completion Ratio of 3D-UAV-Enabled Wirelessly Powered MEC System
Tixin Chen, Guanqun Shen, Xinnan Zhu, Shaojun Zhu, Bincheng Zhu, and Kaikai Chi
15:30 - 16:00
Tea Break
16:00 - 17:30
LLM Empowered Software Engineering
Towards Efficient and Secure Multimodal Misinformation Detection
Jianhao Wei, Yixiao Li, Xiaolong Li, Ming Zhao, Jin Zhang, Limei Li, and Junfeng Yang
Leveraging Large Language Models for Feature Envy Detection: A Context-Aware and Reasoning-Driven Approach
Jiamin Guo, Yangyang Zhao, Zhifei Chen, and Liming Nie
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
Xuemeng Cai, Jiakun Liu, Xiping Huan, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang, Imam Nur Bani Yusuf, and Lingxiao Jiang
18:00 - 20:00
Banquet
4 July Friday (Venue: Wangyue Hall, 3rd Floor)
09:30 - 10:30
Keynote 3: Trustworthiness Assurance of Intelligent Software Systems in the Age of Generative AI
Prof. Lei Ma
10:30 - 11:00
Tea Break
11:00 - 12:30
Formal Methods
LTL Model Checking of Concurrent Self Modifying Code
Tayssir Touili and Olzhas Zhangeldinov
Checking Linearizability of Multi-Core Task Management and Scheduling System
Qiaowen Jia, Liangjie Lv, Yuting Yan, Bohua Zhan, Peng Wu, Jifeng Hao, Hong Ye, Chao Wang, and Yi Lv
Online
Contract-based Verification of Digital Twins
Muhammad Naeem and Cristina Seceleanu
12:30 - 14:30
Lunch
14:30 - 15:30
Formal Methods
Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains
Minghao Li, Liqian Chen, Xinyu Wang, Shifu Yang, Yuan Zhou, and Ji Wang
Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol
Yisong Yu, Zhe Hou, Naipeng Dong, and Jin Song Dong
16:00 - 17:30
Program Analysis
Uncover the Risks of Outdated Dependencies in Software Supply Chains: Insights from the npm Ecosystem
Fenglin Bi, Cheng Liang, Yanbin Zhang, Yang Chen, and Wei Wang
EMS-HFL: A Hybrid based Fault Localization
Donghua Wang, Zheng Li, Hengyuan Liu, and Yong Liu
CONTAST: Graph Embedding based Fault Localization Integrating AST and Context-Awareness
Haodong He, Tingting Wu, Qi Jin, and Zuohua Ding