论文


完整列表






2025

Serverless Functions Made Confidential and Efficient with Split Containers

USENIX Security'25

SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit Flips

ATC'25

μEFI: A Microkernel-Style UEFI with Isolation and Transparency

ATC'25

Colocating ML Inference and Training with Fast GPU Memory Handover

ATC'25
Jiahao Wang, Jinbo Han, Xingda Wei, Sijie Shen, Dingyan Zhang, Chenguang Fang, Rong Chen, Wenyuan Yu, Haibo Chen

KVCache Cache in the Wild: Characterizing and Optimizing KVCache Cache at a Large Cloud Provider

ATC'25

XSched: Preemptive Scheduling for Diverse XPUs

OSDI'25

Fast and Live Model Auto Scaling without Caching

OSDI'25
Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Yang Yu, Binyu Zang, Haibo Chen

OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit

OSDI'25
Yicun Yang, Zhaoguo Wang, Yu Xia, Zhuoran Wei, Haoran Ding, Ruzica Piskac, Haibo Chen, Jinyang Li

Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency

SIGMOD'25

ODRP: On-Demand Remote Paging with Programmable RDMA

NSDI'25

A Hardware-Software Co-Design for Efficient Secure Containers

Eurosys'25

PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption

ASPLOS'25

D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics

ASPLOS'25
Jiahao Zhou, Mingkai Dong, Jingyao Zeng, Lei Zhao, Chunhai Fan, Haibo Chen

Liquid-State Drive: A Case for DNA Block Device for Enormous Data

FAST'25

2024

Yanning Yang, Dong Du, Haitao Song, Yubin Xia

On-demand and Parallel Checkpoint/Restore for GPU Applications

SoCC'24
Kaijie Guo, Dingji Li, Ben Luo, Yibin Shen, Kaihuan Peng, Ning Luo, Shengdong Dai, Chen Liang, Jianming Song, Hang Yang, Xiantao Zhang, Zeyu Mi

VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS Clouds

SOSP'24

PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU

SOSP'24
Qingyuan Liu, Yanning Yang, Dong Du, Yubin Xia, Ping Zhang, Jia Feng, James Larus, Haibo Chen

Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu

ATC'24

Flexible, Secure and Efficient CVM Maintenance with Confidential Procedure Calls

ATC'24
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'24

Using Dynamically Layered Definite Releases for Verifying the RefFS File System

OSDI'24

Fast and Scalable In-network Lock Management Using Lock Fission

OSDI'24

WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications

SIGMOD'24
Dahai Tang, Jiali Wang, Rong Chen, Lei Wang, Wenyuan Yu, Jingren Zhou, Kenli Li

XGNN: Boosting Multi-GPU GNN Training via Global GNN Memory Store

VLDB'24
Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Wenbin Zheng, Siqi Zhao, Haibo Chen

sIOPMP: Scalable and Efficient I/O Protection for TEEs

ASPLOS'24
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'24

Serialization/Deserialization-free State Transfer in Serverless Workflows

Eurosys'24

Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads

Eurosys'24

2023

Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li

Proving Query Equivalence Using Linear Integer Arithmetic

SIGMOD'23

CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines

ASPLOS'23
Hui Lv, Nuli Xie, Mingqiang Li, Mingkai Dong, Chenyun Sun, Qian Zhang, Lei Zhao, Jiang Li, Xiaolei Zuo, Haibo Chen, Fei Wang & Chunhai Fan

DNA-based programmable gate arrays for general-purpose DNA computing

Nature'23

UGACHE: A Unified GPU Cache for Embedding-based Deep Learning Systems

SOSP'23

TreeSLS: A Tree-structured Microkernel with Efficient Whole-system Persistence on NVM

SOSP'23

The Gap Between Serverless Research and Real-world Systems

SoCC'23
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

ATC'23
Dingji Li, Zeyu Mi, Chenhui Ji, Yifan Tan, Binyu Zang, Haibing Guan

Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines

ATC'23

Security and Performance in the Delegated User-level Virtualization

OSDI'23

Characterizing Off-path SmartNIC for Accelerating Distributed Systems

OSDI'23

Automated verification of idempotence for stateful serverless applications

OSDI'23
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'23
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'23

Database Deadlock Diagnosis for Large-scale ORM-based Web Applications

ICDE'23
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

VLDB'23

No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing

OSDI'23

ISA-Grid: Architecture of Fine-grained Privilege Control for Instructions and Registers

ISCA'23
Martin Beck, Koustubha Bhat, Lazar Stričević, 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'23

BeeHive: Sub-second elasticity for web services with Semi-FaaS execution

ASPLOS'23

