服务数值、缓存边界与 Agent 的可验证执行
从循环状态舍入、批不变服务到缓存故障与完成契约,解释可靠性和成本如何在执行细节中改变。
阅读全文
🏆 我们的论文 PreServe 获得 ICSE 2026 ACM SIGSOFT 杰出论文奖。港中大报道 ↗
🏆 我们的论文 iKnow 获得 ASE 2025 ACM SIGSOFT 杰出论文奖。港中大报道 ↗
🎉 告警管理论文 AlertGuardian 与云运维 RAG 论文 iKnow 获 ASE'25 录用。
🎉 我们的网络遥测根因分析论文获 ToN 录用。祝贺 Hongyang!
🎉 我们的云故障管理论文获 TSE 录用。祝贺 Zilong!
🎉 我们关于 AI 系统故障分析与故障注入的综述获 TOSEM 录用。
🎉 基于日志的大模型训练故障诊断框架 L4 获 FSE'25 录用。祝贺 Zhihan!
🎉 代码知识增强的根因分析框架 CoCA 获 ICSE'25 录用。祝贺 Yichen!
🎉 微服务追踪框架 Mint 获 ASPLOS'25 录用。祝贺 Haiyu!
🎉 FaaS 配置优化论文 FaaSConf 获 ASE'24 录用(118/587)。祝贺 Yilun!
🏆 追踪采样论文 TraStrainer 在 FSE'24 获得最佳论文奖。
🎉 请求级故障注入论文 MicroFI 获 TDSC 录用。祝贺 Hongyang!
🎉 根因变更分析论文 ChangeRCA 与追踪采样论文 TraStrainer 获 FSE'24 录用(56/483)。
🎉 多模态可观测性数据根因分析论文 Nezha 与数据库配置优化论文 Diagconfig 获 FSE'23 录用。
从循环状态舍入、批不变服务到缓存故障与完成契约,解释可靠性和成本如何在执行细节中改变。
阅读全文从生产者/消费者流水线解释 TLX 的抽象与 Meta 三类生产案例。
从主机中转瓶颈解释 Phoenix 的直接 I/O、流顺序与高并发 TTFT 结果。
计算机科学与技术博士
导师:陈鹏飞教授
计算机技术硕士
导师:陈鹏飞教授
医学信息工程学士
导师:刘秀峰教授