default search action
Haibo Chen 0001
Person information
- affiliation: Shanghai Jiao Tong University, Institute of Parallel and Distributed Systems,China
- affiliation (former): Fudan University, Parallel Processing Institute, China
Other persons with the same name
- Haibo Chen (aka: Hai-bo Chen, Hai-Bo Chen) — disambiguation page
- Haibo Chen 0002 — University of Leeds, UK
- Haibo Chen 0003 — University of Science and Technology of China, Hefei, Anhui, China
- Haibo Chen 0004 — Changsha Institute of Technology, Department of Computer Science, China
- Haibo Chen 0005 — Jiangsu University, School of Computer Science and Communication Engineering, China
- Haibo Chen 0006 — Zhejiang University, College of Computer Science and Technology, China
- Haibo Chen 0007 — Central South University, School of Mathematics and Statistics, Changsha, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j66]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): 64:1-64:29 (2024) - [j65]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): 44-57 (2024) - [j64]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): 3:1-3:43 (2024) - [j63]Rong Chen, Xingda Wei, Xiating Xie, Haibo Chen:
Locality-Preserving Graph Traversal With Split Live Migration. IEEE Trans. Parallel Distributed Syst. 35(10): 1810-1825 (2024) - [c166]Jinbo Han, Xingda Wei, Rong Chen, Haibo Chen:
Seraph: A Performance-Cost Aware Tuner for Training Reinforcement Learning Model on Serverless Computing. APSys 2024: 95-101 - [c165]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: 1061-1076 - [c164]Fangming Lu, Xingda Wei, Zhuobin Huang, Rong Chen, Mingyu Wu, Haibo Chen:
Serialization/Deserialization-free State Transfer in Serverless Workflows. EuroSys 2024: 132-147 - [c163]Ziming Zhao, Mingyu Wu, Haibo Chen, Binyu Zang:
Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads. EuroSys 2024: 281-297 - [c162]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: 1160-1174 - [c161]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: 71-87 - [c160]Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Haibo Chen:
sNPU: Trusted Execution Environments on Integrated NPUs. ISCA 2024: 708-723 - [c159]Hanze Zhang, Ke Cheng, Rong Chen, Haibo Chen:
Fast and Scalable In-network Lock Management Using Lock Fission. OSDI 2024: 251-268 - [c158]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: 465-485 - [c157]Mo Zou, Dong Du, Mingkai Dong, Haibo Chen:
Using Dynamically Layered Definite Releases for Verifying the RefFS File System. OSDI 2024: 629-648 - [c156]Jiawei Wang, Yutao Liu, Ming Fu, Hermann Härtig, Haibo Chen:
Brief Announcement: Work Stealing through Partial Asynchronous Delegation. SPAA 2024: 281-283 - [c155]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: 1-17 - [c154]Jiahao Chen, Zeyu Mi, Yubin Xia, Haibing Guan, Haibo Chen:
CPC: Flexible, Secure, and Efficient CVM Maintenance with Confidential Procedure Calls. USENIX ATC 2024: 1065-1082 - [i21]Tianxia Wang, Zhuofu Chen, Xingda Wei, Jinyu Gu, Rong Chen, Haibo Chen:
Characterizing Network Requirements for GPU API Remoting in AI Applications. CoRR abs/2401.13354 (2024) - [i20]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 abs/2403.00433 (2024) - [i19]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 abs/2405.03267 (2024) - [i18]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 abs/2405.12079 (2024) - [i17]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 abs/2406.05955 (2024) - [i16]Zhenliang Xue, Yixin Song, Zeyu Mi, Le Chen, Yubin Xia, Haibo Chen:
PowerInfer-2: Fast Large Language Model Inference on a Smartphone. CoRR abs/2406.06282 (2024) - 2023
- [j62]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): 227:1-227:26 (2023) - [j61]Zhiyuan Dong, Zhaoguo Wang, Xiaodong Zhang, Xian Xu, Changgeng Zhao, Haibo Chen, Aurojit Panda, Jinyang Li:
Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions. Proc. VLDB Endow. 16(8): 1930-1943 (2023) - [j60]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): 7-15 (2023) - [j59]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): 2181-2193 (2023) - [j58]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): 3153-3166 (2023) - [j57]Zeyu Mi, Zhi Guo, Fuqian Huang, Haibo Chen:
Hawkeye: Eliminating Kernel Address Leakage in Normal Data Flows. IEEE Trans. Dependable Secur. Comput. 20(4): 3208-3221 (2023) - [c153]Xingda Wei, Rong Chen, Haibo Chen:
Microsecond-scale Datacenter Computing with Modern Networking. ACM TUR-C 2023: 43-44 - [c152]Dong Du, Yubin Xia, Binyu Zang, Haibo Chen:
Heterogeneous Serverless Computing. ACM TUR-C 2023: 53-54 - [c151]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: 43-56 - [c150]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: 61-73 - [c149]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: 74-87 - [c148]Qingyuan Liu, Dong Du, Yubin Xia, Ping Zhang, Haibo Chen:
The Gap Between Serverless Research and Real-world Systems. SoCC 2023: 475-485 - [c147]Erhu Feng, Dong Du, Yubin Xia, Haibo Chen:
Efficient Distributed Secure Memory with Migratable Merkle Tree. HPCA 2023: 347-360 - [c146]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: 2864-2877 - [c145]Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang:
ISA-Grid: Architecture of Fine-grained Privilege Control for Instructions and Registers. ISCA 2023: 15:1-15:15 - [c144]Dong Du, Bicheng Yang, Yubin Xia, Haibo Chen:
Accelerating Extra Dimensional Page Walks for Confidential Computing. MICRO 2023: 654-669 - [c143]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: 117-133 - [c142]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: 209-226 - [c141]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: 497-517 - [c140]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: 833-850 - [c139]Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, Haibo Chen:
Automated Verification of Idempotence for Stateful Serverless Applications. OSDI 2023: 887-910 - [c138]Xingda Wei, Rongxin Chen, Yuhan Yang, Rong Chen, Haibo Chen:
Characterizing Off-path SmartNIC for Accelerating Distributed Systems. OSDI 2023: 987-1004 - [c137]Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen:
TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. SOSP 2023: 1-16 - [c136]Xiaoniu Song, Yiwen Zhang, Rong Chen, Haibo Chen:
UGACHE: A Unified GPU Cache for Embedding-based Deep Learning. SOSP 2023: 627-641 - [c135]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 ATC 2023: 1-15 - [c134]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 ATC 2023: 181-196 - [i15]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 abs/2308.02501 (2023) - [i14]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 abs/2311.01311 (2023) - [i13]Yixin Song, Zeyu Mi, Haotong Xie, Haibo Chen:
PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. CoRR abs/2312.12456 (2023) - 2022
- [j56]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): 31-53 (2022) - [j55]Mingyu Li, Yubin Xia, Haibo Chen:
Memory Optimization System for SGXv2 Trusted Execution Environment. Int. J. Softw. Informatics 12(3): 285-307 (2022) - [j54]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): 468-486 (2022) - [j53]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): 479-492 (2022) - [j52]Zeyu Mi, Haoqi Zhuang, Binyu Zang, Haibo Chen:
General and Fast Inter-Process Communication via Bypassing Privileged Software. IEEE Trans. Computers 71(10): 2435-2448 (2022) - [j51]Zhaoguo Wang, Haibo Chen, Youyun Wang, Chuzhe Tang, Huan Wang:
The Concurrent Learned Indexes for Multicore Data Storage. ACM Trans. Storage 18(1): 8:1-8:35 (2022) - [j50]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): 1619-1635 (2022) - [j49]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): 2628-2643 (2022) - [c133]Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen:
Serverless computing on heterogeneous computers. ASPLOS 2022: 797-813 - [c132]Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen:
Affine Loop Invariant Generation via Matrix Algebra. CAV (1) 2022: 257-281 - [c131]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: 17-34 - [c130]Jifei Yi, Benchao Dong, Mingkai Dong, Ruizhe Tong, Haibo Chen:
MT^2: Memory Bandwidth Regulation on Hybrid NVM/DRAM Platforms. FAST 2022: 199-216 - [c129]Mingcong Han, Hanze Zhang, Rong Chen, Haibo Chen:
Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. OSDI 2022: 539-558 - [c128]Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen:
Asymmetry-aware scalable locking. PPoPP 2022: 294-308 - [c127]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: 4-18 - [c126]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: 94-107 - [c125]Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen:
KRCORE: A Microsecond-scale RDMA Control Plane for Elastic Computing. USENIX ATC 2022: 121-136 - [c124]Mingyu Wu, Shuaiwei Wang, Haibo Chen, Binyu Zang:
Zero-Change Object Transmission for Distributed Big Data Analytics. USENIX ATC 2022: 137-150 - [c123]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 ATC 2022: 249-262 - [c122]Jinyu Gu, Hao Li, Wentai Li, Yubin Xia, Haibo Chen:
EPK: Scalable and Efficient Memory Protection Keys. USENIX ATC 2022: 609-624 - [c121]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: 3129-3145 - [c120]Haibo Chen:
In pursuit of a trusted computing base: the journey through virtualization (keynote). VEE 2022: 1 - [i12]Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen:
DuVisor: a User-level Hypervisor Through Delegated Virtualization. CoRR abs/2201.09652 (2022) - [i11]Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen:
KRCORE: a microsecond-scale RDMA control plane for elastic computing. CoRR abs/2201.11578 (2022) - [i10]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 abs/2203.10225 (2022) - [i9]Xingda Wei, Rongxin Chen, Yuhan Yang, Rong Chen, Haibo Chen:
A Comprehensive Study on Off-path SmartNIC. CoRR abs/2212.07868 (2022) - 2021
- [j48]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) - [j47]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): 169-193 (2021) - [j46]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): 140-157 (2021) - [j45]Rong Chen, Haibo Chen:
Wukong: A Distributed Framework for Fast and Concurrent Graph Querying. ACM SIGOPS Oper. Syst. Rev. 55(1): 77-83 (2021) - [j44]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): 1598-1611 (2021) - [j43]Yubin Xia, Dong Du, Zhichao Hua, Binyu Zang, Haibo Chen, Haibing Guan:
Boosting Inter-process Communication with Architectural Support. ACM Trans. Comput. Syst. 39(1-4): 6:1-6:35 (2021) - [j42]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): 18:1-18:32 (2021) - [c119]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: 530-545 - [c118]Chuhong Yuan, Dong Du, Haibo Chen:
Third-Eye: Practical and Context-Aware Inference of Causal Relationship Violations in Commodity Kernels. DIMVA 2021: 194-214 - [c117]Yanfei Yang, Mingyu Wu, Haibo Chen, Binyu Zang:
Bridging the performance gap for copy-based garbage collectors atop non-volatile memory. EuroSys 2021: 343-358 - [c116]Mingyu Li, Yubin Xia, Haibo Chen:
Confidential Serverless Made Efficient with Plug-In Enclaves. ISCA 2021: 306-318 - [c115]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: 357-372 - [c114]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: 198-216 - [c113]Sijie Shen, Rong Chen, Haibo Chen, Binyu Zang:
Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. OSDI 2021: 219-238 - [c112]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: 275-294 - [c111]Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen:
Bringing Decentralized Search to Decentralized Services. OSDI 2021: 331-347 - [c110]Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan:
TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. SOSP 2021: 638-654 - [c109]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: 851-865 - [c108]Xingda Wei, Xiating Xie, Rong Chen, Haibo Chen, Binyu Zang:
Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM. USENIX ATC 2021: 523-536 - [i8]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 abs/2102.06590 (2021) - [i7]Jia-Chen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, Jinyang Li:
Polyjuice: High-Performance Transactions via Learned Concurrency Control. CoRR abs/2105.10329 (2021) - [i6]Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen:
Asymmetry-aware Scalable Locking. CoRR abs/2108.03355 (2021) - 2020
- [j41]Zhiyuan Dong, Chuzhe Tang, Jia-Chen Wang, Zhaoguo Wang, Haibo Chen, Binyu Zang:
Optimistic Transaction Processing in Deterministic Database. J. Comput. Sci. Technol. 35(2): 382-394 (2020) - [j40]Xiayang Wang, Fuqian Huang, Haibo Chen:
Secure and Efficient Control Data Isolation with Register-Based Data Cloaking. IEEE Trans. Computers 69(2): 226-238 (2020) - [j39]Zeyu Mi, Haibo Chen, Yinqian Zhang, ShuangHe Peng, Xiaofeng Wang, Michael K. Reiter:
CPU Elasticity to Mitigate Cross-VM Runtime Monitoring. IEEE Trans. Dependable Secur. Comput. 17(5): 1094-1108 (2020) - [c107]Youyun Wang, Chuzhe Tang, Zhaoguo Wang, Haibo Chen:
SIndex: a scalable learned index for string keys. APSys 2020: 17-24 - [c106]Jifei Yi, Benchao Dong, Mingkai Dong, Haibo Chen:
On the precision of precise event based sampling. APSys 2020: 98-105 - [c105]Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, Haibo Chen:
Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. ASPLOS 2020: 467-481 - [c104]Tianyi Yu, Qingyuan Liu, Dong Du, Yubin Xia, Binyu Zang, Ziqian Lu, Pingchao Yang, Chenggang Qin, Haibo Chen:
Characterizing serverless platforms with serverlessbench. SoCC 2020: 30-44 - [c103]Xingda Wei, Rong Chen, Haibo Chen:
Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache. OSDI 2020: 117-135 - [c102]Chuzhe Tang, Youyun Wang, Zhiyuan Dong, Gansen Hu, Zhaoguo Wang, Minjie Wang, Haibo Chen:
XIndex: a scalable learned index for multicore data storage. PPoPP 2020: 308-320 - [c101]