武成岗

时间:2024-01-20 22:50:54编辑:影视君

武成岗的个人简介

武成岗,男,中科院计算所正研级高级工程师,博士生导师。

从事基于编译技术的软件安全的研究,旨在通过编译技术手段,增强软件的安全性、可靠性和高效性。在程序缺陷定位、二进制代码的分析变换及优化、运行时程序行为监测、软件安全免疫等方面,有着较深的技术积累。发表论文近30篇,部分发表在ICSE、TPDS、TACO、SIGMETRICS、ASE、PACT、CGO、VEE、DATE等学术期刊和会议上,获得授权专利16项,软件著作权5项,并于2012年荣获北京市科学技术二等奖。担任国际学术会议CGO 2013大会主席、APPT 2013程序委员会主席,还担任CGO2015、CGO2016、PLDI2012、CCGrid 2015、ICPADS 2014、PPPJ2014等会议的程序委员会委员。

个人信息

姓名:武成岗

职称:正研级高级工程师

基本情况

武成岗,男,中科院计算所正研级高级工程师,博士生导师,中国计算机学会专委工作委员会委员、中国计算机学会体系结构专委会副主任、ACM和IEEE会员。2001年毕业于中国科学院计算技术研究所, 获博士学位。长期从事动态编译技术研究,在跨指令集虚拟化和软件安全方面方面进行了较为深入的探索。

研究方向

多年从事动态编译(系统结构重要方向)的研究,潜心探索代码分析、变换和优化技术。成果主要应用于:(1)跨指令集虚拟机,解决国产CPU与国际主流CPU 指令集不兼容问题。(2)内构安全编译平台,提升软件系统的安全性。研究工作得到来自于国家核高基重大专项、国家863重点、国家自然科学基金重点、企业等项目的支持。研究成果于2012年获北京市科学技术二等奖(第一获奖人),发表论文27篇,部分篇发表在ICSE、TPDS、SIGMETRICS、TACO、CGO、PACT、ASE、DATE、VEE等学术会议/期刊上,并获授权发明专利15项,软件著作权4项。

成为首个担任顶级学术会议CGO大会主席的欧美以外学者,并加入CGO Steering Committee。还担任CCF体系结构专委会副主任,并担任APPT 2013的PC chair; PLDI、CGO等会议的PC委员。

代表性学术论文

Copyright Notice. The below materials are distributed only for scholarly and technical work. Copyright and all rights are reserved by authors and copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s or organization’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

[The author with * is the correspondence author.]

2015--

Xiang Yuan,?Chenggang Wu*, Zhenjiang Wang, Jianjun Li, Pen-Chung Yew, Jeff Huang, Xiaobing Feng, Yanyan Lan, Yunji Chen and Yong Guan: Reproducing Concurrency Bugs Using Local Clocks. Accepted by ACM/IEEE 37th International Conference on Software Engineering?(ICSE 2015).16-25 May, 2015. Firenze, Italy.Zhe Wang, Jianjun Li,?Chenggang Wu*, Dongyan Yang, Zhenjiang Wang, Wei-Chung Hsu, Bin Li, Yong Guan: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines.Accepted by the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment?(VEE 2015)?14-15 March, 2015, Istanbul, Turkey.Chenggang Wu, Jin Li, Di Xu, Pen-Chung Yew, Jianjun Li, and?Zhenjiang Wang*: FPS: A Fair-progress Process Scheduling Policy on Shared-Memory Multiprocessors. IEEE Transactions on Parallel and Distributed Systems Volume:26, Issue:2; page 444-454, Feb 2015?(TPDS 2015).2014--
Wenwen Wang,Zhenjiang Wang,?Chenggang Wu*, Pen-Chung Yew, Xipeng Shen, Xiang Yuan, Jianjun Li, Xiaobing Feng and Yong Guan: Localization of Concurrency Bugs Using Shared Memory Access Pairs.29th IEEE/ACM International Conference on Automated Software Engineering?(ASE 2014)September 15 - 19, 2014 Sweden?Hui Guo, Zhenjiang Wang,?Chenggang Wu*?and Ruining He: EATBit: Effective Automated Test for Binary Translation with High Code Coverage. Design, Automation & Test in Europe?(DATE 2014)?. 24-28 March, 2014-Dresden, Germany.?Jianjun Li, Zhenjiang Wang,?Chenggang Wu*, Wei-Chung Hsu, Di Xu: Dynamic and Adaptive Calling Context Encoding. International Symposium on Code Generation and Optimization?(CGO 2014)?. February 15-19, 2014, Orlando, Florida.?2013--
Xiang Yuan, Zhenjiang Wang,?Chenggang Wu*, Pen-Chung Yew, Wenwen Wang, Jianjun Li, and Di Xu: Synchronization Identification through On-the-fly Test.?Euro-Par 2013?,Aachen, Germany, August 26-30, 2013.?2012--
Di Xu,?Chenggang Wu*, Pen-Chung Yew, Jianjun Li, Zhenjiang Wang: Providing Fairness on Shared-Memory Multiprocessors via Process Scheduling.SIGMETRICS/Performance 2012?, London, United Kingdom, June 11-15, 2012.?Zhengjiang Wang,?Chenggang Wu*, Pen-Chung Yew, Jianjun Li and Di Xu: On-the-fly Structure Splitting for Heap Objects. ACM Transactions on Architecture and Code Optimization?(TACO 2012)?,January 2012, Volume 8 Issue 4 ?2011--
Jianjun Li,?Chenggang Wu, Wei-Chung Hsu: Efficient and Effective Misaligned Data Access Handling in a Dynamic Binary Translation System. ACM Transactions on Architecture and Code Optimization?(TACO 2011), Vol. 8, No. 2, Article 7. ?Jianjun Li,?Chenggang Wu*, Wei-Chung Hsu: Dynamic Register Promotion of Stack Variables. IEEE/ACM International Symposium on Code Generation and Optimization?(CGO 2011). April 02-06, 2011, Chamonix, France. ?2010--
Di Xu,?Chenggang Wu*, Pen-Chung Yew: On Mitigating Memory Bandwidth Contention through Bandwidth-Aware Scheduling. International Conference on Parallel Architectures and Compilation Techniques?(PACT2010). Sept 11-16, Vienna, Austria. ?Zhenjiang Wang,?Chenggang Wu*, Pen-Chung Yew: On Improving Heap Memory Layout by Dynamic Pool Allocation. IEEE/ACM International Symposium on Code Generation and Optimization?(CGO 2010). April 24-28, 2010, Toronto, Ontario, Canada. p92-100 ?2009--
Jianjun Li,?Chenggang Wu*, Wei-Chung Hsu: Evaluating Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems. IEEE/ACM International Symposium on Code Generation and Optimization?(CGO 2009). March 22-25, 2009, in Seattle, WA. P180-189. ?

上一篇:相丹芳

下一篇:第一师