Haibo Chen

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 189

Top Venues

CoRR

OSDI

USENIX Annual Technical Conference

IEEE Trans. Parallel Distributed Syst.

Publications

Fangming Lu, Xingda Wei, Zhuobin Huang, Rong Chen, Minyu Wu, Haibo Chen
Serialization/Deserialization-free State Transfer in Serverless Workflows. EuroSys (2024)
Tianxia Wang, Zhuofu Chen, Xingda Wei, Jinyu Gu, Rong Chen, Haibo Chen
Characterizing Network Requirements for GPU API Remoting in AI Applications. CoRR (2024)
Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Wenbin Zheng, Siqi Zhao, Haibo Chen
sIOPMP: Scalable and Efficient I/O Protection for TEEs. ASPLOS (2) (2024)
Rongxin Chen, Yifan Peng, Xingda Wei, Hongrui Xie, Rong Chen, Sijie Shen, Haibo Chen
Characterizing the Dilemma of Performance and Index Size in Billion-Scale Vector Search and Breaking It with Second-Tier Memory. CoRR (2024)
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, Fengwei Xu
Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. OSDI (2024)
Jiahao Chen, Zeyu Mi, Yubin Xia, Haibing Guan, Haibo Chen
CPC: Flexible, Secure, and Efficient CVM Maintenance with Confidential Procedure Calls. USENIX ATC (2024)
Mingyu Wu, Liang Mao, Yude Lin, Yifeng Jin, Zhe Li, Hongtao Lyu, Jiawei Tang, Xiaowei Lu, Hao Tang, Denghui Dong, Haibo Chen, Binyu Zang
Jade: A High-throughput Concurrent Copying Garbage Collector. EuroSys (2024)
Zhuobin Huang, Xingda Wei, Yingyi Hao, Rong Chen, Mingcong Han, Jinyu Gu, Haibo Chen
PARALLELGPUOS: A Concurrent OS-level GPU Checkpoint and Restore System using Validated Speculation. CoRR (2024)
Gansen Hu, Zhaoguo Wang, Chuzhe Tang, Jiahuan Shen, Zhiyuan Dong, Sheng Yao, Haibo Chen
WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications. Proc. ACM Manag. Data 2 (1) (2024)
Hanze Zhang, Ke Cheng, Rong Chen, Haibo Chen
Fast and Scalable In-network Lock Management Using Lock Fission. OSDI (2024)
Mingyu Wu, Zhe Li, Haibo Chen, Binyu Zang, Shaojun Wang, Lei Yu, Sanhong Li, Haitao Song
Toward an SGX-Friendly Java Runtime. IEEE Trans. Computers 73 (1) (2024)
Qingyuan Liu, Yanning Yang, Dong Du, Yubin Xia, Ping Zhang, Jia Feng, James R. Larus, Haibo Chen
Jiagu: Optimizing Serverless Computing Resource Utilization with Harmonized Efficiency and Practicability. CoRR (2024)
Jiawei Wang, Yutao Liu, Ming Fu, Hermann Härtig, Haibo Chen
Brief Announcement: Work Stealing through Partial Asynchronous Delegation. SPAA (2024)
Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Haibo Chen
sNPU: Trusted Execution Environments on Integrated NPUs. ISCA (2024)
Zhenliang Xue, Yixin Song, Zeyu Mi, Le Chen, Yubin Xia, Haibo Chen
PowerInfer-2: Fast Large Language Model Inference on a Smartphone. CoRR (2024)
Yixin Song, Haotong Xie, Zhengyan Zhang, Bo Wen, Li Ma, Zeyu Mi, Haibo Chen
Turbo Sparse: Achieving LLM SOTA Performance with Minimal Activated Parameters. CoRR (2024)
Zhaoguo Wang, Chuzhe Tang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen
Ad Hoc Transactions through the Looking Glass: An Empirical Study of Application-Level Transactions in Web Applications. ACM Trans. Database Syst. 49 (1) (2024)
Ziming Zhao, Mingyu Wu, Haibo Chen, Binyu Zang
Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads. EuroSys (2024)
Qingyuan Liu, Yanning Yang, Dong Du, Yubin Xia, Ping Zhang, Jia Feng, James R. Larus, Haibo Chen
Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu. USENIX ATC (2024)
Jinbo Han, Xingda Wei, Rong Chen, Haibo Chen
Seraph: A Performance-Cost Aware Tuner for Training Reinforcement Learning Model on Serverless Computing. APSys (2024)
Mo Zou, Dong Du, Mingkai Dong, Haibo Chen
Using Dynamically Layered Definite Releases for Verifying the RefFS File System. OSDI (2024)
Yubo Liu, Yuxin Ren, Mingrui Liu, Hongbo Li, Hanjun Guo, Xie Miao, Xinwei Hu, Haibo Chen
Optimizing File Systems on Heterogeneous Memory by Integrating DRAM Cache with Virtual Memory Management. FAST (2024)
Xingda Wei, Rong Chen, Haibo Chen
Microsecond-scale Datacenter Computing with Modern Networking. ACM TUR-C (2023)
Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. OSDI (2023)
Xiaoniu Song, Yiwen Zhang, Rong Chen, Haibo Chen
UGACHE: A Unified GPU Cache for Embedding-based Deep Learning. SOSP (2023)
Xingda Wei, Haotian Wang, Tianxia Wang, Rong Chen, Jinyu Gu, Pengfei Zuo, Haibo Chen
Transactional Indexes on (RDMA or CXL-based) Disaggregated Memory with Repairable Transaction. CoRR (2023)
Jinyu Gu, Jiacheng Shi, Haroran Su, Wentai Li, Binyu Zang, Haibing Guan, Haibo Chen
Understanding and Mitigating Twin Function Misuses in Operating System Kernel. IEEE Trans. Computers 72 (8) (2023)
Ziming Zhao, Mingyu Wu, Xujie Cao, Haibo Chen, Binyu Zang
Flock: Towards Multitasking Virtual Machines for Function-as-a-Service. IEEE Trans. Computers 72 (11) (2023)
Erhu Feng, Dong Du, Yubin Xia, Haibo Chen
Efficient Distributed Secure Memory with Migratable Merkle Tree. HPCA (2023)
Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang
ISA-Grid: Architecture of Fine-grained Privilege Control for Instructions and Registers. ISCA (2023)
Qingyuan Liu, Dong Du, Yubin Xia, Ping Zhang, Haibo Chen
The Gap Between Serverless Research and Real-world Systems. SoCC (2023)
Yixin Song, Zeyu Mi, Haotong Xie, Haibo Chen
PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. CoRR (2023)
Yuxuan Liu, Tianqiang Xu, Zeyu Mi, Zhichao Hua, Binyu Zang, Haibo Chen
CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines. ASPLOS (4) (2023)
Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, Haibo Chen
Automated Verification of Idempotence for Stateful Serverless Applications. OSDI (2023)
Zeyu Mi, Zhi Guo, Fuqian Huang, Haibo Chen
Hawkeye: Eliminating Kernel Address Leakage in Normal Data Flows. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen
TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. SOSP (2023)
Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li
Proving Query Equivalence Using Linear Integer Arithmetic. Proc. ACM Manag. Data 1 (4) (2023)
Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. ASPLOS (2) (2023)
Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, Haibo Chen
No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. OSDI (2023)
Dingji Li, Zeyu Mi, Chenhui Ji, Yifan Tan, Binyu Zang, Haibing Guan, Haibo Chen
Bifrost: Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines. USENIX Annual Technical Conference (2023)
Ziming Zhao, Mingyu Wu, Jiawei Tang, Binyu Zang, Zhaoguo Wang, Haibo Chen
BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution. ASPLOS (2) (2023)
Dong Du, Bicheng Yang, Yubin Xia, Haibo Chen
Accelerating Extra Dimensional Page Walks for Confidential Computing. MICRO (2023)
Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen
Security and Performance in the Delegated User-level Virtualization. OSDI (2023)
Dong Du, Yubin Xia, Binyu Zang, Haibo Chen
Heterogeneous Serverless Computing. ACM TUR-C (2023)
Xingda Wei, Rongxin Chen, Yuhan Yang, Rong Chen, Haibo Chen
Characterizing Off-path SmartNIC for Accelerating Distributed Systems. OSDI (2023)
Zhiyuan Dong, Zhaoguo Wang, Chuanwei Yi, Xian Xu, Jinyuan Zhang, Jinyang Li, Haibo Chen
Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications. ICDE (2023)
Chuzhe Tang, Zhaoguo Wang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen
Ad Hoc Transactions: What They Are and Why We Should Care. SIGMOD Rec. 52 (1) (2023)
Li Li, Xiang Gao, Hailong Sun, Chunming Hu, Xiaoyu Sun, Haoyu Wang, Haipeng Cai, Ting Su, Xiapu Luo, Tegawendé F. Bissyandé, Jacques Klein, John C. Grundy, Tao Xie, Haibo Chen, Huaimin Wang
Software Engineering for OpenHarmony: A Research Roadmap. CoRR (2023)
Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen
Encrypted Databases Made Secure Yet Maintainable. OSDI (2023)
Sijie Shen, Zihang Yao, Lin Shi, Lei Wang, Longbin Lai, Qian Tao, Li Su, Rong Chen, Wenyuan Yu, Haibo Chen, Binyu Zang, Jingren Zhou
Bridging the Gap between Relational OLTP and Graph-based OLAP. USENIX Annual Technical Conference (2023)
Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen
KRCORE: a microsecond-scale RDMA control plane for elastic computing. CoRR (2022)
Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen
Asymmetry-aware scalable locking. PPoPP (2022)
Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen
KRCORE: A Microsecond-scale RDMA Control Plane for Elastic Computing. USENIX Annual Technical Conference (2022)
Jifei Yi, Benchao Dong, Mingkai Dong, Ruizhe Tong, Haibo Chen
MT^2: Memory Bandwidth Regulation on Hybrid NVM/DRAM Platforms. FAST (2022)
Chuzhe Tang, Zhaoguo Wang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen
Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly. SIGMOD Conference (2022)
Mingcong Han, Hanze Zhang, Rong Chen, Haibo Chen
Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. OSDI (2022)
Sijie Shen, Xingda Wei, Rong Chen, Haibo Chen, Binyu Zang
DrTM+B: Replication-Driven Live Reconfiguration for Fast and General Distributed Transaction Processing. IEEE Trans. Parallel Distributed Syst. 33 (10) (2022)
Zihang Yao, Rong Chen, Binyu Zang, Haibo Chen
Wukong+G: Fast and Concurrent RDF Query Processing Using RDMA-Assisted GPU Graph Exploration. IEEE Trans. Parallel Distributed Syst. 33 (7) (2022)
Xingda Wei, Rongxin Chen, Yuhan Yang, Rong Chen, Haibo Chen
A Comprehensive Study on Off-path SmartNIC. CoRR (2022)
Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen
BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. USENIX Annual Technical Conference (2022)
Jinyu Gu, Hao Li, Yubin Xia, Haibo Chen, Chenggang Qin, Zheng-Yu He
Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous Security Architectures. J. Comput. Sci. Technol. 37 (2) (2022)
Yubin Xia, Zhichao Hua, Yang Yu, Jinyu Gu, Haibo Chen, Binyu Zang, Haibing Guan
Colony: A Privileged Trusted Execution Environment With Extensibility. IEEE Trans. Computers 71 (2) (2022)
Yubin Xia, Dong Du, Zhichao Hua, Binyu Zang, Haibo Chen, Haibing Guan
Boosting Inter-process Communication with Architectural Support. ACM Trans. Comput. Syst. 39 (2022)
Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen
Affine Loop Invariant Generation via Matrix Algebra. CAV (1) (2022)
Xingda Wei, Tianxia Wang, Jinyu Gu, Yuhan Yang, Fangming Lu, Rong Chen, Haibo Chen
Booting 10K Serverless Functions within One Second via RDMA-based Remote Fork. CoRR (2022)
Jinyu Gu, Hao Li, Wentai Li, Yubin Xia, Haibo Chen
EPK: Scalable and Efficient Memory Protection Keys. USENIX Annual Technical Conference (2022)
Zhaoguo Wang, Haibo Chen, Youyun Wang, Chuzhe Tang, Huan Wang
The Concurrent Learned Indexes for Multicore Data Storage. ACM Trans. Storage 18 (1) (2022)
Zeyu Mi, Haoqi Zhuang, Binyu Zang, Haibo Chen
General and Fast Inter-Process Communication via Bypassing Privileged Software. IEEE Trans. Computers 71 (10) (2022)
Mingyu Wu, Shuaiwei Wang, Haibo Chen, Binyu Zang
Zero-Change Object Transmission for Distributed Big Data Analytics. USENIX Annual Technical Conference (2022)
Jifei Yi, Mingkai Dong, Fangnuo Wu, Haibo Chen
HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. FAST (2022)
Jinyu Gu, Bojun Zhu, Mingyu Li, Wentai Li, Yubin Xia, Haibo Chen
A Hardware-Software Co-design for Efficient Intra-Enclave Isolation. USENIX Security Symposium (2022)
Zhaoguo Wang, Zhou Zhou, Yicun Yang, Haoran Ding, Gansen Hu, Ding Ding, Chuzhe Tang, Haibo Chen, Jinyang Li
WeTune: Automatic Discovery and Verification of Query Rewrite Rules. SIGMOD Conference (2022)
Mingyu Li, Yubin Xia, Haibo Chen
Memory Optimization System for SGXv2 Trusted Execution Environment. Int. J. Softw. Informatics 12 (3) (2022)
Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen, Binyu Zang
Reducing Transaction Processing Latency in Hardware Transactional Memory-based Database with Non-volatile Memory. Int. J. Softw. Informatics 12 (1) (2022)
Jia-Chen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, Jinyang Li
Polyjuice: High-Performance Transactions via Learned Concurrency Control. OSDI (2021)
Erhu Feng, Xu Lu, Dong Du, Bicheng Yang, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen
Scalable Memory Protection in the PENGLAI Enclave. OSDI (2021)
Xingda Wei, Rong Chen, Haibo Chen, Zhaoguo Wang, Zhenhan Gong, Binyu Zang
Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. NSDI (2021)
Sijie Shen, Rong Chen, Haibo Chen, Binyu Zang
Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. OSDI (2021)
Mingyu Li, Yubin Xia, Haibo Chen
Confidential Serverless Made Efficient with Plug-In Enclaves. ISCA (2021)
Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen
Asymmetry-aware Scalable Locking. CoRR (2021)
Heng Bu, Mingkai Dong, Jifei Yi, Binyu Zang, Haibo Chen
Revisiting Persistent Indexing Structures on Intel Optane DC Persistent Memory. J. Comput. Sci. Technol. 36 (1) (2021)
Jia-Chen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, Jinyang Li
Polyjuice: High-Performance Transactions via Learned Concurrency Control. CoRR (2021)
Dingji Li, Zeyu Mi, Baodong Wu, Xun Chen, Yongwang Zhao, Zuohua Ding, Haibo Chen
Accelerator Virtualization Framework Based on Inter-VM Exitless Communication. Int. J. Softw. Informatics 11 (2) (2021)
Yanfei Yang, Mingyu Wu, Haibo Chen, Binyu Zang
Bridging the performance gap for copy-based garbage collectors atop non-volatile memory. EuroSys (2021)
Xingda Wei, Rong Chen, Haibo Chen, Binyu Zang
XStore: Fast RDMA-Based Ordered Key-Value Store Using Remote Learned Cache. ACM Trans. Storage 17 (3) (2021)
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
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report). CoRR (2021)
Xingda Wei, Xiating Xie, Rong Chen, Haibo Chen, Binyu Zang
Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM. USENIX Annual Technical Conference (2021)
Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. SOSP (2021)
Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen
Bringing Decentralized Search to Decentralized Services. OSDI (2021)
Rong Chen, Haibo Chen
Wukong: A Distributed Framework for Fast and Concurrent Graph Querying. ACM SIGOPS Oper. Syst. Rev. 55 (1) (2021)
Jinyu Gu, Xinyue Wu, Bojun Zhu, Yubin Xia, Binyu Zang, Haibing Guan, Haibo Chen
Enclavisor: A Hardware-Software Co-Design for Enclaves on Untrusted Cloud. IEEE Trans. Computers 70 (10) (2021)
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
VSync: push-button verification and optimization for synchronization primitives on weak memory models. ASPLOS (2021)
Chuhong Yuan, Dong Du, Haibo Chen
Third-Eye: Practical and Context-Aware Inference of Causal Relationship Violations in Commodity Kernels. DIMVA (2021)
Zhichao Hua, Yang Yu, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang
TZ-Container: protecting container from untrusted OS with ARM TrustZone. Sci. China Inf. Sci. 64 (9) (2021)
Xiayang Wang, Fuqian Huang, Haibo Chen
Secure and Efficient Control Data Isolation with Register-Based Data Cloaking. IEEE Trans. Computers 69 (2) (2020)
Nian Liu, Binyu Zang, Haibo Chen
No barrier in the road: a comprehensive study and optimization of ARM barriers. PPoPP (2020)
Youyun Wang, Chuzhe Tang, Zhaoguo Wang, Haibo Chen
SIndex: a scalable learned index for string keys. APSys (2020)
Mingyu Wu, Ziming Zhao, Yanfei Yang, Haoyu Li, Haibo Chen, Binyu Zang, Haibing Guan, Sanhong Li, Chuansheng Lu, Tongbao Zhang
Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services. USENIX Annual Technical Conference (2020)
Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen
Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. USENIX Annual Technical Conference (2020)
Zeyu Mi, Dingji Li, Haibo Chen, Binyu Zang, Haibing Guan
(Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization. USENIX Security Symposium (2020)

Haibo Chen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Haibo Chen