伍鸣 王毅刚 刘彦斌 白成刚 王辉 黄凌碧 袁丽娜 王培东 李跃飞 邹琼 朱小冬 蔡开元 胡伟武 章隆兵 郭君红 张昱

嵌入式系统 寄生技术 软件监控 软件测试 飞行控制软件 形式化方法 自适应 内存管理 ADS 软件故障 即时编译器 嵌入式Linux 反插桩 CodeTEST LKM 覆盖测试 ARM 垃圾收集器 调试代理 预取优化