陈海波

特聘教授 博士生导师

firstlast at SJTU domain

个人简介

上海交通大学特聘教授、并行与分布式系统研究所所长,领域操作系统教育部工程研究中心主任。 国家杰出青年基金获得者、ACM Fellow、IEEE Fellow,曾获陈嘉庚青年科学奖(信息技术科学)、中国青年科技奖、教育部技术发明一等奖(第一完成人)、全国优秀博士学位论文奖、CCF青年科学家奖、上海交通大学校长奖等。目前担任OpenHarmony技术指导委员会创始主席、ACM旗舰杂志《Communications of the ACM》中国首位编委与Special Sections领域共同主席、ACM EuroSys 2025程序委员会共同主席、ACM SIGOPS首位非北美学者主席、《ACM Transactions on Storage》编委。曾任ACM SIGOPS ChinaSys主席、ACM SOSP 2017年大会联席主席、ACM SIGSAC奖励委员会委员、ACM SIGOPS Dennis M. Ritchie Award等奖励委员会委员。研究工作也获得华为卓越贡献个人奖、SOSP/ASPLOS/EuroSys/VEE等最佳论文奖、DSN时间检验奖、SIGMOD研究亮点奖等。

请关注我们最新的操作系统教材《现代操作系统:原理与实现》/《操作系统:原理与实现》

目前,我们实验室在招聘具有强自我驱动力、对系统研究有兴趣的本科生、硕士研究生、博士研究生与博士后。如有兴趣加盟,请邮件联系。

研究方向

  • 操作系统
  • 分布式系统
  • 形式化方法
  • 系统安全
  • 系统结构

学术获奖

  • ACM Fellow(2023年入选)
  • ACM SOSP 2023最佳论文奖
  • 2023年ACM SIGMOD研究亮点奖
  • 2022年上海交通大学本科优秀教材一等奖(获奖教材为《现代操作系统:原理与实现》)
  • 2022年度陈嘉庚青年科学奖(信息技术科学)
  • IEEE Fellow(2022年入选)
  • IEEE/IFIP DSN 2022时间检验奖
  • ACM SIGMOD 2022最佳论文优胜奖
  • 2021 Dennis M. Ritchie Thesis Award (Advisor)优胜奖
  • ACM ASPLOS 2021杰出论文奖
  • 2020年度最受读者喜爱的IT图书奖(《现代操作系统:原理与实现》)
  • 2020年中国青年科技奖
  • 2020年上海交通大学校长奖
  • 2019年国家杰出青年基金
  • 2019年ACM杰出科学家
  • ACM VEE 2019最佳论文奖
  • 2018年度教育部技术发明一等奖
  • 2018年CCF“青竹奖”
  • ACM APSys 2017最佳论文奖
  • 2017 CCF NASAC-东软青年软件创新奖
  • 2015 中国计算机学会青年科学家奖
  • 2015 MSRA-SJTU Faculty Award
  • 国家万人计划“青年拔尖人才计划”
  • 中国计算机学会 杰出会员、杰出演讲者
  • ACM EuroSys 2015最佳论文奖
  • HPCA 2014最佳论文提名奖
  • 2014 国家科技进步二等奖
  • ACM SIGSPATIAL GIS CUP, 2013年冠军; 2014年季军
  • ACM APSys 2013最佳论文奖
  • 入选2013年度教育部“新世纪优秀人才支持计划”
  • Google Faculty Research Award, 2012
  • NetApp Faculty Fellowship, 2012
  • IBM X10 Faculty Innovation Award, 2010
  • 2011年全国百篇优秀博士学位论文奖
  • 2009年中国计算机学会博士学位论文奖
  • 2007年ICPP最佳论文奖

教学课程

主要学术服务

  • 大会组织者
    • EuroSys: 2025(程序委员会共同主席)
    • SOSP: 2017 (大会主席 with Lidong Zhou), 2013 (注册主席 with Li Zhuang)
    • APSys: 2015-2020 (指导委员会主席 with Lorenzo Alvisi), 2014 (程序委员会主席 with Lorenzo Alvisi), 2011 (程序委员会主席 with Zheng Zhang)
    • ChinaSys: 2011至今 (联合创始人, 理事), 2018-2022 (大会主席)
    • CCS: 2018 (系统安全领域主席)
    • ASPLOS: 2020 (赞助者共同主席)
    • ICDCS: 2020 (程序委员会副主席)
  • 程序委员会成员
    • SOSP: 2023, 2021, 2019, 2017, 2015, 2013
    • OSDI: 2024
    • ASPLOS: 2024 (ERC), 2023, 2022, 2020, 2019, 2017
    • EuroSys: 2023, 2022, 2021, 2019, 2017, 2016, 2014, 2013
    • Usenix ATC: 2019, 2017, 2016, 2015, 2014, 2012
    • Oakland: 2020, 2018, 2017, 2016
    • CCS: 2019, 2018, 2017
    • HotOS: 2021
    • NDSS: 2020
    • SoCC: 2020
    • PPoPP: 2016
    • ISCA: 2022, 2016
    • FAST: 2017
  • 杂志编辑
    • 编辑、领域联席主席: Communications of the ACM (2019至今)
    • 副编辑: ACM Transactions on Storage (2016至今)
  • 评奖委员会成员
    • ACM SIGSAC评奖委员会(2017)
    • CCF/IEEE CS青年计算机科学家评奖委员会(2016-2018)

