夏勇 刘喜华 陶秋铭 谢立 陈乃激 卢炎生 卢超 刘振安 张明 赵小松 陈道蓄 谢晓东 何锫 王双成 陶荣 唐海燕 苑森淼 周静 张强 黄道昌 阳雪林 胡学钢 赵琛 薛云志 于勐 曾国荪 胡春玲

最大似然树 并行验证 碰撞识别 软件测试 打分-搜索 程序变换 数据分布 因果语义 调度 Gibbs 抽样 隐藏变量 并发 投机并行 死锁 Java类文件 贝叶斯网络 结构学习 并行编译 自动并行编译 循环优化变换 运行异常 分支时序逻辑 Hoare逻辑 循环级并行 丢失数据 Gibbs抽样