国精产品999国精产品视频,日产精品卡2卡3卡4卡免费,日产精品卡1卡2卡三卡2408,精美日产MV二线三线是什么,精美日产MV二线三线,日产精品一线二线三线芒果,国精产品一品二品国精品69XX

武成崗  正高級工程師  

研究方向:

所屬部門:處理器芯片重點實驗室

導(dǎo)師類別:博導(dǎo)計算機(jī)系統(tǒng)結(jié)構(gòu)

聯(lián)系方式:wucg@ict.ac.cn

個人網(wǎng)頁:http://carch.ict.ac.cn/~wucg

簡       歷:

武成崗,中國科學(xué)院計算技術(shù)研究所研究員級高級工程師,博士生導(dǎo)師,2001年于中國科學(xué)院計算技術(shù)研究所獲博士學(xué)位。長期從事基于編譯技術(shù)的軟件安全技術(shù)的研究,旨在通過程序分析技術(shù),增強(qiáng)軟件的安全性、可靠性和高效性。在程序缺陷定位、二進(jìn)制代碼的分析變換及優(yōu)化、運(yùn)行時程序行為監(jiān)測、安全防御等方面,有著較深的技術(shù)積累。發(fā)表論文30余篇,部分發(fā)表在TSEICSE、ASE、TPDSTACO、SIGMETRICS、PACT、CGO、VEE、DATE等學(xué)術(shù)會議和期刊上,獲得授權(quán)專利16項,軟件著作權(quán)5項,并于2012年榮獲北京市科學(xué)技術(shù)二等獎。擔(dān)任國際學(xué)術(shù)會議CGO 2013大會主席、APPT 2013程序委員會主席,還擔(dān)任CGO2015-2018、PPoPP2017-2018PLDI2012、CCGrid 2015、ICPADS 2014、PPPJ2014等會議的程序委員會委員。

武成崗是首個擔(dān)任編譯頂級國際學(xué)術(shù)會議CGO大會主席的國內(nèi)學(xué)者,也是首次應(yīng)邀參加編譯旗艦會議PLDI程序委員會的兩位國內(nèi)學(xué)者之一。

主要論著:

1.?Zhe Wang, Chenggang Wu*, Jianjun Li, Yuanming Lai, Xiangyu Zhang, Wei-Chung Hsu, Yueqiang Cheng: RERANZ: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks. the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment (VEE 2017) April 08 - 09, 2017, Xi'an, China.

2.?Qixue Xiao, Yu Chen*, Chenggang Wu*, Kang Li, Junjie Mao, Shize Guo and Yuanchun Shi: pbSE: Phase-based Symbolic Execution. the 47th IEEE/IFIP International Conference on Dependable Systems and Networks(DSN 2017). June 26-29, 2017. Denver,CO,USA

3.?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. ACM/IEEE 37th International Conference on Software Engineering (ICSE 2015).16-25 May, 2015. Firenze, Italy.

4.?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. the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment (VEE 2015) 14-15 March, 2015, Istanbul, Turkey.

5.?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).

6.?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 Swedendownload download

7.?Jianjun Li, Zhenjiang Wang, Chenggang Wu, Wei-Chung Hsu, Di Xu: Dynamic and Adaptive Calling Context Encoding. 2014 International Symposium on Code Generation and Optimization (CGO 2014). February 15-19, 2014, Orlando, Florida.

8.?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.

9.?Xiang Yuan, Chenggang Wu, Pen-Chung Yew, Wenwen Wang, Zhenjiang Wang, Jianjun Li, and Di Xu: Synchronization Identification through On-the-fly Test. Euro-Par 2013,Aachen, Germany, August 26-30, 2013

10.?Di Xu, Chenggang Wu, Pen-Chung Yew, Jianjun Li, Zhenjiang Wang: Providing Fairness on Shared-Memory Multiprocessors via Process Scheduling. Accepted by SIGMETRICS/Performance 2012, London, United Kingdom, June 11-15, 2012

11.?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), Volume 8 Issue 4. Article 26.

12.?Jianjun Li, Chenggang Wu, Wei-Chung Hsu: Efficient and Effective Misaligned Data Access Handling in a Dynamic Binary Translation System. Accepted for publication in ACM's Transactions on Architecture and Code Optimization (TACO)

13.?Jianjun Li, Chenggang Wu, Wei-Chung Hsu: Dynamic Register Promotion of Stack Variables. IEEE/ACM International Symposium on Code Generation and Optimization (CGO). April 02-06, 2011, Chamonix, France.

14.?Di Xu, Chenggang Wu, and Pen-Chung Yew: On Mitigating Memory Bandwidth Contention through Bandwidth-Aware Scheduling. The Nineteenth ACM International Conference on Parallel Architectures and Compilation Techniques (PACT 2010) Vienna, Austria, September 11-15, 2010

15.?Zhenjiang Wang, Chenggang Wu and Pen-Chung Yew: On Improving Heap Memory Layout by Dynamic Pool Allocation. IEEE Code Generation and Optimization (CGO 2010). April 24-28, 2010, in Toronto, Canada.?Pages: 92-100.

16.?Jianjun Li, Chenggang Wu, Wei-Chung Hsu: Evaluating Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems. IEEE Code Generation and Optimization (CGO 2009). March 22-25, 2009, in Seattle, WA. P180-189.

科研項目:

1、 國家自然科學(xué)基金重點項目:“多層次軟件架構(gòu)的漏洞感知及防利用技術(shù)研究”。(負(fù)責(zé)人)

2、 國家自然科學(xué)基金重點項目:“數(shù)據(jù)并行與線程并行合一的可伸縮處理器體系結(jié)構(gòu)”。(編譯分課題負(fù)責(zé)人)

3國家自然科學(xué)基金項目 “動態(tài)二進(jìn)制翻譯及優(yōu)化中低開銷技術(shù)的研究” (負(fù)責(zé)人)

4、?國家自然科學(xué)基金重點項目:“高性能片上存儲系統(tǒng)”(子課題負(fù)責(zé)人)


獲獎及榮譽(yù):

[1] 1993年獲軍隊科技進(jìn)步二等獎

??

[2] 2006年中科院計算所優(yōu)秀員工

[3] 2007獲中科院計算所所長獎教金

[4] 2009獲中科院計算所優(yōu)秀員工

????

[5] 2010獲聯(lián)想獎教金

[6] 2012計算所卓越之星

[7] 2012?北京市科學(xué)技術(shù)成果獎(二等)

[8] 2013?獲浪潮獎教金

學(xué)生培養(yǎng)情況:

李建軍:所長特別獎

陳龍:所長特別獎、朱李月華獎、優(yōu)秀畢業(yè)生

王振江:聯(lián)想博士生獎

徐地:曙光博士獎

遠(yuǎn)翔:所長優(yōu)秀獎和北緯通信碩士生獎

謝海斌:所長優(yōu)秀獎

唐鋒:所長優(yōu)秀獎

張洪娟:曙光博士生獎

黎進(jìn):華為碩士生獎

李斌:所長優(yōu)秀獎

禄劝| 临江市| 崇州市| 丰城市| 封开县| 秭归县| 常州市| 松阳县| 朝阳县| 通河县| 府谷县| 吕梁市| 万山特区| 仙游县| 余江县| 志丹县| 汾西县| 闽侯县| 金坛市| 扬中市| 谷城县| 全州县| 稻城县| 西和县| 土默特右旗| 平阴县| 怀集县| 淮北市| 大理市| 安康市| 衡东县| 常德市| 迁安市| 习水县| 许昌县| 孟村| 绥阳县| 浮山县| 郎溪县| 乐陵市| 建水县|