陈意云 丁佐华 陈海诠 刘震 张德运 董皓 张泉 丁志军 王静 肖健宇 毛澄映 张广泉 刘静 缪力 蒋昌俊 陈道蓄 谢晓东 潘永华 戚晓芳 徐宝文 谢立 韩杰 顾庆 张健 卢炎生 孙钟秀 吴时霖 陈涵生 江明月 吴萍

数据竞争 调试器 CSPE 公平转换系统 循环-承载数据依赖 状态爆炸 验证 粒度求精 重叠执行 别名分析 交替计算 安全性 程序设计语言 常微分方程 发射区 局部存贮器 限制临界引用 活性 管程 程序依赖图 嵌套关系 复杂性度量 事件约束 会合 同步删除 程序测试 时间Petri网 Ada 程序分析 escape分析