成全在线播放视频在线播放,成全电影大全在线播放,三年成全免费观看大全第四集,三人成全免费观看电视剧高清一共多少集啊,成全电影大全免费观看完整版动漫,成全电影大全在线观看第二季

武成崗  正高級(jí)工程師  

研究方向:

所屬部門:處理器芯片重點(diǎn)實(shí)驗(yàn)室

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

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

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

簡(jiǎn)       歷:

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

武成崗是首個(gè)擔(dān)任編譯頂級(jí)國際學(xué)術(shù)會(huì)議CGO大會(huì)主席的國內(nèi)學(xué)者,也是首次應(yīng)邀參加編譯旗艦會(huì)議PLDI程序委員會(huì)的兩位國內(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.

科研項(xiàng)目:

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

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

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

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


獲獎(jiǎng)及榮譽(yù):

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

??

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

[3] 2007獲中科院計(jì)算所所長獎(jiǎng)教金

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

????

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

[6] 2012計(jì)算所卓越之星

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

[8] 2013?獲浪潮獎(jiǎng)教金

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

李建軍:所長特別獎(jiǎng)

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

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

徐地:曙光博士獎(jiǎng)

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

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

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

張洪娟:曙光博士生獎(jiǎng)

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

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

公主岭市| 新津县| 福海县| 古丈县| 石阡县| 策勒县| 赣榆县| 丰镇市| 晋江市| 宜君县| 满城县| 东阳市| 巴青县| 顺义区| 探索| 房山区| 黄龙县| 刚察县| 越西县| 内乡县| 临颍县| 五华县| 濮阳县| 安化县| 锡林浩特市| 墨竹工卡县| 江西省| 密山市| 天祝| 江门市| 盐池县| 商河县| 射洪县| 长治县| 浦城县| 旺苍县| 利川市| 新田县| 威海市| 阳新县| 北票市|