个人简介
招生专业
081201-计算机系统结构
招生方向
计算机系统安全
智能安全技术
虚拟化
教育背景
2006-11--2007-08 University of Minnesota 访问学者
1998-09--2001-07 中国科学院计算技术研究所 博士
1991-09--1996-01 解放军信息工程学院 硕士
1987-08--1991-07 解放军信息工程学院 学士
工作简历
2003-12~2016-08,中国科学院计算技术研究所, 副研究员、研究员级高级工程师
1987-08~2003-12,解放军信息工程大学, 讲师
教授课程
《程序设计语言》
程序设计
程序设计语言
程序语言设计
奖励信息
（1） 北京市科学技术奖, 二等奖, 省级, 2012
专利成果
（ 1 ） 一种遗产代码向现代语言变换过程中的控制流变换方法, 发明, 2007, 专利号: 200410030988.2
（ 2 ） 二进制翻译中标志位的优化处理方法 , 发明, 2007, 专利号: 200310102443.3
（ 3 ） 动静结合二进制翻译中静态信息不完备的处理方法及装置 , 发明, 2008, 专利号: 200410009287.0
（ 4 ） 一种动态二进制翻译中的翻译方法 , 发明, 2007, 专利号: 200410069182.4
（ 5 ） 二进制翻译中对X86中浮点运算的处理方法 , 发明, 2007, 专利号: 200410074532.6
（ 6 ） 二进制翻译中的库函数调用处理方法 , 发明, 2008, 专利号: 200410081020.2
（ 7 ） 二进制翻译中标志位的优化处理方法 , 发明, 2007, 专利号: 200310102443.3
（ 8 ） 一种抵御代码重用攻击的方法, 发明, 2015, 第 2 作者, 专利号: CN201510501698.X
（ 9 ） 函数调用路径编解码方法、装置及系统, 发明, 2014, 第 2 作者, 专利号: CN201410310847.X
（ 10 ） 共享库的二进制翻译执行方法和装置, 发明, 2014, 第 2 作者, 专利号: CN201410306773.2
（ 11 ） 一种内存虚拟化的方法及装置, 发明, 2013, 第 2 作者, 专利号: CN201310752024.8
（ 12 ） 一种基于阶段分析的缓冲动态划分方法和系统, 发明, 2010, 第 2 作者, 专利号: CN201010212895.7
（ 13 ） 一种应用的保护方法及系统, 发明, 2018, 第 2 作者, 专利号: CN201810164759.1
（ 14 ） 一种容器虚拟化安全加固装置及方法, 发明, 2019, 第 2 作者, 专利号: 201910188731.6
科研项目
（ 1 ） 面向多核/众核处理器的并行程序调试技术与工具（计算所分课题）, 主持, 国家级, 2012-01--2016-01
（ 2 ） 数据并行与线程并行合一的可伸缩处理器体系结构, 参与, 国家级, 2014-01--2018-12
（ 3 ） 模拟器性能优化, 主持, 研究所（学校）, 2013-02--2015-02
（ 4 ） PRAC, 主持, 国家级, 2015-01--2015-12
（ 5 ） 基于代码编译技术的A系统, 主持, 研究所（学校）, 2015-01--2015-12
（ 6 ） 代码布局持续随机化关键技术研究, 主持, 省级, 2016-01--2017-12
（ 7 ） 多层次软件架构的漏洞感知及防利用技术研究, 主持, 国家级, 2018-01--2021-12
参与会议
代码生成与优化 2009-03-22
IEEE计算机网络与移动计算会议 2001-10-16
研究领域
从事基于编译技术的系统安全的研究，旨在通过编译技术手段，增强软件的安全性、可靠性、和高效性。课题组在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、软件安全防疫等方面，有着较深的技术积累。正在探索内建安全技术，即在软件的设计和开发过程中，通过编译器、运行时环境相结合，加以软件缺陷滤除等机制，来提升软件的抗攻击能力。
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1） SEIMI: Efficient and Secure SMAP-Enabled Intra-process Memory Isolation, 41st IEEE Symposium on Security and Privacy 41st IEEE Symposium on Security and Privacy （CCF A类）, 2020, 通讯作者
（2） SafeHidden: An Efficient and Secure Information Hiding Technique Using Re-randomization, 28th USENIX Security Symposium（CCF A类）, 2019, 通讯作者
（3） Using Local Clocks to Reproduce Concurrency Bugs, IEEE Transactions on Software Engineering（CCF A类）, 2017, 通讯作者
（4） RERANZ：一个抵御内存泄露攻击的轻量级虚拟机, RERANZ: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks, Virtual Execution Environments （CCF B类）, 2017, 通讯作者
（5） pbSE: Phase-based Symbolic, The IEEE/IFIP International Conference on Dependable Systems and Networks （CCF B类）, 2017, 通讯作者
（6） Reproducing Concurrency Bugs Using Local Clocks, ACM/IEEE 37th International Conference on Software Engineering (ICSE 2015) （CCF A类）., 2015, 通讯作者
（7） Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines, the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment (VEE 2015) （CCF B类）, 2015, 通讯作者
（8） FPS: A Fair-progress Process Scheduling Policy on Shared-Memory Multiprocessors, IEEE Transactions on Parallel and Distributed Systems(TPDS) （CCF A类）, 2015, 第 1 作者
（9） Localization of Concurrency Bugs Using Shared Memory Access, 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) (CCF A类）, 2014, 通讯作者
（10） Dynamic and Adaptive Calling Context Encoding, International Symposium on Code Generation and Optimization(CGO) （CCF B类）, 2014, 通讯作者
（11） EATBit Effective Automated Test for Binary Translation with High Code Coverage, Design Automation and Test in Europe (DATE) （CCF B类）, 2014, 通讯作者
（12） Synchronization Identification through On-the-fly Test, Euro-Par 2013, 2013, 通讯作者
（13） Providing Fairness on Shared-Memory Multiprocessors via Process Scheduling, SIGMETRICS/Performance 2012 （CCF B类）, 2012, 通讯作者
（14） On-the-fly Structure Splitting for Heap Objects, ACM Transactions on Architecture and Code Optimization （CCF B类）, 2012, 通讯作者
（15） Efficient and Effective Misaligned Data Access Handling in a Dynamic Binary Translation System., ACM Transactions on Architecture and Code Optimization (TACO) （CCF B类）, 2011, 第 2 作者
（16） Dynamic Register Promotion of Stack Variables, IEEE/ACM International Symposium on Code Generation and Optimization (CGO). （CCF B类）, 2011, 通讯作者
（17） On Mitigating Memory Bandwidth Contention through Bandwidth-Aware Scheduling, ACM International Conference on Parallel Architectures and Compilation Techniques (PACT ) （CCF B类）, 2010, 通讯作者
（18） On Improving Heap Memory Layout by Dynamic Pool Allocation, IEEE Code Generation and Optimization (CGO 2010) （CCF B类）, 2010, 通讯作者
（19） Evaluating Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems., IEEE Code Generation and Optimization (CGO) （CCF B类）, 2009, 通讯作者
（20） Configurable Mobile Agent and Its Fault-tolerance Mechanism, International Conference on Computer Networks and Mobile Computing (ICCNMC), 2001, 第 2 作者
学术兼职
2020-01-14-2024-01-14,中国计算机学会体系结构专委会, 主任
2018-09-01-2019-09-01,国际会议CC程序委员会委员, 委员
2017-01-01-2017-12-31,PPoPP 2018 程序委员会, 委员
2017-01-01-2017-12-31,CGO 2018程序委员会, 委员
2016-04-01-2017-04-01,CGO 2017 Program Committee, PC member
2016-04-01-2017-04-01,PPoPP 2017 Program Committee, PC member
2015-12-31-2020-12-30,计算机学会体系结构专委会, 副主任
2015-08-01-2016-08-31,ACA 2016 Oganization Committee, Chair
2015-04-01-2016-04-01,CGO 2016 Program Committee, PC member
2014-04-01-2015-04-01,CGO 2015 Program Committee, PC member
2012-08-01-2013-08-31,APPT 2013 Program Committee, Chair
2012-03-22-2014-03-22,计算机学会专委工作委员会, 委员
2011-04-01-2013-06-01,CGO 2013学术会议, 大会主席
京公网安备 11010802027423号