陈海波

陈海波，男，上海交通大学软件学院教授。

2009.1复旦大学；计算机系统结构；博士

2004.7复旦大学；计算机软件与理论；硕士^[1]

2011.12–现在；上海交通大学；教授，博士生导师

2015.8–2016.2；新加坡国立大学；访问教授

2011.3–2011.6；麻省理工学院；访问科学家

2009.4–2011.12；复旦大学；讲师^[1]

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 编委^[1]

Usenix ATC'12, EuroSys'13程序委员会委员

APSys'11大会共同主席 　　

中国计算机学会体系结构专委会委员 　　

中国计算机学会系统软件专委会委员

2023年6月26日，陈海波教授当选为新一届ACM SIGOPS主席。^[2]

杰出论文奖，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

最佳论文奖， ICPP 2017^[1]

2012年NetApp Faculty Fellowship 　　

2011年全国优秀博士学位论文奖 　　

2010年IBM X10 Faculty Award 　　

2009年中国计算机学会优秀博士论文 　　

2009年中国计算机学会上海青年IT新锐 　　

第36届国际并行处理会议(ICPP-2007)最佳论文奖 　　

2006年Intel中国信息科学热点课题最佳研究报告奖

2019年8月2日，入选2019年度国家杰出青年科学基金建议资助项目申请人名单。^[3]

2020年8月，入选第十六届中国青年科技奖获奖人选名单。^[4]

2020年10月15日，荣获第十六届中国青年科技奖。^[5]

操作系统

计算机系统设计与实现

系统设计方法^[1]

操作系统、并行与分布式系统^[1]

长期从事操作系统研究，在低时延与高可信操作系统前沿研究与产业化方面取得了一系列成果。提出了低时延操作系统的关键方法，突破工业界通用操作系统的形式化验证方法，提高了工业界操作系统的性能与安全性，破解了微内核操作系统高性能、富生态与高安全难以兼得的技术难题，推动了我国操作系统的研究与大规模产业应用。发表学术论文140篇，获授权发明专利15件。^[6]

1.2011.1－2013.12，国家自然科学基金项目，面向多核平台的日用操作系统性能可伸缩性研究”(项目编号：61003002). 19万人民币 　　

2.2010.9－2012.9，上海市科委重点项目，虚拟化数据中心系统结构与应用行为的分析与优化(项目编号：10511500100). 120万人民币。 　　

3.2009.4－2011.4，教育部-英特尔信息技术专项科研基金项目“多核编程模型的优化及系统软件支持”(项目编号MOE-INTEL-09-04), 4万美元。

4.云际计算资源的多尺度聚合与效能评价，国家重点研究计划项目课题，课题负责人。

5.大规模NUMA环境的巨型虚拟机高可扩展性研究，自然科学基金面上项目，课题负责人。

6.Distributed Clouds: Distributed Clouds: Peta-Scale Urban Sensing and Data Management.新加坡基金会国际合作项目，课题负责人。^[1]

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.^[1]

11.Yubin Xia, Yutao Liu, Haibo Chen and Binyu Zang. CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters. In Proceedings of The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012, DCCS Track, to appear), Boston, Massachusetts USA, June, 2012. 　　

12.Zhenman Fang, Qinghao Min, Yibin Hu, Yi Lu, Keyong Zhou, Weihua Zhang, Haibo Chen, Binyu Zang and Jian Li. “Transformer: An Extensible, Fast and Cycle-Accurate Full-system Multi-core Simulator.” to appear in the 49th Design Automation Conference (DAC 2012). San Francisco, USA, June, 2012. 　　

13.Fengzhe Zhang, Jin Chen, Haibo Chen, and Binyu Zang. CloudVisor: Retrofitting Protection of Virtual Machines inMulti-tenant Cloud with Nested Virtualization. In Proceeding of 23rd ACM Symposium on Operating System Principles (SOSP’2011), pp. 203—216, Cascais, Portugal. 2011. 　　

14.Xiang Song, Haibo Chen, Rong Chen, Yuanxun Wang, Binyu Zang. A Case for Scaling Applica- tions to Many-core with OS Clustering. In 2011 ACM European Conference on Computer Systems (Eurosys’2011). pp. 61-76. Salzburg, Austria, April, 2011. 　　

