基本信息
霍玮 男信息工程研究所
电子邮件：huowei@iie.ac.cn
通信地址：北京市海淀区闵庄路甲89号
邮政编码：100093


研究领域
招生信息

招生专业 计算机软件与理论
计算机系统结构


招生方向 网络与软件安全
程序分析

教育背景 2003-09--2010-06 中国科学院计算技术研究所 博士研究生，工学博士
1999-09--2003-06 中国科学技术大学 本科，工学学士


学历

学位
工作经历

工作简历 2013-11--今 中国科学院信息工程研究所 副研究员
2009-10--2013-11 中国科学院计算技术研究所 助理研究员


社会兼职
教授课程
专利与奖励

奖励信息

专利成果 （1） 一种检测运行栈与静态数据区重叠的方法，发明，2005，第2作者，专利号：**0.6
（2） 一种动态断点的自动生成方法及系统，发明，2012，第2作者，专利号：**1.7
（3） 一种无损压缩系统依赖图的方法及装置，发明，2012，第2作者，专利号：**0.6
（4） 一种并发分析的方法及装置，发明，2013，第2作者，专利号：**9.2
（5） 软件开发工具的测试方法及系统，发明，2010，第1作者，专利号：**9.6
（6） 一种支持用规则记录变量访问专用寄存器组的处理方法，发明，2005，第3作者，专利号：**9.3
（7） 一种基于传播引擎的错误检测方法及系统，发明，2013，第2作者，专利号：**1.7
（8） 一种基于依赖强度的日志推荐方法，发明，2013，第2作者，专利号：**7.5
（9） 一种计算机软件白盒测试的实现方法及系统，发明，2009，第3作者，专利号：**7.8

出版信息

发表论文 （1） 一种场景敏感的高效错误检测方法，软件学报，2014，第2作者
（2） 一种基于最小调试边界的断点自动生成技术，软件学报，2013，第2作者
（3） Effective Fault Localization Based on Minimum Debugging Frontier Set，International Symposium on Code Generation and Optimization，2013，第2作者
（4） 基于传播引擎的指针引用错误检测，计算机学报，2013，第2作者
（5） 一种提高时序安全属性静态检测实用性的方法，计算机学报，2012，第1作者
（6） Making It Practical and Effective: Fast and Precise May-Happen-in-Parallel Analysis，International conference on parallel architectures and compilation techniques(poster)，2012，第2作者
（7） Can We Make It FasterEfficient May-Happen-in-Parallel Analysis Revisited，International Conference on Parallel and Distributed Computing, Applications and Technologies，2012，第2作者
（8） 静态检测中断驱动程序的数据竞争，计算机研究与发展，2011，第1作者


发表著作
科研活动

科研项目 （1） 基于云计算的移动互联网应用安全检测技术研究，参与，院级级，2014-01--2014-12
（2） 针对多线程程序失效的用户级半自动诊断方法研究，主持，国家级，2012-01--2014-12


参与会议
合作情况

项目协作单位
指导学生