複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/陳海波/23653494
複製
複製成功

陳海波

（上海交通大學教授、華為操作系統首席科學家）

鎖定
陳海波，男，博士，上海交通大學軟件學院教授、華為操作系統首席科學家、操作系統內核實驗室主任、SOSP首位中國學者主席。系統軟件，系統結構與系統虛擬化。 [4-5] 
中文名
陳海波
畢業院校
復旦大學 [5] 
職    業
教師
任職院校
上海交通大學軟件學院
學位/學歷
博士

目錄

  1. 1 教育背景
  2. 2 學術兼職
  3. 3 獲獎情況
  1. 4 科研項目
  2. 5 研究領域
  3. 6 工作經歷
  1. 7 人物貢獻
  2. 8 人物榮譽
  3. 9 代表性論著

陳海波教育背景

2011.12 – 現在 上海交通大學 教授，博士生導師 [8] 
2015.8 – 2016.2 新加坡國立大學 訪問教授
2011.3 – 2011.6 麻省理工學院 訪問科學家
2009.4 – 2011.12 復旦大學 講師 [8] 
2004.9 – 2009.1， 博士，復旦大學計算機系統結構專業
2000.9 – 2004.7 ，本科，復旦大學計算機科學與技術專業 [5] 

陳海波學術兼職

Usenix ATC'12, EuroSys'13程序委員會委員，APSys'11大會共同主席；
中國計算機學會體系結構專委會委員；
中國計算機學會系統軟件專委會委員；
SOSP: 2017大會主席，2013, 2015, 2017 程序委員會委員；
ACM APSys指導委員會主席；
ACM SIGOPS ChinaSys 主席；
SOSP VEE ICS Usenix ATC；
SOSP VEE ICS Usenix ATC ISCA, ASPLOS, EuroSys, Usenix ATC, PPoPP, Oakland, FAST, CCS, NDSS等程序委員會委員；
《Communications of the ACM》編委與Special Sections共同主席；
ACM Transactions on Storage 編委； [5] 

陳海波獲獎情況

2022年度陳嘉庚青年科學獎信息技術科學獎 [7] 
2012年NetApp Faculty Fellowship
2011年全國優秀博士學位論文獎
2010年IBM X10 Faculty Award
2009年中國計算機學會優秀博士論文
2009年中國計算機學會上海青年IT新鋭
第36屆國際並行處理會議(ICPP-2007)最佳論文獎
2006年Intel中國信息科學熱點課題最佳研究報告獎
  • 傑出論文獎，ACM ASPLOS 2021
  • 最受讀者喜歡的IT圖書獎（《現代操作系統：原理與實現》），2020
  • 中國青年科技獎，2020
  • 上海交通大學校長獎，2020
  • ACM傑出科學家，2019
  • 最佳論文獎， ACM VEE 2019
  • 教育部技術發明一等獎，2019
  • 中國計算機學會青年科學家獎，2015
  • 年國家科技進步二等獎，2014
  • 最佳論文獎， ACM EuroSys 2015
  • 最佳論文提名獎，HPCA 2014
  • ACM SIGSPATIAL GIS CUP冠軍, 2013
  • 最佳論文獎，ACM APSys 2013
  • 全國百篇優秀博士學位論文獎，2011
  • 中國計算機學會博士學位論文獎，2009
  • 最佳論文獎， ICPP 2017 [5] 

陳海波科研項目

1. 雲際計算資源的多尺度聚合與效能評價，國家重點研究計劃項目課題，課題負責人。
2.大規模NUMA環境的巨型虛擬機高可擴展性研究，自然科學基金面上項目，課題負責人。
3. Distributed Clouds: Distributed Clouds: Peta-Scale Urban Sensing and Data Management. 新加坡基金會國際合作項目，課題負責人。 [5] 

陳海波研究領域

操作系統、並行與分佈式系統。 [5] 

陳海波工作經歷

2011.12 – 現在 上海交通大學 教授，博士生導師；
2015.8 – 2016.2 新加坡國立大學 訪問教授；
2011.3 – 2011.6 麻省理工學院 訪問科學家；
2009.4 – 2011.12 復旦大學 講師。 [5] 

陳海波人物貢獻

為分佈式操作系統的設計和實現做出貢獻。 [6] 

陳海波人物榮譽

2019年8月2日，入選2019年度國家傑出青年科學基金建議資助項目申請人名單。 [1] 
2020年8月，入選第十六屆中國青年科技獎獲獎人選名單。 [2] 
2020年10月15日，獲得第十六屆中國青年科技獎。 [3] 
2022年11月21日，入選2023年IEEE Fellow名單。 [6] 
2022年12月16日，以“高安全操作系統創新與應用”成果獲得2022年度陳嘉庚青年科學獎信息技術科學獎。 [9] 

陳海波代表性論著

1. [SOSP] Using Concurrent Relational Logic with Helper for Verifying the AtomFS File System. Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen. The 27th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, Ontario, Canada, October 27-30, 2019. [8] 
2. [SOSP] Performance and Protection in the ZoFS User-space NVM File System. Mingkai Dong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen. The 27th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, Ontario, Canada, October 27-30, 2019.
3. [Usenix ATC] EROFS: A Compression-friendly Readonly File System for Resource-scarce Device. Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019.
4. [ISCA] XPC: Architectural Support for Secure and Efficient Cross Process Call. Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen. Proceedings of the 46th ACM/IEEE International Symposium on Computer Architecture, Phoenix, Arizona, USA. June 22-26, 2019.
5. [OSDI] Deconstructing RDMA-enabled Transaction Processing: Hybrid is Better! Xingda Wei, Zhiyuan Dong, Rong Chen, and Haibo Chen. Proceedings of 13th USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, CA, US, October 2018.
6. [SOSP] Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. Yunhao Zhang, Rong Chen, and Haibo Chen. Proceedings of the 26th ACM Symposium on Operating Systems Principles, Shanghai, China, October, 2017.
7. [TOCS] Fast In-memory Transaction Processing using RDMA and HTM. Haibo Chen, Rong Chen, Xingda Wei, Jiaxin Shi, Yanzhe Chen, Zhaoguo Wang, Binyu Zang, Haibing Guan. ACM Transactions on Computer Systems, Vol. 35, No. 1, Article 3, Jul, 2017.
8. [OSDI] Fast and Concurrent RDF Queries with RDMA-based Distributed Graph Exploration. Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen and Feifei Li. 2016 Usenix Symposium on Operating System Design and Implementation. Savannah, GA, US, Nov, 2016.
9. [EuroSys] PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs. Rong Chen, Jiaxin Shi, Yanzhe Chen, Haibo Chen. In Proceedings of the 10th European Conference on Computer Systems (Best Paper Award), Bordeaux, France, April 2015.
10.[SOSP] CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization. Fengzhe Zhang, Jin Chen, Haibo Chen and Binyu Zang. In Proceedings of 23rd ACM Symposium on Operating Systems Principles, pp. 203–216, Cascais, Portugal, October, 2011. [8] 
參考資料