15.Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zang, Binyu Zang. COREMU: a Scalable and Portable Parallel Full-system Emulator. Accepted by ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2011). pp. 213–222. San Antonio, USA, 2011. 　　

16.Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang and Pen-chung Yew. Dynamic Software Updating Using a Relaxed Consistency Model. IEEE Transactions on Software Engineering, Volume 37, number 5, pp. 679-694. 2011. 　　

17.Rong Chen, Haibo Chen, Binyu Zang. Tiled MapReduce: Optimizing Resource Usages of Data- parallel Applications on Multicore with Tiling. The 19th International Conference on Parallel Architectures and Compilation Techniques (PACT). pp.523–534. Vienna, Austria, September, 2010. 　　

18.Xiang Song, Haibo Chen, Binyu Zang. Why Software Hangs and What can be done with it? The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2010, DCCS Track, Practical Experience Reports) pp. 311–316 . Chicago, Illinois, USA, June, 2010. 　　

19.Yijian Huang, Haibo Chen, Binyu Zang. Optimizing Crash Dump in Virtualized Environments. The 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE-2010). pp. 25–36. Pittsburgh, PA, USA. March, 2010. 　　

20.Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandog Mao, Frans Kashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang, Zheng Zhang. Corey: An Operating System for Many Cores. In 8th USENIX Symposium on Operating Systems Design and Implementation(OSDI-2008). pp.43-57. San Diego, CA, USA. December, 2008.

21.[ASPLOS] VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models. J. Oberhauser, R. Chehab, D. Behrens, M. Fu, A. Paolillo, L. Oberhauser, K. Bhat, Y. Wen, H. Chen, J. Kim, V. Vafeiadis. The 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March, 2021.

22.[OSDI] Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache. Xingda Wei, Rong Chen, and Haibo Chen. 14th USENIX Symposium on Operating Systems Design and Implementation, Banff, Alberta, Canada, November 2020.

23.[NSDI] Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. Xingda Wei, Rong Chen, Haibo Chen, Zhaoguo Wang, Zhenhan Gong, and Binyu Zang. Proceedings of 18th USENIX Symposium on Networked Systems Design and Implementation, Boston, MA, US, April 2021.

24.[Usenix ATC] Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services. Mingyu Wu, Ziming Zhao, Yanfei Yang, Haoyu Li, Haibo Chen, Binyu Zang, Haibing Guan, Sanhong Li, Chuansheng Lu, Tongbao Zhang. USENIX Annual Technical Conference, Boston, MA, USA, July 2020.

25.[Usenix ATC] Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen. USENIX Annual Technical Conference, Boston, MA, USA, July 2020.

26.[Usenix Security] Zeyu Mi, Dingji Li, Haibo Chen, Binyu Zang, Haibing Guan. (Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization. In Proceedings of 29th Usenix Security Symposium. Boston, MA, USA. August 12–14, 2020.

27.[PPoPP] Nian Liu, Binyu Zang, Haibo Chen. No Barrier in the Road: A Comprehensive Study and Optimization of ARM Barriers. In The 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2020), San Diego, USA, Feburary, 2020.

28.[PPoPP] Chuzhe Tang, Youyun Wang, Gansen Hu, Zhiyuan Dong, Zhaoguo Wang, Minjie Wang, Haibo Chen. XIndex: A Scalable Learned Index for Multicore Data Storage. In The 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2020), San Diego, USA, February, 2020.

29.[ASPLOS] Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, Haibo Chen. The 25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Accepted), Lausanne, Switzerland, March, 2020.

30.[PODC] On the parallels between Paxos and Raft. Zhaoguo Wang, Changgeng Zhao, Shuai Mu, Haibo Chen and Jinyang Li. 38th Annual ACM Symposium on Principles of Distributed Computing. July 29–August 2, 2019, Toronto, Canada.

31.[Usenix ATC] Janus: A Scalable and Efficient Persistent Transactional Memory. Jinyu Gu, Qianqian Yu, Xiayang Wang, Zhaoguo Wang, Binyu Zang, Haibing Guan, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019.

