陈福接 王骞 梁刚 陈意云 钱巨 吴萍 赵立军 张兆庆 周天琳 陈林 徐钦桂 张健 周毓明 刘英 刘磊 金国华 于洪涛 刘晓洁 徐宝文

软件重用 类型传播分析 强更新 并行化 并发程序 泛型 域敏感的 基于合并的 程序分析 确定别名 软件重构 单指令多数据 通信流依赖分析 Java程序 Steensgaard风格 控制流分析 指针分析 数据竞争 数据依赖 共享内存 相关性分析