[USENIX ATC] Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu. Qingyuan Liu, Yanning Yang, Dong Du, Yubin Xia, Ping Zhang, Jia Feng, James Larus, Haibo Chen. USENIX Annual Technical Conference, Santa Clara, CA, USA, July 2024.
[USENIX ATC] Flexible, Secure and Efficient CVM Maintenance with Confidential Procedure Calls. Jiahao Chen, Zeyu Mi, Yubin Xia, Haibing Guan, Haibo Chen. USENIX Annual Technical Conference, Santa Clara, CA, USA, July 2024
[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. The 18th USENIX Symposium on Operating Systems Design and Implementation, Santa Clara, CA, US, July 2024.
[OSDI] Using Dynamically Layered Definite Releases for Verifying the RefFS File System. Mo Zou, Dong Du, Mingkai Dong, Haibo Chen. The 18th USENIX Symposium on Operating Systems Design and Implementation, Santa Clara, CA, US, July 2024.
[OSDI] Fast and Scalable In-network Lock Management Using Lock Fission. Hanze Zhang, Ke Cheng, Rong Chen, and Haibo Chen. The 18th USENIX Symposium on Operating Systems Design and Implementation, Santa Clara, CA, US, July 2024.
[ISCA] sNPU: Trusted Execution Environments on Integrated NPUs. Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Haibo Chen. The 51st International Symposium on Computer Architecture (ISCA'24), 2024.
[EuroSys] Jade: A High-throughput Concurrent Copying Garbage Collector. Mingyu Wu, Liang Mao, Yude Lin, Yifeng Jin, Zhe Li, Hongtao Lyu, Jiawei Tang, Xiaowei Lu, Hao Tang, Denghui Dong, Haibo Chen, Binyu Zang. Proceedings of the 19th European Conference on Computer Systems, Athens, Greece, April, 2024.
[VLDB] XGNN: Boosting Multi-GPU GNN Training via Global GNN Memory Store. Dahai Tang, Jiali Wang, Rong Chen, Lei Wang, Wenyuan Yu, Jingren Zhou, and Kenli Li. The 50th International Conference on Very Large Databases, Guangzhou, China, August 2024.
[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.
[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.
[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 (Best Paper Award), Athens, Greece, April, 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.
[FAST] Optimizing File Systems on Heterogeneous Memory by Integrating DRAM Cache with Virtual Memory Management. Yubo Liu, Yuxin Ren, Mingrui Liu, Hongbo Li, Hanjun Guo, Xie Miao, Xinwei Hu, and Haibo Chen. The 22nd USENIX Conference on File and Storage Technologies, February, 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.