发表论文(选) 完整列表



Operating System Scalibility

EuroSys】Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads. Ziming Zhao, Mingyu Wu, Haibo Chen, Binyu Zang. Proceedings of the 19th European Conference on Computer Systems, Athens, Greece, April, 2024.
ASPLOS】 CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines. Yuxuan Liu, Tianqiang Xu, Zeyu Mi, Zhichao Hua, Binyu Zang, Haibo Chen. The 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 2024.
SOSP】TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen. The 29th ACM Symposium on Operating Systems Principles, Koblenz, Germany, October 2023.
SOSP】UGACHE: A Unified GPU Cache for Embedding-based Deep Learning Systems. Xiaoniu Song, Yiwen Zhang, Rong Chen, and Haibo Chen. The 29th ACM Symposium on Operating Systems Principles, Koblenz, Germany, October 2023.
OSDI】 No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, and Haibo Chen. 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023. paper
OSDI】 BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig and Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
ASPLOS】 BeeHive: Sub-second elasticity for web services with Semi-FaaS execution. Ziming Zhao, Mingyu Wu, Jiawei Tang, Binyu Zang, Zhaoguo Wang, Haibo Chen. The 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March, 2023. paper
ASPLOS】 AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. Martin Beck, Koustubha Bhat, Lazar Stričević, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen and Hermann Härtig. The 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March, 2023. paper
OSDI】 Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. Mingcong Han, Hanze Zhang, Rong Chen, and Haibo Chen. The 16th USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, CA, US, July 2022. paper
PPoPP】 Asymmetry-aware Scalable Locking. Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen. The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2022), April 2-6, 2022 in Seoul, Korea. paper
FAST】 MT^2: Memory bandwidth Regulation on Hybrid NVM/DRAM Platforms. Jifei Yi, Benchao Dong, Mingkai Dong, Ruizhe Tong, Haibo Chen. The 20th USENIX Conference on File and Storage Technologies (FAST '22). February 22–24, 2022, in Santa Clara, CA, USA. paper
FAST】 HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. Jifei Yi, Mingkai Dong, Fangnuo Wu, Haibo Chen. The 20th USENIX Conference on File and Storage Technologies (FAST '22). February 22–24, 2022, in Santa Clara, CA, USA. paper
ASPLOS】 Serverless Computing on Heterogeneous Computers. Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen. The 27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'22). paper
USENIX ATC】 BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. paper
SOSP】 CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. Rafael Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen. The 28th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, October 25-28, 2021. paper
EuroSys】 Bridging the Performance Gap for Copy-based Garbage Collectors atop Non-Volatile Memory. Yanfei Yang, Mingyu Wu, Haibo Chen, Binyu Zang. 2021 ACM European Conference on Computer Systems. 26—28 April, 2021. paper
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 (Distinguished Paper Award), April, 2021. paper
SoCC】 Characterizing Serverless Platforms with ServerlessBench. Tianyi Yu, Qingyuan Liu, Dong Du, Yubin Xia, Binyu Zang, Ziqian Lu, Pingchao Yang, Chenggang Qin, Haibo Chen. ACM Symposium on Cloud Computing, October 19‑21, 2020. paper
VEE】 ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection. Haoyu Li, Mingyu Wu, Binyu Zang, Haibo Chen. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2019. paper
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. paper
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. paper
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. paper
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. paper
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. paper
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. paper
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. paper
USENIX ATC】 Pisces: 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. paper
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. paper
USENIX ATC】 Soft Updates Made Simple and Fast for Non-volatile Memories. Mingkai Dong, Haibo Chen. In Proceedings of Usenix Annual Technical Conference, Santa Clara, CA, USA. July, 2017. paper
TPDS】 Fast Consensus Using Bounded Stalenessfor Scalable Read‑mostly Synchronization. Haibo Chen, Heng Zhang, Ran Liu, Binyu Zang, Haibing Guan. IEEE Transactions on Parallel and Distributed Systems, Volume 27, issue 12, pages 3485‑3500, 2016. paper
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. paper
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). paper
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. paper
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. paper
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. paper
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. paper
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. paper
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. paper
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. paper
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. paper
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. paper
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. paper


Operating System Security

ASPLOS】sIOPMP: Scalable and Efficient I/O Protection for TEEs. Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Wenbin Zheng, Siqi Zhao, Haibo Chen. The 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 2024.
OSDI】 Encrypted Databases Made Secure Yet Maintainable. Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
ISCA】 ISA‑grid: Architecture of Fine‑grained Privilege Control for Instructions and Registers. Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang. The 50th International Symposium on Computer Architecture (ISCA’23), 2023.
HPCA】 Efficient Distributed Secure Memory with Migratable Merkle Tree. Erhu Feng, Dong Du, Yubin Xia, Haibo Chen. The 29th IEEE International Symposium on High-Performance Computer Architecture, February, 2023. paper
CAV】 Affine Loop Invariant Generation via Matrix Algebra. Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen. The 34th International Conference on Computer Aided Verification, The Technion, Haifa, Israel, 2022. paper
Security】 A Hardware‑Software Co‑design for Efficient Intra‑Enclave Isolation. Jinyu Gu, Bojun Zhu, Mingyu Li, Wentai Li, Yubin Xia, Haibo Chen. The 31st USENIX Security Symposium, Boston, MA, USA, 2022. paper
USENIX ATC】 EPK: Scalable and Efficient Memory Protection Key. Jinyu Gu, Hao Li, Wentai Li, Yubin Xia, Haibo Chen. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. paper
TC】 Secure and Efficient Control Data Isolation with Register‑based Data Cloaking. Xiayang Wang, Fuqian Huang, Haibo Chen. IEEE Transactions on Computer. Volume 69, Issue 2, Pages 226 ‑ 238, 2020. paper
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. paper
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. paper
EuroSys】 SkyBridge: Fast and Secure Inter‑Process Communication for Microkernels. Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, Haibo Chen. In Proceedings of 14th ACM European Conference on Computer Systems, Dresden, Germany, March, 2019. paper
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, Haibing Guan. In Proceedings of the 16th ACM International Conference on Mobile Systems, Applications, and Services, 2018. paper
HPCA】 Transparent and Efficient CFI Enforcement with Intel Processor Trace. Yutao Liu, Peitao Shi, Xinran Wang, Haibo Chen, Binyu Zang, Haibing Guan. The 23rd IEEE Symposium on High Performance Computer Architec‑ture, Feb 2017, Austin, TX, USA. paper
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. paper
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. paper
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. paper
DSN】 CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters. Yubin Xia, Yutao Liu, Haibo Chen, Binyu Zang. In Proceedings of The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Boston, Massachusetts USA, June, 2012. paper
MICRO】 Control Flow Obfuscation with Information Flow Tracking. Haibo Chen, Liwei Yuan, Xi Wu, Bo Huang, Penchung Yew, Binyu Zang. In 42nd international Conference on Microarchitecture. pp. 391‑400. New York, USA. December, 2009. paper
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, Frederic Chong. In Proceedings of 35th Interna‑tional Symposium on Computer Architecture, pp. 401‑412, Beijing China, June, 2008. paper
TSE】 Dynamic Software Updating Using a Relaxed Consistency Model. Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang, Pen‑chung Yew. IEEE Transactions on Software Engineering, Volume 37, number 5, pp. 679‑694, 2011. paper
ICSE】 POLUS: A POwerful Live Updating System. Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, Pen‑chung Yew. In Proceedings of 29th International Conference on Software Engineering , pp. 271‑281. Minneapolis, MN, USA, May 2007. paper
ICPP】 Mercury: Combining Performance with Dependability Using Self‑virtualization. Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen‑chung Yew. In Proceedings of 36th International Conference on Parallel Processing (Best Paper Award), XiAn China, September, 2007. paper


Virtual Machine Security

MICRO】Accelerating Extra Dimensional Page Walks for Confidential Computing. Dong Du, Bicheng Yang, Yubin Xia, Haibo Chen. The 56th IEEE/ACM International Symposium on Microarchitecture (MICRO), Toronto, Canada. 2023.
USENIX ATC】Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines. Dingji Li, Zeyu Mi, Chenhui Ji, Yifan Tan, Binyu Zang, Haibing Guan, Haibo Chen. USENIX Annual Technical Conference, Boston, MA, USA, July 2023. paper
OSDI】 Security and Performance in the Delegated User‑level Virtualization. Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
SOSP】 TwinVisor: Hardware‑isolated Confidential Virtual Machines for ARM. Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan. The 28th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, October 25‑28, 2021. paper
Security】 (Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization. Zeyu Mi, Dingji Li, Haibo Chen, Binyu Zang, Haibing Guan. Proceedings of 29th Usenix Security Symposium. Boston, MA, USA. August 12–14, 2020. paper
VEE】 TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms. Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE, Best Paper Award), 2019. paper
USENIX ATC】 EPTI: Efficient Defense against Meltdown Attack for Unpatched VMs. Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, Binyu Zang. Proceedings of 2018 USENIX Annual Technical Conference, Boston, MA, US, Jul, 2018. paper
HPCA】 Comprehensive VM Protection against Untrusted Hypervisor through Retrofitted AMD Memory Encryption. Yuming Wu, Yutao Liu, Ruifeng Liu, Haibo Chen, Binyu Zang, Haibing Guan. The 24th IEEE International Symposium on High‑Performance Computer Architecture, Vienna, Austria. Feb 2018. paper
Security】 vTZ: Virtualizing ARM TrustZone. Zhichao Hua, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan. Usenix Security Symposium 2017. Voncouer, Canada, August, 2017. paper
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. paper
DSN】 Secure Live Migration of SGX Enclaves on Untrusted Cloud. Jinyu Gu, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li. The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, June 26‑29, 2017. Denver, CO, USA. paper
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. paper
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. paper
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. paper
HPCA】 Architecture Support for Guest‑Transparent VM Protection from Untrusted Hypervisor and Physical Attacks. Yubin Xia, Yutao Liu, Haibo Chen. In Proceedings of 2013 Internal Symposium on High Performance Computer Architecture, February, 2013. paper
SOSP】 CloudVisor: Retrofitting Protection of Virtual Machines in Multi‑tenant Cloud with Nested Virtualization. Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang. In Proceedings of 23rd ACM Symposium on Operating Systems Principles, pp. 203–216, Cascais, Portugal, October, 2011. paper
ISTR】 Daonity‑Grid Security from Two Levels of Virtualization. Haibo Chen Jieyun Chen, Wenbo Mao, Fei Yan. Elsevier Information Security Technical Report. (Invited Paper), Volume 12, Issue 3, pp. 123–138. June 2007. paper
VEE】 Live Updating Operating Systems Using Virtualization. Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen‑chung Yew. In SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, pp. 35‑44, Ottawa, Canada, June 2006. paper


Scalibility of Distributed System

EuroSys】Serialization/Deserialization-free State Transfer in Serverless Workflows with RDMA-based Remote Memory Map. Fangming Lu, Xingda Wei, Zhuobin Huang, Rong Chen, Mingyu Wu, Haibo Chen. Proceedings of the 19th European Conference on Computer Systems, Athens, Greece, April, 2024.
USENIX ATC】Bridging the Gap between Relational OLTP and Graph-based OLAP. Sijie Shen, Zihang Yao, Lin Shi, Lei Wang, Longbin Lai, Qian Tao, Li Su, Rong Chen, Wenyuan Yu, Haibo Chen, Binyu Zang, Jingren Zhou. USENIX Annual Technical Conference, Boston, MA, USA, July 2023.
OSDI】 No Provisioned Concurrency: Fast RDMA‑codesigned Remote Fork for Serverless Computing. Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, Haibo Chen. 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
OSDI】 Characterizing Off‑path SmartNIC for Accelerating Distributed Systems. Xingda Wei, Rongxin Cheng, Yuhan Yang, Rong Chen, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
VLDB】 Fine‑Grained Re‑Execution for Efficient Batched Commit of Distributed Transactions. Zhiyuan Dong, Zhaoguo Wang, Xiaodong Zhang, Xian Xu, Changgeng Zhao, Haibo Chen, Aurojit Panda, Jinyang Li. The 49th International Conference on Very Large Data Bases (VLDB ’23), Vancouver, Canada, 2023.
USENIX ATC】 KRCORE: a microsecond‑scale RDMA control plane for elastic computing. Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. paper
USENIX ATC】 Zero‑Change Object Transmission for Distributed Big Data Analytics. Mingyu Wu, Shuaiwei Wang, Haibo Chen, Binyu Zang. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. paper
SIGMOD】 WeTune: Automatic Discovery and Verification of Query Rewrite Rules. Zhaoguo Wang, Zhou Zhou, Yicun Yang, Haoran Ding, Gansen Hu, Ding Ding, Chuzhe Tang, Haibo Chen, Jinyang Li. In Proceedings of the 2022 ACM SIGMOD International Conference on Management of Data. 2022. paper
SIGMOD】 Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly. Chuzhe Tang, Zhaoguo Wang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen. In Proceedings of the 2022 ACM SIGMOD International Conference on Management of Data. 2022. paper
OSDI】 Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. Sijie Shen, Rong Chen, Haibo Chen, Binyu Zang. The 15th USENIX Symposium on Operating Systems Design and Implementation, 2021. paper
NSDI】 Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. Xingda Wei, Rong Chen, Haibo Chen, Zhaoguo Wang, Zhenhan Gong, Binyu Zang. Proceedings of 18th USENIX Symposium on Networked Systems Design and Implementation, Boston, MA, US, April 2021. paper
OSDI】 Fast RDMA‑based Ordered Key‑Value Store using Remote Learned Cache. Xingda Wei, Rong Chen, Haibo Chen. 14th USENIX Symposium on Operating Systems Design and Implementation, Banff, Alberta, Canada, November 2020. paper
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. paper
USENIX ATC】 Fast and Concurrent RDF Queries using RDMA‑assisted GPU Graph Exploration. Siyuan Wang, Chang Lou, Rong Chen, Haibo Chen. Proceedings of 2018 USENIX Annual Technical Conference, Boston, MA, US, Jul, 2018. paper
OSDI】 Deconstructing RDMA‑enabled Transaction Processing: Hybrid is Better! Xingda Wei, Zhiyuan Dong, Rong Chen, Haibo Chen. Proceedings of 13th USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, CA, US, October 2018. paper
USENIX ATC】 Replication‑driven Live Reconfiguration for Fast Distributed Transaction Processing. Xingda Wei, Sijie Shen, Rong Chen, Haibo Chen. In Proceedings of Usenix Annual Technical Conference, Santa Clara, CA, USA. July, 2017. paper
PPoPP】 Eunomia: Scaling Concurrent Search Trees under Contention Using HTM. Xin Wang, Weihua Zhang, Zhaoguo Wang, Ziyun Wei, Haibo Chen, Wenyun Zhao. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017. paper
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, Binyu Zang. ACM Transactions on Storage, 2017. paper
SOSP】 Sub‑millisecond Stateful Stream Querying over Fast‑evolving Linked Data. Yunhao Zhang, Rong Chen, Haibo Chen. Proceedings of the 26th ACM Symposium on Operating Systems Principles, Shanghai, China, October, 2017. paper
OSDI】 Fast and Concurrent RDF Queries with RDMA‑based Distributed Graph Exploration. Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen and Feifei Li. Usenix Symposium on Operating System Design and Implementation. November, 2016. paper
EuroSys】 Fast and General Distributed Transactions Using RDMA and HTM. Yanzhe Chen, Xinda Wei, Jiaxin Shi, Rong Chen, Haibo Chen. In Proceedings of 11th ACM European Conference on Computer Systems, London UK, April, 2016. paper
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. paper
SIGMOD】 Scaling Multicore Databases via Constrained Parallel Execution. Zhaoguo Wang, Yang Cui, Han Yi, Shuai Mu, Haibo Chen, Jinyang Li. SIGMOD 2016. paper
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. paper
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. paper
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. paper
PPoPP】 SYNC or ASYNC: Time to Fuse for Distributed Graph‑parallel Computation. Chenning Xie, Rong Chen, Haibing Guan, Binyu Zang, Haibo Chen. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Bay Area, California, USA, February, 2015. paper
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. paper
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. paper


Miscellaneous

SIGMOD】Proving Query Equivalence Using Linear Integer Arithmetic. Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li. In Proceedings of the 2024 ACM SIGMOD International Conference on Management of Data. 2024.
Nature】DNA-based programmable gate arrays for general-purpose DNA computing. Hui Lv, Nuli Xie, Mingqiang Li, Mingkai Dong, Chenyun Sun, Qian Zhang, Lei Zhao, Jiang Li, Xiaolei Zuo, Haibo Chen, Fei Wang & Chunhai Fan. Nature (2023). September, 2023.

2024

SIGMOD】Proving Query Equivalence Using Linear Integer Arithmetic. Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li. In Proceedings of the 2024 ACM SIGMOD International Conference on Management of Data. 2024.
ASPLOS】CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines. Yuxuan Liu, Tianqiang Xu, Zeyu Mi, Zhichao Hua, Binyu Zang, Haibo Chen. The 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 2024.

2023

SOSP】TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen. The 29th ACM Symposium on Operating Systems Principles, Koblenz, Germany, October 2023.
SOSP】UGACHE: A Unified GPU Cache for Embedding-based Deep Learning Systems. Xiaoniu Song, Yiwen Zhang, Rong Chen, and Haibo Chen. The 29th ACM Symposium on Operating Systems Principles, Koblenz, Germany, October 2023.
USENIX ATC】Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines. Dingji Li, Zeyu Mi, Chenhui Ji, Yifan Tan, Binyu Zang, Haibing Guan, Haibo Chen. USENIX Annual Technical Conference, Boston, MA, USA, July 2023. paper
USENIX ATC】Bridging the Gap between Relational OLTP and Graph-based OLAP. Sijie Shen, Zihang Yao, Lin Shi, Lei Wang, Longbin Lai, Qian Tao, Li Su, Rong Chen, Wenyuan Yu, Haibo Chen, Binyu Zang, Jingren Zhou. USENIX Annual Technical Conference, Boston, MA, USA, July 2023.
OSDI】 No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, and Haibo Chen. 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023. paper
OSDI】 BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig and Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
OSDI】 Security and Performance in the Delegated User‑level Virtualization. Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
OSDI】 Encrypted Databases Made Secure Yet Maintainable. Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
OSDI】 Security and Performance in the Delegated User‑level Virtualization. Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
ASPLOS】 BeeHive: Sub-second elasticity for web services with Semi-FaaS execution. Ziming Zhao, Mingyu Wu, Jiawei Tang, Binyu Zang, Zhaoguo Wang, Haibo Chen. The 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March, 2023. paper
ASPLOS】 AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. Martin Beck, Koustubha Bhat, Lazar Stričević, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen and Hermann Härtig. The 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March, 2023. paper
ISCA】 ISA‑grid: Architecture of Fine‑grained Privilege Control for Instructions and Registers. Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang. The 50th International Symposium on Computer Architecture (ISCA’23), 2023.
HPCA】 Efficient Distributed Secure Memory with Migratable Merkle Tree. Erhu Feng, Dong Du, Yubin Xia, Haibo Chen. The 29th IEEE International Symposium on High-Performance Computer Architecture, February, 2023. paper
OSDI】 Characterizing Off‑path SmartNIC for Accelerating Distributed Systems. Xingda Wei, Rongxin Cheng, Yuhan Yang, Rong Chen, Haibo Chen. The 17th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, US, July 2023.
VLDB】 Fine‑Grained Re‑Execution for Efficient Batched Commit of Distributed Transactions. Zhiyuan Dong, Zhaoguo Wang, Xiaodong Zhang, Xian Xu, Changgeng Zhao, Haibo Chen, Aurojit Panda, Jinyang Li. The 49th International Conference on Very Large Data Bases (VLDB ’23), Vancouver, Canada, 2023.


2022

OSDI】 Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. Mingcong Han, Hanze Zhang, Rong Chen, and Haibo Chen. The 16th USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, CA, US, July 2022. paper
PPoPP】 Asymmetry-aware Scalable Locking. Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen. The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2022), April 2-6, 2022 in Seoul, Korea. paper
FAST】 MT^2: Memory bandwidth Regulation on Hybrid NVM/DRAM Platforms. Jifei Yi, Benchao Dong, Mingkai Dong, Ruizhe Tong, Haibo Chen. The 20th USENIX Conference on File and Storage Technologies (FAST '22). February 22–24, 2022, in Santa Clara, CA, USA. paper
FAST】 HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. Jifei Yi, Mingkai Dong, Fangnuo Wu, Haibo Chen. The 20th USENIX Conference on File and Storage Technologies (FAST '22). February 22–24, 2022, in Santa Clara, CA, USA. paper
ASPLOS】 Serverless Computing on Heterogeneous Computers. Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen. The 27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'22). paper
USENIX ATC】 BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. paper
USENIX ATC】 EPK: Scalable and Efficient Memory Protection Key. Jinyu Gu, Hao Li, Wentai Li, Yubin Xia, Haibo Chen. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. paper
USENIX ATC】 KRCORE: a microsecond‑scale RDMA control plane for elastic computing. Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. paper
USENIX ATC】 Zero‑Change Object Transmission for Distributed Big Data Analytics. Mingyu Wu, Shuaiwei Wang, Haibo Chen, Binyu Zang. USENIX Annual Technical Conference, Carlsbad, CA, USA, July 2022. paper
SIGMOD】 WeTune: Automatic Discovery and Verification of Query Rewrite Rules. Zhaoguo Wang, Zhou Zhou, Yicun Yang, Haoran Ding, Gansen Hu, Ding Ding, Chuzhe Tang, Haibo Chen, Jinyang Li. In Proceedings of the 2022 ACM SIGMOD International Conference on Management of Data. 2022. paper
SIGMOD】 Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly. Chuzhe Tang, Zhaoguo Wang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen. In Proceedings of the 2022 ACM SIGMOD International Conference on Management of Data. 2022. paper
CAV】 Affine Loop Invariant Generation via Matrix Algebra. Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen. The 34th International Conference on Computer Aided Verification, The Technion, Haifa, Israel, 2022. paper
Security】 A Hardware‑Software Co‑design for Efficient Intra‑Enclave Isolation. Jinyu Gu, Bojun Zhu, Mingyu Li, Wentai Li, Yubin Xia, Haibo Chen. The 31st USENIX Security Symposium, Boston, MA, USA, 2022. paper


2021

SOSP】 TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan. The 28th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, October 25-28, 2021. paper
SOSP】 CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. Rafael Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen. The 28th ACM Symposium on Operating System Principles. Deerhurst Resort, Huntsville, October 25-28, 2021. paper
EuroSys】 Bridging the Performance Gap for Copy-based Garbage Collectors atop Non-Volatile Memory. Yanfei Yang, Mingyu Wu, Haibo Chen, Binyu Zang. 2021 ACM European Conference on Computer Systems. 26—28 April, 2021. paper
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 (Distinguished Paper Award), April, 2021. paper
OSDI】 Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. Sijie Shen, Rong Chen, Haibo Chen, Binyu Zang. The 15th USENIX Symposium on Operating Systems Design and Implementation, 2021. paper
NSDI】 Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. Xingda Wei, Rong Chen, Haibo Chen, Zhaoguo Wang, Zhenhan Gong, Binyu Zang. Proceedings of 18th USENIX Symposium on Networked Systems Design and Implementation, Boston, MA, US, April 2021. paper


2020

OSDI】 Fast RDMA‑based Ordered Key‑Value Store using Remote Learned Cache. Xingda Wei, Rong Chen, Haibo Chen. 14th USENIX Symposium on Operating Systems Design and Implementation, Banff, Alberta, Canada, November 2020. paper
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. paper
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. paper
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. paper
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. paper
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. paper
TC】 Secure and Efficient Control Data Isolation with Register‑based Data Cloaking. Xiayang Wang, Fuqian Huang, Haibo Chen. IEEE Transactions on Computer. Volume 69, Issue 2, Pages 226 ‑ 238, 2020. paper
Security】 (Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization. Zeyu Mi, Dingji Li, Haibo Chen, Binyu Zang, Haibing Guan. Proceedings of 29th Usenix Security Symposium. Boston, MA, USA. August 12–14, 2020. paper
SoCC】 Characterizing Serverless Platforms with ServerlessBench. Tianyi Yu, Qingyuan Liu, Dong Du, Yubin Xia, Binyu Zang, Ziqian Lu, Pingchao Yang, Chenggang Qin, Haibo Chen. ACM Symposium on Cloud Computing, October 19‑21, 2020. paper


2019

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. paper
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. paper
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. paper
Usenix ATC】 Pisces: 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. paper
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. paper
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. paper
EuroSys】 SkyBridge: Fast and Secure Inter‑Process Communication for Microkernels. Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, Haibo Chen. In Proceedings of 14th ACM European Conference on Computer Systems, Dresden, Germany, March, 2019. paper
VEE】 TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms. Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE, Best Paper Award), 2019. paper
VEE】 ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection. Haoyu Li, Mingyu Wu, Binyu Zang, Haibo Chen. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2019. paper


2018

OSDI】 Deconstructing RDMA‑enabled Transaction Processing: Hybrid is Better! Xingda Wei, Zhiyuan Dong, Rong Chen, Haibo Chen. Proceedings of 13th USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, CA, US, October 2018. paper
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. paper
USENIX ATC】 Fast and Concurrent RDF Queries using RDMA‑assisted GPU Graph Exploration. Siyuan Wang, Chang Lou, Rong Chen, Haibo Chen. Proceedings of 2018 USENIX Annual Technical Conference, Boston, MA, US, Jul, 2018. paper
USENIX ATC】 EPTI: Efficient Defense against Meltdown Attack for Unpatched VMs. Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, Binyu Zang. Proceedings of 2018 USENIX Annual Technical Conference, Boston, MA, US, Jul, 2018. paper
HPCA】 Comprehensive VM Protection against Untrusted Hypervisor through Retrofitted AMD Memory Encryption. Yuming Wu, Yutao Liu, Ruifeng Liu, Haibo Chen, Binyu Zang, Haibing Guan. The 24th IEEE International Symposium on High‑Performance Computer Architecture, Vienna, Austria. Feb 2018. paper
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, Haibing Guan. In Proceedings of the 16th ACM International Conference on Mobile Systems, Applications, and Services, 2018. paper


2017

SOSP】 Sub‑millisecond Stateful Stream Querying over Fast‑evolving Linked Data. Yunhao Zhang, Rong Chen, Haibo Chen. Proceedings of the 26th ACM Symposium on Operating Systems Principles, Shanghai, China, October, 2017. paper
USENIX ATC】 Replication‑driven Live Reconfiguration for Fast Distributed Transaction Processing. Xingda Wei, Sijie Shen, Rong Chen, Haibo Chen. In Proceedings of Usenix Annual Technical Conference, Santa Clara, CA, USA. July, 2017. paper
USENIX ATC】 Soft Updates Made Simple and Fast for Non-volatile Memories. Mingkai Dong, Haibo Chen. In Proceedings of Usenix Annual Technical Conference, Santa Clara, CA, USA. July, 2017. paper
PPoPP】 Eunomia: Scaling Concurrent Search Trees under Contention Using HTM. Xin Wang, Weihua Zhang, Zhaoguo Wang, Ziyun Wei, Haibo Chen, Wenyun Zhao. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017. paper
HPCA】 Transparent and Efficient CFI Enforcement with Intel Processor Trace. Yutao Liu, Peitao Shi, Xinran Wang, Haibo Chen, Binyu Zang, Haibing Guan. The 23rd IEEE Symposium on High Performance Computer Architec‑ture, Feb 2017, Austin, TX, USA. paper
Security】 vTZ: Virtualizing ARM TrustZone. Zhichao Hua, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan. Usenix Security Symposium 2017. Voncouer, Canada, August, 2017. paper
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. paper
DSN】 Secure Live Migration of SGX Enclaves on Untrusted Cloud. Jinyu Gu, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li. The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, June 26‑29, 2017. Denver, CO, USA. paper
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, Binyu Zang. ACM Transactions on Storage, 2017. paper


2016

OSDI】 Fast and Concurrent RDF Queries with RDMA‑based Distributed Graph Exploration. Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen and Feifei Li. Usenix Symposium on Operating System Design and Implementation. November, 2016. paper
SIGMOD】 Scaling Multicore Databases via Constrained Parallel Execution. Zhaoguo Wang, Yang Cui, Han Yi, Shuai Mu, Haibo Chen, Jinyang Li. SIGMOD 2016. paper
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. paper
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. paper
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). [] paper
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. paper
EuroSys】 Fast and General Distributed Transactions Using RDMA and HTM. Yanzhe Chen, Xinda Wei, Jiaxin Shi, Rong Chen, Haibo Chen. In Proceedings of 11th ACM European Conference on Computer Systems, London UK, April, 2016. paper
TPDS】 Fast Consensus Using Bounded Stalenessfor Scalable Read‑mostly Synchronization. Haibo Chen, Heng Zhang, Ran Liu, Binyu Zang, Haibing Guan. IEEE Transactions on Parallel and Distributed Systems, Volume 27, issue 12, pages 3485‑3500, 2016. paper


2015

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. paper
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. paper
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. paper
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. paper
PPoPP】 SYNC or ASYNC: Time to Fuse for Distributed Graph‑parallel Computation. Chenning Xie, Rong Chen, Haibing Guan, Binyu Zang, Haibo Chen. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Bay Area, California, USA, February, 2015. paper
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. paper
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. paper
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. paper
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. paper


2014

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


2013

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. paper
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. paper
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. paper
HPCA】 Architecture Support for Guest‑Transparent VM Protection from Untrusted Hypervisor and Physical Attacks. Yubin Xia, Yutao Liu, Haibo Chen. In Proceedings of 2013 Internal Symposium on High Performance Computer Architecture, February, 2013. paper


2012

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. paper
.
DSN】 CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters. Yubin Xia, Yutao Liu, Haibo Chen, Binyu Zang. In Proceedings of The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Boston, Massachusetts USA, June, 2012. paper


Prior

SOSP】 CloudVisor: Retrofitting Protection of Virtual Machines in Multi‑tenant Cloud with Nested Virtualization. Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang. In Proceedings of 23rd ACM Symposium on Operating Systems Principles, pp. 203–216, Cascais, Portugal, October, 2011. paper
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. paper
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. paper
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. paper
TSE】 Dynamic Software Updating Using a Relaxed Consistency Model. Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang, Pen‑chung Yew. IEEE Transactions on Software Engineering, Volume 37, number 5, pp. 679‑694, 2011. paper
MICRO】 Control Flow Obfuscation with Information Flow Tracking. Haibo Chen, Liwei Yuan, Xi Wu, Bo Huang, Penchung Yew, Binyu Zang. In 42nd international Conference on Microarchitecture. pp. 391‑400. New York, USA. December, 2009. paper
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. paper
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, Frederic Chong. In Proceedings of 35th Interna‑tional Symposium on Computer Architecture, pp. 401‑412, Beijing China, June, 2008. paper
ICSE】 POLUS: A POwerful Live Updating System. Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, Pen‑chung Yew. In Proceedings of 29th International Conference on Software Engineering , pp. 271‑281. Minneapolis, MN, USA, May 2007. paper
ICPP】 Mercury: Combining Performance with Dependability Using Self‑virtualization. Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen‑chung Yew. In Proceedings of 36th International Conference on Parallel Processing (Best Paper Award), XiAn China, September, 2007. paper
ISTR】 Daonity‑Grid Security from Two Levels of Virtualization. Haibo Chen Jieyun Chen, Wenbo Mao, Fei Yan. Elsevier Information Security Technical Report. (Invited Paper), Volume 12, Issue 3, pp. 123–138. June 2007. paper
VEE】 Live Updating Operating Systems Using Virtualization. Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen‑chung Yew. In SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, pp. 35‑44, Ottawa, Canada, June 2006. paper