潘晓辉 李少东 奚宏生 吴萍 吴少刚 宫涛 陈意云 章隆兵 许蕾 帅建梅 吴俊杰 孔德光 张健 张福新 谭小彬

代码装配 并发程序 多线程 域一致性模型 BPEL 重放方法 高速缓存一致性 程序分析 分布式共享存储系统 存储体一致性 JIAJIA 增强发生序 锁集 发生序 多核 非一致高速缓存 别名分析 日志文件 软件分布式共享存储系统 hidden Markov模型 时序