论文


完整列表






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

Using Dynamically Layered Definite Releases for Verifying the RefFS File System

OSDI'24
PDF

Fast and Scalable In-network Lock Management Using Lock Fission

OSDI'24
PDF

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

SIGMOD'24
PDF
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
PDF
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
PDF
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
PDF

Serialization/Deserialization-free State Transfer in Serverless Workflows

Eurosys'24
PDF
Ziming Zhao , Mingyu Wu , Haibo Chen , Binyu Zang

Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads

Eurosys'24
PDF

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
PDF

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

ASPLOS'23
PDF
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
PDF

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

SOSP'23
PDF

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

SOSP'23
PDF

The Gap Between Serverless Research and Real-world Systems

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

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

ATC'23
PDF

Security and Performance in the Delegated User-level Virtualization

OSDI'23
PDF

Characterizing Off-path SmartNIC for Accelerating Distributed Systems

OSDI'23
PDF

Automated verification of idempotence for stateful serverless applications

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

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

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

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

OSDI'23
PDF

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

ISCA'23
PDF
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
PDF

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

ASPLOS'23
PDF

Efficient Distributed Secure Memory with Migratable Merkle Tree

HPCA'23
PDF

2022

Zero-Change Object Transmission for Distributed Big Data Analytics

ATC'22
PDF

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

ATC'22
PDF
Jinyu Gu , Hao Li , Wentai Li , Yubin Xia , Haibo Chen

EPK: Scalable and Efficient Memory Protection Keys

ATC'22
PDF

Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences

OSDI'22
PDF

WeTune: Automatic Discovery and Verification of Query Rewrite Rules

SIGMOD'22
PDF

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

SIGMOD'22
PDF
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
PDF
Nian Liu , Jinyu Gu , Dahai Tang , Kenli Li , Binyu Zang , Haibo Chen

Asymmetry-aware Scalable Locking

PPoPP'22
PDF

Serverless Computing on Heterogeneous Computers

ASPLOS'22
PDF

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

FAST'22
PDF

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

FAST'22
PDF

2021

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

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

SOSP'21
PDF

Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM

ATC'21
PDF

Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing

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

Polyjuice: High-Performance Transactions via Learned Concurrency Control

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

Bringing Decentralized Search to Decentralized Services

OSDI'21
PDF

Scalable Memory Protection in the PENGLAI Enclave

OSDI'21
PDF

Confidential Serverless Made Efficient with Plug-In Enclaves

ISCA'21
PDF
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
PDF

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

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

Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp

NSDI'21
PDF

2020

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

OSDI'20
PDF
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
PDF
Zeyu Mi , Dingji Li , Haibo Chen , Binyu Zang , Haibing Guan

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

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

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

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

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

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

XIndex: A Scalable Learned Index for Multicore Data Storage

PPoPP'20
PDF

2019

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

SOSP'19
PDF
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
PDF
Zhaoguo Wang , Changgeng Zhao , Shuai Mu , Haibo Chen , Jinyang Li

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

PODC'19
PDF
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
PDF
Xiating Xie , Xingda Wei , Rong Chen , Haibo Chen

Pragh: Locality-preserving Graph Traversal with Split Live Migration

ATC'19
PDF

Pisces: A Scalable and Efficient Persistent Transactional Memory

ATC'19
PDF

XPC: Architectural Support for Secure and Efficient Cross Process Call

ISCA'19
PDF

TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms

VEE'19
PDF

ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection

VEE'19
PDF

SkyBridge: Fast and Secure Inter-Process Communication for Microkernels

EuroSys'19
PDF

2018

Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better!

OSDI'18
PDF

Analysis and Optimizations of Java Full Garbage Collection

APSys'18
PDF
Siyuan Wang , Chang Lou , Rong Chen , Haibo Chen

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

ATC'18
PDF

EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs

ATC'18
PDF
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
PDF

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

ASPLOS'18
PDF

Comprehensive VM Protection against Untrusted Hypervisor through Retrofitted AMD Memory Encryption

HPCA'18
PDF

2017

Yunhao Zhang , Rong Chen , Haibo Chen

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

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

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

[cite]
APSys'17
PDF

vTZ: Virtualizing ARM TrustZone

[cite]
Security'17
PDF

Soft Updates Made Simple and Fast on Non-volatile Memory

[cite]
ATC'17
PDF

Replication-driven Live Reconfiguration for Fast Distributed Transaction Processing

[cite]
ATC'17
PDF
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
PDF
Lei Shi , Yuming Wu , Yubin Xia , Nathan Dautenhahn , Haibo Chen , Binyu Zang , Haibin Guan , Jinming Li

Deconstructing Xen

[slide] [cite]
NDSS'17
PDF

Transparent and Efficient CFI Enforcement with Intel Processor Trace

[slide]
HPCA'17
PDF

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
PDF
Liang Liang , Rong Chen , Haibo Chen , Yubin Xia , KwanJong Park , Binyu Zang , Haibing Guan

A Case for Virtualizing Persistent Memory

[slide] [cite]
SoCC'16
PDF

Fast and General Distributed Transactions Using RDMA and HTM

[cite]
EuroSys'16
PDF
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
PDF
Heng Zhang , Mingkai Dong , Haibo Chen

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

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

Mitigating Sync Amplification for Copy-on-write Virtual Disk

[cite]
FAST'16
PDF

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
PDF

Fast In-memory Transaction Processing using RDMA and HTM

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

Secure outsourcing of virtual appliance

[cite]
TCC'15
PDF
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
PDF
Weihua Zhang , Haojun Wang , Yunping Lu , Haibo Chen , Wenyun Zhao

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

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

Persistent transactional memory

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

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

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

AdAttester: Secure Online Advertisement Attestation on Mobile Devices Using TrustZone

[cite]
MobiSys'15
PDF

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

[cite]
EuroSys'15
PDF
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
PDF
Kaiyuan Zhang , Rong Chen , Haibo Chen

NUMA-aware Graph-structured Analytics

[cite]
PPoPP'15
PDF
Rong Chen , Jiaxin Shi , Haibo Chen , Binyu Zang

Bipartite-oriented Distributed Graph Partitioning for Big Learning

[cite]
JCST'15
PDF

2014

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

Greedy map generialization by iterative point removal

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

Bipartite-oriented Distributed Graph Partitioning for Big Learning

[cite]
APSys'14
PDF
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
PDF
Peng Wang , Kaiyuan Zhang , Rong Chen , Haibo Chen , Haibin Guan

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

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

Computation and Communication Efficient Graph Processing with Distributed Immutable View

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

Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks

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

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

[cite]
EuroSys'14
PDF
Yutao Liu , Yubin Xia , Haibing Guan , Binyu Zang , Haibo Chen

Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory

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

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

[cite]
ParCo'14
PDF