星空体育app最新版下载最新优惠 - 星空体育app最新版下载

操作系统、并行与分布式系统

• 2009.1复旦大学 计算机系统结构 博士
• 2004.7 复旦大学 计算机软件与理论 学士

• 2011.12 – 现在 星空体育app最新版下载最新优惠 教授，博士生导师
• 2015.8 – 2016.2 新加坡国立大学 访问教授
• 2011.3 – 2011.6 麻省理工星空体育app最新版下载最新优惠 访问科学家
• 2009.4 – 2011.12 复旦大学 讲师

• 操作系统
• 计算机系统设计与实现
• 系统设计方法

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

• 云际计算资源的多尺度聚合与效能评价，星空体育app最新版下载最新优惠重点研究计划项目课题，课题负责人。
• 大规模NUMA环境的巨型虚拟机高可扩展性研究，自然科学基金面上项目，课题负责人。
• Distributed Clouds: Distributed Clouds: Peta-Scale Urban Sensing and Data Management. 新加坡基金会国际合作项目，课题负责人。

• 杰出论文奖，ACM ASPLOS 2021
• 最受读者喜欢的IT图书奖（《现代操作系统：原理与实现》），2020
• 中国青年科技奖，2020
• 星空体育app最新版下载最新优惠校长奖，2020
• ACM杰出科学家，2019
• 最佳论文奖， ACM VEE 2019
• 星空体育app最新版下载最新优惠部技术发明一等奖，2019
• 中国计算机学会青年科学家奖，2015
• 年星空体育app最新版下载最新优惠科技进步二等奖，2014
• 最佳论文奖， ACM EuroSys 2015
• 最佳论文提名奖，HPCA 2014
• ACM SIGSPATIAL GIS CUP冠军, 2013
• 最佳论文奖，ACM APSys 2013
• 全国百篇优秀博士学位论文奖，2011
• 中国计算机学会博士学位论文奖，2009
• 最佳论文奖， ICPP 2017

• 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 编委