[OSDI] Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. Haibo Chen, Xie Miao, Ning JIa, Nan Wang, Yu Li, Nian Liu, Yutao Liu, Fei Wang, Qiang Huang, Kun Li, Hongyang Yang, Hui Wang, Jie Yin, Yu Peng, and Fengwei Xu. 18th USENIX Symposium on Operating Systems Design and Implementation, 2024.
[EuroSys] Serialization/Deserialization-free State Transfer in Serverless Workflows. 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. (Best Paper Award)
[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. (Best Paper Award)
[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.
[USENIX 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.
[ASPLOS] VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models. Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens, Ming Fu, Antonio Paolillo, Lilith Oberhauser, Koustubha Bhat, Yuzhong Wen, Haibo Chen, Jaeho Kim, Viktor Vafeiadis. The 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April, 2021. (Distinguished Paper Award)
[OSDI] Bringing Decentralized Search to Decentralized Services. Mingyu Li, Tianxu Zhang, Jinhao Zhu, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen. 15th USENIX Symposium on Operating Systems Design and Implementation, 2021.
[ISCA] Confidential Serverless Made Efficient with Plug-In Enclaves. Mingyu Li, Yubin Xia, Haibo Chen. The IEEE/ACM International Symposium on Computer Architecture. 2021.