Biblio

Export 44 results:
Filters: Author is Haibo Chen  [Clear All Filters]
2023
Ding H, Wang Z, Shen Z, Chen R, Chen H.  2023.  Automated Verification of Idempotence for Stateful Serverless Applications. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :887--910.
Li D, Mi Z, Ji C, Tan Y, Zang B, Guan H, Chen H.  2023.  Bifrost: Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines. 2023 USENIX Annual Technical Conference (USENIX ATC 23). :1--15.
Shen S, Yao Z, Shi L, Wang L, Lai L, Tao Q, Su L, Chen R, Yu W, Chen H et al..  2023.  Bridging the Gap between Relational OLTP and Graph-based OLAP. 2023 USENIX Annual Technical Conference (USENIX ATC 23). :181--196.
Wang J, Trach B, Fu M, Behrens D, Schwender J, Liu Y, Lei J, Vafeiadis V, Härtig H, Chen H.  2023.  BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :833--850.
Wei X, Cheng R, Yang Y, Chen R, Chen H.  2023.  Characterizing Off-path SmartNIC for Accelerating Distributed Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :987--1004.
Li M, Zhao X, Chen L, Tan C, Li H, Wang S, Mi Z, Xia Y, Li F, Chen H.  2023.  Encrypted Databases Made Secure Yet Maintainable. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :117--133.
Wei X, Lu F, Wang T, Gu J, Yang Y, Chen R, Chen H.  2023.  No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :497--517.
Chen J, Li D, Mi Z, Liu Y, Zang B, Guan H, Chen H.  2023.  Security and Performance in the Delegated User-level Virtualization. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :209--226.
2022
Wang J, Behrens D, Fu M, Oberhauser L, Oberhauser J, Lei J, Chen G, Härtig H, Chen H.  2022.  BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :249--262.
Gu J, Li H, Li W, Xia Y, Chen H.  2022.  EPK: Scalable and Efficient Memory Protection Keys. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :609--624.
Gu J, Zhu B, Li M, Li W, Xia Y, Chen H.  2022.  A Hardware-Software Co-design for Efficient Intra-Enclave Isolation. 31st USENIX Security Symposium (USENIX Security 22). :3129--3145.
Yi J, Dong M, Wu F, Chen H.  2022.  HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. 20th USENIX Conference on File and Storage Technologies (FAST 22). :17--34.
Wei X, Lu F, Chen R, Chen H.  2022.  KRCORE: A Microsecond-scale RDMA Control Plane for Elastic Computing. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :121--136.
Han M, Zhang H, Chen R, Chen H.  2022.  Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :539--558.
Yi J, Dong B, Dong M, Tong R, Chen H.  2022.  MT^2: Memory Bandwidth Regulation on Hybrid NVM/DRAM Platforms. 20th USENIX Conference on File and Storage Technologies (FAST 22). :199--216.
Wu M, Wang S, Chen H, Zang B.  2022.  Zero-Change Object Transmission for Distributed Big Data Analytics. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :137--150.
2021
Li M, Zhu J, Zhang T, Tan C, Xia Y, Angel S, Chen H.  2021.  Bringing Decentralized Search to Decentralized Services. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :331--347.
Wei X, Xie X, Chen R, Chen H, Zang B.  2021.  Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM. 2021 USENIX Annual Technical Conference (USENIX ATC 21). :523--536.
Wang J, Ding D, Wang H, Christensen C, Wang Z, Chen H, Li J.  2021.  Polyjuice: High-Performance Transactions via Learned Concurrency Control. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :198--216.
Shen S, Chen R, Chen H, Zang B.  2021.  Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :219--238.
Feng E, Lu X, Du D, Yang B, Jiang X, Xia Y, Zang B, Chen H.  2021.  Scalable Memory Protection in the PENGLAI Enclave. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :275--294.
Wei X, Chen R, Chen H, Wang Z, Gong Z, Zang B.  2021.  Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). :357--372.
2020
Wei X, Chen R, Chen H.  2020.  Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :117--135.
Gu J, Wu X, Li W, Liu N, Mi Z, Xia Y, Chen H.  2020.  Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. 2020 USENIX Annual Technical Conference (USENIX ATC 20). :401--417.

Pages