32.[Usenix ATC] Pragh: Locality-preserving Graph Traversal with Split Live Migration. Xiating Xie, Xingda Wei, Rong Chen, Haibo Chen. 2019 USENIX Annual Technical Conference, Renton, WA, USA, July 2019.

33.[EuroSys] SkyBridge: Fast and Secure Inter-Process Communication for Microkernels. Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, and Haibo Chen. In Proceedings of 14th ACM European Conference on Computer Systems, Dresden, Germany, March, 2019.

34.[USENIX ATC] Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration. Siyuan Wang, Chang Lou, Rong Chen, and Haibo Chen. Proceedings of 2018 USENIX Annual Technical Conference, Boston, MA, US, July 2018.

35.[USENIX ATC] EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, and Binyu Zang, 2018 USENIX Annual Technical Conference, Boston, MA, USA, July 2018.

36.[MobiSys] VButton: Practical Attestation of User-driven Operations in Mobile Apps. Wenhao Li, Shiyu Luo, Zhichuang Sun, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang, and Haibing Guan, The 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, Jun 2018.

37.[ASPLOS] Espresso: Brewing Java For More Non-Volatility. Mingyu Wu, Ziming Zhao, Haoyu Li, Heting Li, Haibo Chen, Binyu Zang and Haibing Guan. The 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Williamsburg, VA, USA, March 2018.

38.[HPCA] Comprehensive VM Protection against Untrusted Hypervisor through Retrofitted AMD Memory Encryption. Yuming Wu, Yutao Liu, Ruifeng Liu, Haibo Chen, Binyu Zang and Haibing Guan. The 24th IEEE International Symposium on High-Performance Computer Architecture, Vienna, Austria. Feb 2018.

39.[ToS] Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication. Haibo Chen, Heng Zhang, Mingkai Dong, Zhaoguo Wang, Yubin Xia, Haibing Guan and Binyu Zang. ACM Transactions on Storage, Volume 13, Issue 3, Article No. 25, Oct. 2017.

40.[NDSS] Deconstructing Xen. Lei Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Haibing Guan, Jingming Li. The Network and Distributed System Security Symposium 2017. San Diego, California. March, 2017.

41.[PPoPP] Eunomia: Scaling Concurrent Search Trees under Contention Using HTM. Xin Wang, Weihua Zhang, Zhaoguo Wang, Ziyun Wei, Haibo Chen, Wenyun Zhao. PPoPP 2017.

42.[HPCA] Transparent and Efficient CFI Enforcement with Intel Processor Trace. Yutao Liu, Peitao Shi, Xinran Wang, Haibo Chen, Binyu Zang and Haibing Guan. The 23rd IEEE Symposium on High Performance Computer Architecture, Feb 2017, Austin, TX, USA.

43.[SoCC] A Case for Virtualizing Persistent Memory. Liang Liang, Rong Chen, Haibo Chen, Yubin Xia, Haibing Guan and Binyu Zang. 2016 ACM Symposium on Cloud Computing (ACM SoCC 2016).

44.[SIGMOD] Scaling Multicore Databases via Constrained Parallel Execution. Zhaoguo Wang, Yang Cui, Han Yi, Shuai Mu, Haibo Chen, Jinyang Li. ACM SIGMOD 2016.

45.[VEE] Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments. Yang Yu, Tianyang Lei, Weihua Zhang, Haibo Chen, Binyu Zang. 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. Atlanta, GA, USA. April 2016.

46.[EuroSys] Fast and General Distributed Transactions Using RDMA and HTM. Yanzhe Chen, Xinda Wei, Jiaxin Shi, Rong Chen and Haibo Chen. In Proceedings of 11th ACM European Conference on Computer Systems, London UK, April, 2016.

47.[FAST] Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication. Heng Zhang, Mingkai Dong, Haibo Chen. 14th USENIX Conference on File and Storage Technologies, Santa Clara, CA, February, 2016.

48.[FAST] Mitigating Sync Amplification for Copy-on-write Virtual Disk. Qingshu Chen, Liang Liang, Yubin Xia, Haibo Chen. 14th USENIX Conference on File and Storage Technologies, Santa Clara, CA, February, 2016.