Efficient Distributed Secure Memory with Migratable Merkle Tree

HPCA'23

2022

Zero-Change Object Transmission for Distributed Big Data Analytics

ATC'22

KRCORE: A Microsecond-scale RDMA Control Plane for Elastic Computing

ATC'22

EPK: Scalable and Efficient Memory Protection Keys

ATC'22

Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences

OSDI'22

WeTune: Automatic Discovery and Verification of Query Rewrite Rules

SIGMOD'22

Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly

SIGMOD'22
Jianbang Yang, Dahai Tang, Xiaoniu Song, Lei Wang, Qiang Yin, Rong Chen, Wenyuan Yu, Jingren Zhou

GNNLab: A Factored System for Sample-based GNN Training over GPUs

EuroSys'22
Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen

Asymmetry-aware Scalable Locking

PPoPP'22

Serverless Computing on Heterogeneous Computers

ASPLOS'22

MT^2: Memory bandwidth Regulation on Hybrid NVM/DRAM Platforms

FAST'22

HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems

FAST'22

2021

Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan

TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM (preprint)

SOSP'21

Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM

ATC'21

Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing

OSDI'21
Jiachen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, Jinyang Li

Polyjuice: High-Performance Transactions via Learned Concurrency Control

OSDI'21
Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen

Bringing Decentralized Search to Decentralized Services

OSDI'21

Scalable Memory Protection in the PENGLAI Enclave

OSDI'21

Confidential Serverless Made Efficient with Plug-In Enclaves

ISCA'21
Lei Wang, Qiang Yin, Chao Tian, Jianbang Yang, Rong Chen, Wenyuan Yu, Zihang Yao, Jingren Zhou

FlexGraph: A flexible and efficient distributed framework for GNN training

EuroSys'21

Bridging the Performance Gap for Copy-based Garbage Collectors atop Non-Volatile Memory

EuroSys'21
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'21

Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp

NSDI'21

2020

Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache

OSDI'20
Tianyi Yu, Qingyuan Liu, Dong Du, Yubin Xia, Binyu Zang, Ziqiang Lu, Pingchao Yang, Chenggang Qin, Haibo Chen

Characterizing Serverless Platforms with ServerlessBench

SoCC'20

(Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization

Security'20
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

ATC'20
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

ATC'20
Mingyu Wu, Haibo Chen, Hao Zhu, Binyu Zang, Haibing Guan

GCPersist: An Efficient GC-assisted Lazy Persistency Framework for Resilient Java Applications on NVM

VEE'20
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'20

No Barrier in the Road: A Comprehensive Study and Optimization of ARM Barriers

PPoPP'20
Chuzhe Tang, Youyun Wang, Gansen Hu, Zhiyuan Dong, Minjie Wang, Haibo Chen

XIndex: A Scalable Learned Index for Multicore Data Storage

PPoPP'20

2019

Performance and Protection in the ZoFS User-space NVM File System

SOSP'19
Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen

Using Concurrent Relational Logic with Helpers for Verifying the AtomFS File System

SOSP'19
Zhaoguo Wang, Changgeng Zhao, Shuai Mu, Haibo Chen, Jinyang Li

On the Parallels between Paxos and Raft, and how to Port Optimizations

PODC'19
Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen

EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices

ATC'19

Pragh: Locality-preserving Graph Traversal with Split Live Migration

ATC'19

Pisces: A Scalable and Efficient Persistent Transactional Memory

ATC'19

XPC: Architectural Support for Secure and Efficient Cross Process Call

ISCA'19
Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang

TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms

VEE'19

ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection

VEE'19

SkyBridge: Fast and Secure Inter-Process Communication for Microkernels

EuroSys'19

2018

Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better!

OSDI'18

Analysis and Optimizations of Java Full Garbage Collection

APSys'18

Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration

ATC'18

EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs

ATC'18
Wenhao Li, Shiyu Luo, Zhichuang Sun, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang, Haibing Guan

VButton: Practical Attestation of User-driven Operations in Mobile Apps

MobiSys'18

Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory

ASPLOS'18

Comprehensive VM Protection against Untrusted Hypervisor through Retrofitted AMD Memory Encryption

HPCA'18

2017

Yunhao Zhang, Rong Chen, Haibo Chen

Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data

[cite]
SOSP'17
Xiaozhou Zhou, Zhaoguo Wang, Rong Chen, Haibo Chen, Jinyang Li

Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads

[cite]
APSys'17

vTZ: Virtualizing ARM TrustZone

[cite]
Security'17

Soft Updates Made Simple and Fast on Non-volatile Memory

[cite]
ATC'17

Replication-driven Live Reconfiguration for Fast Distributed Transaction Processing

[cite]
ATC'17
Jinyu Gu, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li

Secure Live Migration of SGX Enclaves on Untrusted Cloud

DSN'17
Lei Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Haibin Guan, Jinming Li

Deconstructing Xen

[slide][cite]
NDSS'17

Transparent and Efficient CFI Enforcement with Intel Processor Trace

[slide]
HPCA'17

2016

Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen, Feifei Li

Fast and Concurrent RDF Queries with RDMA-based Distributed Graph Exploration

[cite]
OSDI'16
Liang Liang, Rong Chen, Haibo Chen, Yubin Xia, KwanJong Park, Binyu Zang, Haibing Guan

A Case for Virtualizing Persistent Memory

[slide][cite]
SoCC'16

Fast and General Distributed Transactions Using RDMA and HTM

[cite]
EuroSys'16
Yang Yu, Tianyang Lei, Weihua Zhang, Haibo Chen, Binyu Zang

Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environment

[cite]
VEE'16

Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication

[cite]
FAST'16
Qingshu Chen, Liang Liang, Yubin Xia, Haibo Chen

Mitigating Sync Amplification for Copy-on-write Virtual Disk

[cite]
FAST'16

2015

Yutao Liu, Tianyu Zhou, Kexin Chen, Haibo Chen, Yubin Xia

Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation

[slide][cite]
CCS'15

Fast In-memory Transaction Processing using RDMA and HTM

[cite]
SOSP'15
Yubin Xia, Yutao Liu, Haibing Guan, Yunji Chen, Tianshi Chen, Binyu Zang, Haibo Chen

Secure outsourcing of virtual appliance

[cite]
TCC'15
Jin Chen, Haibo Chen, Erick Bauman, Zhiqiang Lin, Binyu Zang, Haibing Guan

You Shouldn’t Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps

[cite]
USENIX Security'15
Weihua Zhang, Haojun Wang, Yunping Lu, Haibo Chen, Wenyun Zhao

A loosely-coupled full-system multi-core simulation framework

[cite]
TPDS'15
Zhaoguo Wang, Han Yi, Ran Liu, Mingkai Dong, Haibo Chen

Persistent transactional memory

[cite]
CAL'15
Wenhao Li, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan

Reducing World Switches in Virtualized Environment with Flexible Cross-world Calls

[cite]
ISCA'15
Wenhao Li, Haibo Li, Haibo Chen, Yubin Xia

AdAttester: Secure Online Advertisement Attestation on Mobile Devices Using TrustZone

[cite]
MobiSys'15

PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs (Best Paper Award)

[cite]
EuroSys'15
Yubin Xia, Yutao Liu, Cheng Tan, Mingyang Ma, Haibing Guan, Binyu Zang, Haibo Chen

TinMan: Eliminating Confidential Mobile Data Exposure with Security-oriented Offloading

[cite]
EuroSys'15
Kaiyuan Zhang, Rong Chen, Haibo Chen

NUMA-aware Graph-structured Analytics

[cite]
PPoPP'15

Bipartite-oriented Distributed Graph Partitioning for Big Learning

[cite]
JCST'15

2014

Yanzhe Chen, Yin Wang, Rong Chen, Haibo Chen, Binyu Zang

Greedy map generialization by iterative point removal

[cite]
SIGSPATIAL'14
Rong Chen, Jiaxin Shi, Binyu Zang, Haibin Guan

Bipartite-oriented Distributed Graph Partitioning for Big Learning

[cite]
APSys'14
Wenhao Li, Mingyang Ma, Jinchen Han, Yubin Xia, Binyu Zang, Cheng-Kang Chu, Tieyan Li

Building Trusted Path on Untrusted Device Drivers for Mobile Devices

[cite]
APSys'14
Peng Wang, Kaiyuan Zhang, Rong Chen, Haibo Chen, Haibin Guan

Replication-based Fault-tolerance for Large-scale Graph Processing

[cite]
DSN'14
Rong Chen, Xin Ding, Peng Wang, Haibo Chen, Binyu Zang

Computation and Communication Efficient Graph Processing with Distributed Immutable View

[cite]
HPDC'14
Ran Liu, Heng Zhang, Haibo Chen

Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks

[cite]
USENIX ATC'14
Zhaoguo Wang, Hao Qian, Jinyang Li, Haibo Chen

Using Restricted Transactional Memory to Build a Scalable In-Memory Database

[cite]
EuroSys'14

Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory

[slide][cite]
HPCA'14
Zhijun Hao, Chenning Xie, Haibo Chen

X10-FT: Transparent Fault Tolerance for APGAS Language and Runtime

[cite]
ParCo'14