曹宏嘉 俞磊 齐宁 张墨华 马湘宁 李晶 赵荣彩 管海兵 张旻 钟珊 武成岗 麦先根 冯晓兵 张兆庆 唐锋 杨克峤 崔慧敏 陈龙 李增祥 邓鵾 苏铭 谢海斌 张军超 周兴铭 李晓勇 丁松阳

间接跳转 快速模拟 程序块 标志位优化 语义图 模型 图匹配 基本块 扩展虚拟栈 模拟器 动态二进制翻译 编译优化 动态反馈 归一 逆向工程 延迟计算 形式化 X86浮点栈 直接替换 线性分析 动态优化 即时计算 热路径 反汇编 浮点翻译 挖掘代码 生成器 解码器 系统升级 IA-64