49.[CCS] Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation. Yutao Liu, Tianyu Zhou, Kexin Chen, Haibo Chen, Yubin Xia. Proceedings of the 22th ACM Conference on Computer and Communications Security, Denver, Colorado, US, October, 2015.

50.[SOSP] Fast In-memory Transaction Processing using RDMA and HTM. Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen. In Proceedings of 2015 ACM Symposium on Operating System Principles, Monterey, CA, October 2015.

51.[Usenix Security] You Shouldn’t Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps. Jin Chen, Haibo Chen, Erick Bauman, Zhiqiang Lin, Binyu Zang, Haibing Guan. USENIX Security Symposium, Washington DC, USA, July, 2015.

52.[ISCA] Reducing World Switches in Virtualized Environment with Flexible Cross-world Calls. Wenhao Li, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan. In the 42nd International Symposium on Computer Architecture, Portland, Oregon, USA. June 2015.

53.[MobiSys] AdAttester: Secure Online Advertisement Attestation on Mobile Devices Using TrustZone. Wenhao Li, Haibo Li, Haibo Chen, Yubin Xia. In Proceedings of the 13th International Conference on Mobile Systems, Applications, and Services, Florence, Italy. May 2015.

54.[EuroSys] TinMan: Eliminating Confidential Mobile Data Exposure with Security-oriented Offloading. Yubin Xia, Yutao Liu, Cheng Tan, Mingyang Ma, Haibing Guan, Binyu Zang, Haibo Chen. In Proceedings of the 10th European Conference on Computer Systems, Bordeaux, France, April 2015.

55.[PPoPP] NUMA-aware Graph-structured Analytics. Kaiyuan Zhang, Rong Chen and Haibo Chen. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Bay Area, California, USA, February, 2015.

56.[PPoPP] SYNC or ASYNC: Time to Fuse for Distributed Graph-parallel Computation. Chenning Xie, Rong Chen, Haibing Guan, Binyu Zang and Haibo Chen. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Bay Area, California, USA, February, 2015.

57.[Usenix ATC] Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks. Ran Liu, Heng Zhang and Haibo Chen. In Proceedings of Usenix Annual Technical Conference, Philadelphia, PA, USA. June, 2014.

58.[HPDC] Computation and Communication Efficient Graph Processing with Distributed Immutable View. Rong Chen, Peng Wang, Xin Ding, Haibo Chen, Binyu Zang and Haibin Guan. In Proceedings of ACM Symposium on High-Performance Parallel and Distributed Computing, Vancouver, Canada, 2014.

59.[DSN] Replication-based Fault-tolerance for Large-scale Graph Processing. Peng Wang, Kaiyuan Zhang, Rong Chen, Haibo Chen, Haibing Guan. The Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014.

60.[EuroSys] Using Restricted Transactional Memory to Build a Scalable In-Memory Database. Zhaoguo Wang, Hao Qian, Jinyang Li, Haibo Chen. The European Conference on Computer Systems, Amsterdam, The Netherlands, 2014.

61.[HPCA] Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory. Yutao Liu, Yubin Xia, Haibing Guan, Binyu Zang, Haibo Chen. In Proceedings of the 20th IEEE International Symposium On High Performance Computer Architecture (Best Paper Nominee), Orlando, Florida, 2014.

62.[APSys] Schedule Processes, Not VCPUs. Xiang Song, Jicheng Shi, Haibo Chen, Binyu Zang. In Proceedings of Asia-Pacific Workshop on Systems (Best Paper Award), Singapore, 2013.

63.[VEE] Parallelizing Live Migration of Virtual Machines. Xiang Song, Jicheng Shi, Ran Liu, Jian Yang, Haibo Chen. In Proceedings of 2013 ACM International Conference on Virtual Execution Environments, March, 2013.

64.[HPCA] Architecture Support for Guest-Transparent VM Protection from Untrusted Hypervisor and Physical Attacks. Yubin Xia, Yutao Liu and Haibo Chen. In Proceedings of 2013 Internal Symposium on High Performance Computer Architecture, February, 2013.

