[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 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. (Best Paper Award)
[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.