欧美在线一级ⅤA免费观看,好吊妞国产欧美日韩观看,日本韩国亚洲综合日韩欧美国产,日本免费A在线

    <menu id="gdpeu"></menu>

  • 武成崗

    武成崗

    武成崗,男,中科院計算所正研級高級工程師,博士生導(dǎo)師。

    從事基于編譯技術(shù)的軟件安全的研究,旨在通過編譯技術(shù)手段,增強軟件的安全性、可靠性和高效性。在程序缺陷定位、二進制代碼的分析變換及優(yōu)化、運行時程序行為監(jiān)測、軟件安全免疫等方面,有著較深的技術(shù)積累。發(fā)表論文近30篇,部分發(fā)表在ICSE、TPDS、TACO、SIGMETRICS、ASE、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、CGO2016、PLDI2012、CCGrid 2015、ICPADS 2014、PPPJ2014等會議的程序委員會委員。


    個人信息

    姓名:武成崗

    職稱:正研級高級工程師

    基本情況

    武成崗,男,中科院計算所正研級高級工程師,博士生導(dǎo)師,中國計算機學(xué)會專委工作委員會委員、中國計算機學(xué)會體系結(jié)構(gòu)專委會副主任、ACM和IEEE會員。2001年畢業(yè)于中國科學(xué)院計算技術(shù)研究所, 獲博士學(xué)位。長期從事動態(tài)編譯技術(shù)研究,在跨指令集虛擬化和軟件安全方面方面進行了較為深入的探索。

    研究方向

    多年從事動態(tài)編譯(系統(tǒng)結(jié)構(gòu)重要方向)的研究,潛心探索代碼分析、變換和優(yōu)化技術(shù)。成果主要應(yīng)用于:(1)跨指令集虛擬機,解決國產(chǎn)CPU與國際主流CPU 指令集不兼容問題。(2)內(nèi)構(gòu)安全編譯平臺,提升軟件系統(tǒng)的安全性。研究工作得到來自于國家核高基重大專項、國家863重點、國家自然科學(xué)基金重點、企業(yè)等項目的支持。研究成果于2012年獲北京市科學(xué)技術(shù)二等獎(第一獲獎人),發(fā)表論文27篇,部分篇發(fā)表在ICSE、TPDS、SIGMETRICS、TACO、CGO、PACT、ASE、DATE、VEE等學(xué)術(shù)會議/期刊上,并獲授權(quán)發(fā)明專利15項,軟件著作權(quán)4項。

    成為首個擔(dān)任頂級學(xué)術(shù)會議CGO大會主席的歐美以外學(xué)者,并加入CGO Steering Committee。還擔(dān)任CCF體系結(jié)構(gòu)專委會副主任,并擔(dān)任APPT 2013的PC chair; PLDI、CGO等會議的PC委員。

    代表性學(xué)術(shù)論文

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

    TAGS:
    名人推薦
    • 劉京京,女,中央電視臺體育頻道游泳專項記者。
    • 李偉中 男,漢族,中共黨員,1972年8月出生于河南許昌,2003年7月獲得南開大學(xué)歷史學(xué)博士學(xué)位。
    • 格雷戈里·加爾薩,1991年8月16日出生,美國職業(yè)足球運動員,場上位置是中場,效力于亞特拉斯。
    • 鮑明曉,男,1962年11月19日出生,安徽省蕪湖市人,上海體育學(xué)院畢業(yè),博士、博士生導(dǎo)師。現(xiàn)任北京體育大學(xué)教授、清華大學(xué)體育產(chǎn)業(yè)發(fā)展研究中心學(xué)術(shù)委員會主任、國家體...
    • 魏傳經(jīng),男,1931年3月生于一個沒落的地主家庭,黨集鄉(xiāng)張石店村人。山東省成武縣文化館副研究館員。1951年,魏傳經(jīng)從成武師范畢業(yè)后,被分配到成武縣文化館工作, 收集...
    • 羅伯特·沃爾克爾是一名奧地利籍足球運動員,球場位置是中場。
    名人推薦