65.[PPoPP] Scalable Deterministic Replay in a Parallel Full-system Emulator. Yufei Chen and Haibo Chen. In Proceedings of 2013 ACM Symposium on Principles and Practice of Parallel Programming, Feburary, 2013.

66.[Usenix ATC] Revisiting Software Zero-Copy for Web-caching Applications with Twin Allocators. Xiang Song, Jicheng Shi, Haibo Chen and Binyu Zang. Proceedings of 2012 Usenix Annual Technical Conference (short paper). Boston, Massachusetts USA, June, 2012.

67.[DSN] CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters. Yubin Xia, Yutao Liu, Haibo Chen and Binyu Zang. In Proceedings of The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Boston, Massachusetts USA, June, 2012.

68.[DAC] Transformer: An Extensible, Fast and Cycle-Accurate Full-system Multi-core Simulator. Zhenman Fang, Qinghao Min, Yibin Hu, Yi Lu, Keyong Zhou, Weihua Zhang, Haibo Chen, Binyu Zang and Jian Li. In the 49th Design Automation Conference. San Francisco, USA, June, 2012.

69.[Usenix ATC] ORDER: Object centRic DEterministic Replay for Java. Zhemin Yang, Min Yang, Lvcai Xu, Haibo Chen, Binyu Zang. The 2011 USENIX Annual Technical Conference. USENIX, June 2011.

70.[EuroSys] A Case for Scaling Applications to Many-core Platforms with OS Clustering. Xiang Song, Haibo Chen, Rong Chen, Yuanxun Wang, Binyu Zang. In 2011 ACM SIGOPS European Conference on Computer Systems. pp. 61-76. Salzburg, Austria. April, 2011.

71.[PPoPP] COREMU: a Scalable and Portable Parallel Full-system Emulator. Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zang, Binyu Zang. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. pp. 213–222. San Antonio, USA, February, 2011.

72.[TSE] Dynamic Software Updating Using a Relaxed Consistency Model. Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang and Pen-chung Yew. IEEE Transactions on Software Engineering, olume 37, number 5, pp. 679-694, 2011.

73.[DSN] Why Software Hangs and What can be done with it? Xiang Song, Haibo Chen, Binyu Zang. The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (Practical Experience Reports) pp. 311–316 . Chicago, Illinois, USA, June, 2010.

74.[VEE] Optimizing Crash Dump in Virtualized Environments. Yijian Huang, Haibo Chen, Binyu Zang. The 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. pp. 25–36. Pittsburgh, PA, USA. March, 2010.

75.[MICRO] Control Flow Obfuscation with Information Flow Tracking. Haibo Chen, Liwei Yuan, Xi Wu, Bo Huang, Pen-chung Yew and Binyu Zang. In 42nd international Conference on Microarchitecture. pp. 391-400. New York, USA. December, 2009.

76.[OSDI] Corey: An Operating System for Many Cores. Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, Frans Kashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang, Zheng Zhang. In 8th USENIX Symposium on Operating Systems Design and Implementation. pp.43-57. San Diego, CA, USA. December, 2008.

77.[ISCA] From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware. Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-chung Yew and Frederic Chong. In Proceedings of 35th International Symposium on Computer Architecture, pp. 401-412, Beijing China, June, 2008.

78.[ICPP] Mercury: Combining Performance with Dependability Using Self-virtualization. Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang and Pen-chung Yew. In Proceedings of 36th International Conference on Parallel Processing (Best Paper Award), XiAn China, September, 2007.

79.[ICSE] POLUS: A POwerful Live Updating System. Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, and Pen-chung Yew. In Proceedings of 29th International Conference on Software Engineering , pp. 271-281. Minneapolis, MN, USA, May 2007.

80.[ISTR] Daonity-Grid Security from Two Levels of Virtualization. Haibo Chen Jieyun Chen, Wenbo Mao, and Fei Yan. Elsevier Information Security Technical Report. (Invited Paper), Volumn 12, Issue 3, pp. 123–138. June 2007.

81.[VEE] Live Updating Operating Systems Using Virtualization. Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang and Pen-chung Yew. In SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, pp. 35-44, Ottawa, Canada, June 2006.^[6]