Live updating operating systems using virtualization. - Haibo Chen 001; Rong Chen 001; Fengzhe Zhang; Binyu Zang; Pen-Chung Yew (VEE, 2006)

POLUS: A POwerful Live Updating System. - Haibo Chen 001; Jie Yu 016; Rong Chen 001; Binyu Zang; Pen-Chung Yew (ICSE, 2007)

Daonity: Protocol Solutions to Grid Security Using Hardware Strengthened Software Environment. - Wenbo Mao; Fei Yan; Chuanjiang Yi; Haibo Chen 001 (Security Protocols Workshop, 2007)

Daonity - Grid security from two levels of virtualization. - Haibo Chen 001; Jieyun Chen; Wenbo Mao; Fei Yan (Inf. Secur. Tech. Rep., 2007)

From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware. - Haibo Chen 001; Xi Wu 001; Liwei Yuan; Binyu Zang; Pen-Chung Yew; Frederic T. Chong (ISCA, 2008)

Corey: An Operating System for Many Cores. - Silas Boyd-Wickizer; Haibo Chen 001; Rong Chen 001; Yandong Mao; M. Frans Kaashoek; Robert Morris 005; Aleksey Pesterev; Lex Stein; Ming Wu 007; Yue-hua Dai; Yang Zhang; Zheng Zhang 001 (OSDI, 2008)

TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing. - Haibo Chen 001; Jun Li; Wenbo Mao (Security Protocols Workshop, 2008)

Evaluating SPLASH-2 Applications Using MapReduce. - Shengkai Zhu; Zhiwei Xiao; Haibo Chen 001; Rong Chen 001; Weihua Zhang; Binyu Zang (APPT, 2009)

Control flow obfuscation with information flow tracking. - Haibo Chen 001; Liwei Yuan; Xi Wu 001; Binyu Zang; Bo Huang 002; Pen-Chung Yew (MICRO, 2009)

Tiled-MapReduce: optimizing resource usages of data-parallel applications on multicore with tiling. - Rong Chen 001; Haibo Chen 001; Binyu Zang (PACT, 2010)

Why software hangs and what can be done with it. - Xiang Song; Haibo Chen 001; Binyu Zang (DSN, 2010)

Optimizing crash dump in virtualized environments. - Yijian Huang; Haibo Chen 001; Binyu Zang (VEE, 2010)

A Hierarchical Approach to Maximizing MapReduce Efficiency. - Zhiwei Xiao; Haibo Chen 001; Binyu Zang (PACT, 2011)

Evaluating the Performance and Scalability of MapReduce Applications on X10. - Chao Zhang; Chenning Xie; Zhiwei Xiao; Haibo Chen 001 (APPT, 2011)

Security breaches as PMU deviation: detecting and identifying security attacks using performance counters. - Liwei Yuan; Weichao Xing; Haibo Chen 001; Binyu Zang (APSys, 2011)

Limiting cache-based side-channel in multi-tenant cloud using dynamic page coloring. - Jicheng Shi; Xiang Song; Haibo Chen 001; Binyu Zang (DSN Workshops, 2011)

A case for scaling applications to many-core with OS clustering. - Xiang Song; Haibo Chen 001; Rong Chen 001; Yuanxuan Wang; Binyu Zang (EuroSys, 2011)

A comprehensive analysis and parallelization of an image retrieval algorithm. - Zhenman Fang; Donglei Yang; Weihua Zhang; Haibo Chen 001; Binyu Zang (ISPASS, 2011)

COREMU: a scalable and portable parallel full-system emulator. - Zhaoguo Wang; Ran Liu 003; Yufei Chen 005; Xi Wu 001; Haibo Chen 001; Weihua Zhang; Binyu Zang (PPoPP, 2011)

CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization. - Fengzhe Zhang; Jin Chen; Haibo Chen 001; Binyu Zang (SOSP, 2011)

ORDER: Object centRic DEterministic Replay for Java. - Zhemin Yang; Min Yang 002; Lvcai Xu; Haibo Chen 001; Binyu Zang (USENIX ATC, 2011)

Dynamic Software Updating Using a Relaxed Consistency Model. - Haibo Chen 001; Jie Yu 016; Chengqun Hang; Binyu Zang; Pen-Chung Yew (IEEE Trans. Software Eng., 2011)

SSMalloc: a low-latency, locality-conscious memory allocator with stable performance scalability. - Ran Liu 003; Haibo Chen 001 (APSys, 2012)

A GPU-based high-throughput image retrieval algorithm. - Feiwen Zhu; Peng Chen; Donglei Yang; Weihua Zhang; Haibo Chen 001; Binyu Zang (GPGPU@ASPLOS, 2012)

Transformer: a functional-driven cycle-accurate multicore simulator. - Zhenman Fang; Qinghao Min; Keyong Zhou; Yi Lu; Yibin Hu; Weihua Zhang; Haibo Chen 001; Jian Li 059; Binyu Zang (DAC, 2012)

TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization. - Cheng Tan 005; Yubin Xia; Haibo Chen 001; Binyu Zang (DSN Workshops, 2012)

CFIMon: Detecting violation of control flow integrity using performance counters. - Yubin Xia; Yutao Liu; Haibo Chen 001; Binyu Zang (DSN, 2012)

Defending against VM rollback attack. - Yubin Xia; Yutao Liu; Haibo Chen 001; Binyu Zang (DSN Workshops, 2012)

Adaptive Pipeline Parallelism for Image Feature Extraction Algorithms. - Peng Chen; Donglei Yang; Weihua Zhang; Yi Li; Binyu Zang; Haibo Chen 001 (ICPP, 2012)

Improving dynamic prediction accuracy through multi-level phase analysis. - Zhenman Fang; Jiaxin Li; Weihua Zhang; Yi Li; Haibo Chen 001; Binyu Zang (LCTES, 2012)

A case for secure and scalable hypervisor using safe language. - Haibo Chen 001; Binyu Zang (PMAM, 2012)

Revisiting Software Zero-Copy for Web-caching Applications with Twin Memory Allocation. - Xiang Song; Jicheng Shi; Haibo Chen 001; Binyu Zang (USENIX ATC, 2012)

Mercury: Combining Performance with Dependability Using Self-Virtualization. - Haibo Chen 001; Fengzhe Zhang; Rong Chen 001; Binyu Zang; Pen-Chung Yew (J. Comput. Sci. Technol., 2012)

Schedule processes, not VCPUs. - Xiang Song; Jicheng Shi; Haibo Chen 001; Binyu Zang (APSys, 2013)

Opportunities and pitfalls of multi-core scaling using hardware transaction memory. - Zhaoguo Wang; Hao Qian; Haibo Chen 001; Jinyang Li 001 (APSys, 2013)

Multi-level phase analysis for sampling simulation. - Jiaxin Li; Weihua Zhang; Haibo Chen 001; Binyu Zang (DATE, 2013)

Point-polygon topological relationship query using hierarchical indices. - Tianyu Zhou; Hong Wei; Heng Zhang; Yin Wang 001; Yanmin Zhu 006; Haibing Guan; Haibo Chen 001 (SIGSPATIAL/GIS, 2013)

Architecture support for guest-transparent VM protection from untrusted hypervisor and physical attacks. - Yubin Xia; Yutao Liu; Haibo Chen 001 (HPCA, 2013)

X10-PM: Transparent and Efficient Place Migration for APGAS Language. - Zhijun Hao; Binyu Zang; Chenning Xie; Haibo Chen 001 (HPCC/EUC, 2013)

Scalable deterministic replay in a parallel full-system emulator. - Yufei Chen 005; Haibo Chen 001 (PPoPP, 2013)

X10-FT: transparent fault tolerance for APGAS language and runtime. - Chenning Xie; Zhijun Hao; Haibo Chen 001 (PMAM, 2013)

Parallelizing live migration of virtual machines. - Xiang Song; Jicheng Shi; Ran Liu 003; Jian Yang; Haibo Chen 001 (VEE, 2013)

Security-Preserving Live Migration of Virtual Machines in the Cloud. - Fengzhe Zhang; Haibo Chen 001 (J. Netw. Syst. Manag., 2013)

Tiled-MapReduce: Efficient and Flexible MapReduce Processing on Multicore with Tiling. - Rong Chen 001; Haibo Chen 001 (ACM Trans. Archit. Code Optim., 2013)

Replication-Based Fault-Tolerance for Large-Scale Graph Processing. - Peng Wang; Kaiyuan Zhang 005; Rong Chen 001; Haibo Chen 001; Haibing Guan (DSN, 2014)

Using restricted transactional memory to build a scalable in-memory database. - Zhaoguo Wang; Hao Qian; Jinyang Li 001; Haibo Chen 001 (EuroSys, 2014)

Greedy map generalization by iterative point removal. - Yanzhe Chen; Yin Wang 001; Rong Chen 001; Haibo Chen 001; Binyu Zang (SIGSPATIAL/GIS, 2014)

Concurrent and consistent virtual machine introspection with hardware transactional memory. - Yutao Liu; Yubin Xia; Haibing Guan; Binyu Zang; Haibo Chen 001 (HPCA, 2014)

Computation and communication efficient graph processing with distributed immutable view. - Rong Chen 001; Xin Ding; Peng Wang; Haibo Chen 001; Binyu Zang; Haibing Guan (HPDC, 2014)

Hydra: Efficient Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architecture. - Zhuofang Dai; Haojun Wang; Weihua Zhang; Haibo Chen 001; Binyu Zang (ICPP, 2014)

Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks. - Ran Liu 003; Heng Zhang; Haibo Chen 001 (USENIX ATC, 2014)

Architecting Flash-based Solid-State Drive for High-performance I/O Virtualization. - Xiang Song; Jian Yang; Haibo Chen 001 (IEEE Comput. Archit. Lett., 2014)

X10-FT: Transparent fault tolerance for APGAS language and runtime. - Zhijun Hao; Chenning Xie; Haibo Chen 001; Binyu Zang (Parallel Comput., 2014)

Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation. - Yutao Liu; Tianyu Zhou; Kexin Chen; Haibo Chen 001; Yubin Xia (CCS, 2015)

PowerLyra: differentiated graph computation and partitioning on skewed graphs. - Rong Chen 001; Jiaxin Shi; Yanzhe Chen; Haibo Chen 001 (EuroSys, 2015)

TinMan: eliminating confidential mobile data exposure with security oriented offloading. - Yubin Xia; Yutao Liu; Cheng Tan 005; Mingyang Ma; Haibing Guan; Binyu Zang; Haibo Chen 001 (EuroSys, 2015)

Open JDK Meets Xeon Phi: A Comprehensive Study of Java HPC on Intel Many-Core Architecture. - Yang Yu; Tianyang Lei; Haibo Chen 001; Binyu Zang (ICPP Workshops, 2015)

Reducing world switches in virtualized environment with flexible cross-world calls. - Wenhao Li; Yubin Xia; Haibo Chen 001; Binyu Zang; Haibing Guan (ISCA, 2015)

AdAttester: Secure Online Mobile Advertisement Attestation Using TrustZone. - Wenhao Li; Haibo Li; Haibo Chen 001; Yubin Xia (MobiSys, 2015)

Poster: TVisor - A Practical and Lightweight Mobile Red-Green Dual-OS Architecture. - Wenhao Li; Liang Liang; Mingyang Ma; Yubin Xia; Haibo Chen 001 (MobiSys, 2015)

SYNC or ASYNC: time to fuse for distributed graph-parallel computation. - Chenning Xie; Rong Chen 001; Haibing Guan; Binyu Zang; Haibo Chen 001 (PPoPP, 2015)

NUMA-aware graph-structured analytics. - Kaiyuan Zhang 005; Rong Chen 001; Haibo Chen 001 (PPoPP, 2015)

Fast in-memory transaction processing using RDMA and HTM. - Xingda Wei; Jiaxin Shi; Yanzhe Chen; Rong Chen 001; Haibo Chen 001 (SOSP, 2015)

You Shouldn't Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps. - Jin Chen; Haibo Chen 001; Erick Bauman; Zhiqiang Lin 001; Binyu Zang; Haibing Guan (USENIX Security Symposium, 2015)

Persistent Transactional Memory. - Zhaoguo Wang; Han Yi; Ran Liu 003; Mingkai Dong 002; Haibo Chen 001 (IEEE Comput. Archit. Lett., 2015)

Bipartite-Oriented Distributed Graph Partitioning for Big Learning. - Rong Chen 001; Jiaxin Shi; Haibo Chen 001; Binyu Zang (J. Comput. Sci. Technol., 2015)

Multilevel Phase Analysis. - Weihua Zhang; Jiaxin Li; Yi Li; Haibo Chen 001 (ACM Trans. Embed. Comput. Syst., 2015)

Rethinking Benchmarking for NVM-based File Systems. - Mingkai Dong 002; Qianqian Yu; Xiaozhou Zhou; Yang Hong 007; Haibo Chen 001; Binyu Zang (APSys, 2016)

A Case for Virtualizing Persistent Memory. - Liang Liang; Rong Chen 001; Haibo Chen 001; Yubin Xia; KwanJong Park; Binyu Zang; Haibing Guan (SoCC, 2016)

Fast and general distributed transactions using RDMA and HTM. - Yanzhe Chen; Xingda Wei; Jiaxin Shi; Rong Chen 001; Haibo Chen 001 (EuroSys, 2016)

Mitigating Sync Amplification for Copy-on-write Virtual Disk. - Qingshu Chen; Liang Liang; Yubin Xia; Haibo Chen 001 (FAST, 2016)

Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication. - Heng Zhang; Mingkai Dong 002; Haibo Chen 001 (FAST, 2016)

Fast and Concurrent RDF Queries with RDMA-Based Distributed Graph Exploration. - Jiaxin Shi; Youyang Yao; Rong Chen 001; Haibo Chen 001; Feifei Li 001 (OSDI, 2016)

Scalable adaptive NUMA-aware lock: combining local locking and remote locking for efficient concurrency. - Mingzhe Zhang; Francis C. M. Lau 001; Cho-Li Wang; Luwei Cheng; Haibo Chen 001 (PPoPP, 2016)

Scaling Multicore Databases via Constrained Parallel Execution. - Zhaoguo Wang; Shuai Mu 001; Yang Cui; Han Yi; Haibo Chen 001; Jinyang Li 001 (SIGMOD Conference, 2016)

Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments. - Yang Yu; Tianyang Lei; Weihua Zhang; Haibo Chen 001; Binyu Zang (VEE, 2016)

Petri net based test case generation for evolved specification. - Zuohua Ding; Mingyue Jiang; Haibo Chen 001; Zhi Jin; Mengchu Zhou (Sci. China Inf. Sci., 2016)

Deep Learning At Scale and At Ease. - Wei Wang 059; Gang Chen 001; Haibo Chen 001; Tien Tuan Anh Dinh; Jinyang Gao; Beng Chin Ooi; Kian-Lee Tan; Sheng Wang 011 (CoRR, 2016)

Parallelizing image feature extraction algorithms on multi-core platforms. - Yunping Lu; Yi Li; Bo Song; Weihua Zhang; Haibo Chen 001; Lu Peng 001 (J. Parallel Distributed Comput., 2016)

Hardware Support for Concurrent Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architectures. - Weihua Zhang; Shiqiang Yu; Haojun Wang; Zhuofang Dai; Haibo Chen 001 (IEEE Trans. Computers, 2016)

Deep Learning at Scale and at Ease. - Wei Wang 059; Gang Chen 001; Haibo Chen 001; Tien Tuan Anh Dinh; Jinyang Gao; Beng Chin Ooi; Kian-Lee Tan; Sheng Wang 011; Meihui Zhang 001 (ACM Trans. Multim. Comput. Commun. Appl., 2016)

Fast Consensus Using Bounded Staleness for Scalable Read-Mostly Synchronization. - Haibo Chen 001; Heng Zhang; Ran Liu 003; Binyu Zang; Haibing Guan (IEEE Trans. Parallel Distributed Syst., 2016)

IMR: High-Performance Low-Cost Multi-Ring NoCs. - Shaoli Liu; Tianshi Chen 002; Ling Li 001; Xiaoxue Feng; Zhiwei Xu 002; Haibo Chen 001; Frederic T. Chong; Yunji Chen (IEEE Trans. Parallel Distributed Syst., 2016)

Performance Analysis of Multimedia Retrieval Workloads Running on Multicores. - Yunping Lu; Xin Wang; Weihua Zhang; Haibo Chen 001; Lu Peng 001; Wenyun Zhao (IEEE Trans. Parallel Distributed Syst., 2016)

A Loosely-Coupled Full-System Multicore Simulation Framework. - Weihua Zhang; Haojun Wang; Yunping Lu; Haibo Chen 001; Wenyun Zhao (IEEE Trans. Parallel Distributed Syst., 2016)

Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads. - Xiaozhou Zhou; Zhaoguo Wang; Rong Chen 001; Haibo Chen 001; Jinyang Li 001 (APSys, 2017)

Secure Live Migration of SGX Enclaves on Untrusted Cloud. - Jinyu Gu 001; Zhichao Hua 001; Yubin Xia; Haibo Chen 001; Binyu Zang; Haibing Guan; Jinming Li (DSN, 2017)

Transparent and Efficient CFI Enforcement with Intel Processor Trace. - Yutao Liu; Peitao Shi; Xinran Wang; Haibo Chen 001; Binyu Zang; Haibing Guan (HPCA, 2017)

Deconstructing Xen. - Le Shi; Yuming Wu; Yubin Xia; Nathan Dautenhahn; Haibo Chen 001; Binyu Zang; Jinming Li (NDSS, 2017)

Eunomia: Scaling Concurrent Search Trees under Contention Using HTM. - Xin Wang; Weihua Zhang; Zhaoguo Wang; Ziyun Wei; Haibo Chen 001; Wenyun Zhao (PPoPP, 2017)

POSTER: Recovering Performance for Vector-based Machine Learning on Managed Runtime. - Mingyu Wu 001; Haibing Guan; Binyu Zang; Haibo Chen 001 (PPoPP, 2017)

Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. - Yunhao Zhang; Rong Chen 001; Haibo Chen 001 (SOSP, 2017)

Soft Updates Made Simple and Fast on Non-volatile Memory. - Mingkai Dong 002; Haibo Chen 001 (USENIX ATC, 2017)

Replication-driven Live Reconfiguration for Fast Distributed Transaction Processing. - Xingda Wei; Sijie Shen; Rong Chen 001; Haibo Chen 001 (USENIX ATC, 2017)

vTZ: Virtualizing ARM TrustZone. - Zhichao Hua 001; Jinyu Gu 001; Yubin Xia; Haibo Chen 001; Binyu Zang; Haibing Guan (USENIX Security Symposium, 2017)

Characterizing and optimizing Java-based HPC applications on Intel many-core architecture. - Yang Yu; Tianyang Lei; Haibo Chen 001; Binyu Zang (Sci. China Inf. Sci., 2017)

A software cybernetics approach to self-tuning performance of on-line transaction processing systems. - Zuohua Ding; Zhijie Wei; Haibo Chen 001 (J. Syst. Softw., 2017)

Secure Outsourcing of Virtual Appliance. - Yubin Xia; Yutao Liu; Haibing Guan; Yunji Chen; Tianshi Chen 002; Binyu Zang; Haibo Chen 001 (IEEE Trans. Cloud Comput., 2017)

Fast In-Memory Transaction Processing Using RDMA and HTM. - Haibo Chen 001; Rong Chen 001; Xingda Wei; Jiaxin Shi; Yanzhe Chen; Zhaoguo Wang; Binyu Zang; Haibing Guan (ACM Trans. Comput. Syst., 2017)

Efficient and Available In-Memory KV-Store with Hybrid Erasure Coding and Replication. - Haibo Chen 001; Heng Zhang; Mingkai Dong 002; Zhaoguo Wang; Yubin Xia; Haibing Guan; Binyu Zang (ACM Trans. Storage, 2017)

Fence-Free Synchronization with Dynamically Serialized Synchronization Variables. - Yang Hong 007; Yang Zheng; Haibing Guan; Binyu Zang; Haibo Chen 001 (IEEE Trans. Parallel Distributed Syst., 2017)

Scalable Adaptive NUMA-Aware Lock. - Mingzhe Zhang; Haibo Chen 001; Luwei Cheng; Francis C. M. Lau 001; Cho-Li Wang (IEEE Trans. Parallel Distributed Syst., 2017)

Prophet: A Parallel Instruction-Oriented Many-Core Simulator. - Weihua Zhang; Xiaofeng Ji; Yunping Lu; Haojun Wang; Haibo Chen 001; Pen-Chung Yew (IEEE Trans. Parallel Distributed Syst., 2017)

VarCatcher: A Framework for Tackling Performance Variability of Parallel Workloads on Multi-Core. - Weihua Zhang; Xiaofeng Ji; Bo Song; Shiqiang Yu; Haibo Chen 001; Tao Li 006; Pen-Chung Yew; Wenyun Zhao (IEEE Trans. Parallel Distributed Syst., 2017)

Analysis and Optimizations of Java Full Garbage Collection. - Haoyu Li; Mingyu Wu 001; Haibo Chen 001 (APSys, 2018)

Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory. - Mingyu Wu 001; Ziming Zhao 003; Haoyu Li; Heting Li; Haibo Chen 001; Binyu Zang; Haibing Guan (ASPLOS, 2018)

Leveraging Hardware Transactional Memory for Cache Side-Channel Defenses. - Sanchuan Chen; Fangfei Liu; Zeyu Mi; Yinqian Zhang; Ruby B. Lee; Haibo Chen 001; XiaoFeng Wang 001 (AsiaCCS, 2018)

Comprehensive VM Protection Against Untrusted Hypervisor Through Retrofitted AMD Memory Encryption. - Yuming Wu; Yutao Liu; Ruifeng Liu; Haibo Chen 001; Binyu Zang; Haibing Guan (HPCA, 2018)

VButton: Practical Attestation of User-driven Operations in Mobile Apps. - Wenhao Li; Shiyu Luo; Zhichuang Sun; Yubin Xia; Long Lu; Haibo Chen 001; Binyu Zang; Haibing Guan (MobiSys, 2018)

Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better! - Xingda Wei; Zhiyuan Dong; Rong Chen 001; Haibo Chen 001 (OSDI, 2018)

EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. - Zhichao Hua 001; Dong Du 003; Yubin Xia; Haibo Chen 001; Binyu Zang (USENIX ATC, 2018)

Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration. - Siyuan Wang; Chang Lou; Rong Chen 001; Haibo Chen 001 (USENIX ATC, 2018)

Cloud bursting for the world's largest consumer market. - Hai Jin 001; Haibo Chen 001; Hong Gao; Xiang-Yang Li 001; Song Wu 001 (Commun. ACM, 2018)

Asymmetric virtual machine replication for low latency and high available service. - Rong Chen 001; Haibo Chen 001 (Sci. China Inf. Sci., 2018)

SplitPass: A Mutually Distrusting Two-Party Password Manager. - Yutao Liu; Dong Du 003; Yubin Xia; Haibo Chen 001; Binyu Zang; Zhenkai Liang (J. Comput. Sci. Technol., 2018)

ShadowEth: Private Smart Contract on Public Blockchain. - Rui Yuan; Yubin Xia; Haibo Chen 001; Binyu Zang; Jan Xie (J. Comput. Sci. Technol., 2018)

Research on ARM TrustZone. - Wenhao Li; Yubin Xia; Haibo Chen 001 (GetMobile Mob. Comput. Commun., 2018)

PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs. - Rong Chen 001; Jiaxin Shi; Yanzhe Chen; Binyu Zang; Haibing Guan; Haibo Chen 001 (ACM Trans. Parallel Comput., 2018)

Replication-Based Fault-Tolerance for Large-Scale Graph Processing. - Rong Chen 001; Youyang Yao; Peng Wang; Kaiyuan Zhang 005; Zhaoguo Wang; Haibing Guan; Binyu Zang; Haibo Chen 001 (IEEE Trans. Parallel Distributed Syst., 2018)

Eunomia: Scaling Concurrent Index Structures Under Contention Using HTM. - Weihua Zhang; Xin Wang; Shiyu Ji; Ziyun Wei; Zhaoguo Wang; Haibo Chen 001 (IEEE Trans. Parallel Distributed Syst., 2018)

SkyBridge: Fast and Secure Inter-Process Communication for Microkernels. - Zeyu Mi; Dingji Li; Zihan Yang; Xinran Wang; Haibo Chen 001 (EuroSys, 2019)

XPC: architectural support for secure and efficient cross process call. - Dong Du 003; Zhichao Hua 001; Yubin Xia; Binyu Zang; Haibo Chen 001 (ISCA, 2019)

On the Parallels between Paxos and Raft, and how to Port Optimizations. - Zhaoguo Wang; Changgeng Zhao; Shuai Mu 001; Haibo Chen 001; Jinyang Li 001 (PODC, 2019)

Performance and protection in the ZoFS user-space NVM file system. - Mingkai Dong 002; Heng Bu; Jifei Yi; Benchao Dong; Haibo Chen 001 (SOSP, 2019)

Using concurrent relational logic with helpers for verifying the AtomFS file system. - Mo Zou; Haoran Ding; Dong Du 003; Ming Fu; Ronghui Gu; Haibo Chen 001 (SOSP, 2019)

EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices. - Xiang Gao 012; Mingkai Dong 002; Xie Miao; Wei Du; Chao Yu; Haibo Chen 001 (USENIX ATC, 2019)

Pisces: A Scalable and Efficient Persistent Transactional Memory. - Jinyu Gu 001; Qianqian Yu; Xiayang Wang; Zhaoguo Wang; Binyu Zang; Haibing Guan; Haibo Chen 001 (USENIX ATC, 2019)

Pragh: Locality-preserving Graph Traversal with Split Live Migration. - Xiating Xie; Xingda Wei; Rong Chen 001; Haibo Chen 001 (USENIX ATC, 2019)

ScissorGC: scalable and efficient compaction for Java full garbage collection. - Haoyu Li; Mingyu Wu 001; Binyu Zang; Haibo Chen 001 (VEE, 2019)

TEEv: virtualizing trusted execution environments on mobile platforms. - Wenhao Li; Yubin Xia; Long Lu; Haibo Chen 001; Binyu Zang (VEE, 2019)

Taming Distrust in the Decentralized Internet with PIXIU. - Yubin Xia; Qingyuan Liu; Cheng Tan 005; Jing Leng; Shangning Xu; Binyu Zang; Haibo Chen 001 (CoRR, 2019)

Learned Indexes for Dynamic Workloads. - Chuzhe Tang; Zhiyuan Dong; Minjie Wang; Zhaoguo Wang; Haibo Chen 001 (CoRR, 2019)

DTrace: fine-grained and efficient data integrity checking with hardware instruction tracing. - Xiayang Wang; Fuqian Huang; Haibo Chen 001 (Cybersecur., 2019)

Scaling out NUMA-Aware Applications with RDMA-Based Distributed Shared Memory. - Yang Hong 007; Yang Zheng; Fan Yang; Binyu Zang; Haibing Guan; Haibo Chen 001 (J. Comput. Sci. Technol., 2019)

Learn-as-you-go with Megh: Efficient Live Migration of Virtual Machines. - Debabrota Basu; Xiayang Wang; Yang Hong 007; Haibo Chen 001; Stéphane Bressan (IEEE Trans. Parallel Distributed Syst., 2019)

SIndex: a scalable learned index for string keys. - Youyun Wang; Chuzhe Tang; Zhaoguo Wang; Haibo Chen 001 (APSys, 2020)

On the precision of precise event based sampling. - Jifei Yi; Benchao Dong; Mingkai Dong 002; Haibo Chen 001 (APSys, 2020)

Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. - Dong Du 003; Tianyi Yu; Yubin Xia; Binyu Zang; Guanglu Yan; Chenggang Qin; Qixuan Wu; Haibo Chen 001 (ASPLOS, 2020)

Characterizing serverless platforms with serverlessbench. - Tianyi Yu; Qingyuan Liu; Dong Du 003; Yubin Xia; Binyu Zang; Ziqian Lu; Pingchao Yang; Chenggang Qin; Haibo Chen 001 (SoCC, 2020)

Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache. - Xingda Wei; Rong Chen 001; Haibo Chen 001 (OSDI, 2020)

No barrier in the road: a comprehensive study and optimization of ARM barriers. - Nian Liu; Binyu Zang; Haibo Chen 001 (PPoPP, 2020)

XIndex: a scalable learned index for multicore data storage. - Chuzhe Tang; Youyun Wang; Zhiyuan Dong; Gansen Hu; Zhaoguo Wang; Minjie Wang; Haibo Chen 001 (PPoPP, 2020)

Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. - Jinyu Gu 001; Xinyue Wu; Wentai Li; Nian Liu; Zeyu Mi; Yubin Xia; Haibo Chen 001 (USENIX ATC, 2020)

Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services. - Mingyu Wu 001; Ziming Zhao 003; Yanfei Yang; Haoyu Li; Haibo Chen 001; Binyu Zang; Haibing Guan; Sanhong Li; Chuansheng Lu; Tongbao Zhang (USENIX ATC, 2020)

(Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization. - Zeyu Mi; Dingji Li; Haibo Chen 001; Binyu Zang; Haibing Guan (USENIX Security Symposium, 2020)

GCPersist: an efficient GC-assisted lazy persistency framework for resilient Java applications on NVM. - Mingyu Wu 001; Haibo Chen 001; Hao Zhu; Binyu Zang; Haibing Guan (VEE, 2020)

Optimistic Transaction Processing in Deterministic Database. - Zhiyuan Dong; Chuzhe Tang; Jia-Chen Wang; Zhaoguo Wang; Haibo Chen 001; Binyu Zang (J. Comput. Sci. Technol., 2020)

Secure and Efficient Control Data Isolation with Register-Based Data Cloaking. - Xiayang Wang; Fuqian Huang; Haibo Chen 001 (IEEE Trans. Computers, 2020)

CPU Elasticity to Mitigate Cross-VM Runtime Monitoring. - Zeyu Mi; Haibo Chen 001; Yinqian Zhang; ShuangHe Peng; Xiaofeng Wang 006; Michael K. Reiter (IEEE Trans. Dependable Secur. Comput., 2020)

VSync: push-button verification and optimization for synchronization primitives on weak memory models. - Jonas Oberhauser; Rafael Lourenco de Lima Chehab; Diogo Behrens; Ming Fu; Antonio Paolillo; Lilith Oberhauser; Koustubha Bhat; Yuzhong Wen; Haibo Chen 001; Jaeho Kim; Viktor Vafeiadis (ASPLOS, 2021)

Third-Eye: Practical and Context-Aware Inference of Causal Relationship Violations in Commodity Kernels. - Chuhong Yuan; Dong Du 003; Haibo Chen 001 (DIMVA, 2021)

Bridging the performance gap for copy-based garbage collectors atop non-volatile memory. - Yanfei Yang; Mingyu Wu 001; Haibo Chen 001; Binyu Zang (EuroSys, 2021)

Confidential Serverless Made Efficient with Plug-In Enclaves. - Mingyu Li; Yubin Xia; Haibo Chen 001 (ISCA, 2021)

Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. - Xingda Wei; Rong Chen 001; Haibo Chen 001; Zhaoguo Wang; Zhenhan Gong; Binyu Zang (NSDI, 2021)

Scalable Memory Protection in the PENGLAI Enclave. - Erhu Feng; Xu Lu; Dong Du 003; Bicheng Yang; Xueqiang Jiang; Yubin Xia; Binyu Zang; Haibo Chen 001 (OSDI, 2021)

Bringing Decentralized Search to Decentralized Services. - Mingyu Li; Jinhao Zhu; Tianxu Zhang; Cheng Tan 005; Yubin Xia; Sebastian Angel; Haibo Chen 001 (OSDI, 2021)

Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. - Sijie Shen; Rong Chen 001; Haibo Chen 001; Binyu Zang (OSDI, 2021)

Polyjuice: High-Performance Transactions via Learned Concurrency Control. - Jia-Chen Wang; Ding Ding; Huan Wang; Conrad Christensen; Zhaoguo Wang; Haibo Chen 001; Jinyang Li 001 (OSDI, 2021)

CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. - Rafael Lourenco de Lima Chehab; Antonio Paolillo; Diogo Behrens; Ming Fu; Hermann Härtig; Haibo Chen 001 (SOSP, 2021)

TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. - Dingji Li; Zeyu Mi; Yubin Xia; Binyu Zang; Haibo Chen 001; Haibing Guan (SOSP, 2021)

Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM. - Xingda Wei; Xiating Xie; Rong Chen 001; Haibo Chen 001; Binyu Zang (USENIX ATC, 2021)

TZ-Container: protecting container from untrusted OS with ARM TrustZone. - Zhichao Hua 001; Yang Yu; Jinyu Gu 001; Yubin Xia; Haibo Chen 001; Binyu Zang (Sci. China Inf. Sci., 2021)

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report). - Jonas Oberhauser; Rafael Lourenco de Lima Chehab; Diogo Behrens; Ming Fu; Antonio Paolillo; Lilith Oberhauser; Koustubha Bhat; Yuzhong Wen; Haibo Chen 001; Jaeho Kim; Viktor Vafeiadis (CoRR, 2021)

Accelerator Virtualization Framework Based on Inter-VM Exitless Communication. - Dingji Li; Zeyu Mi; Baodong Wu; Xun Chen; Yongwang Zhao; Zuohua Ding; Haibo Chen 001 (Int. J. Softw. Informatics, 2021)

Revisiting Persistent Indexing Structures on Intel Optane DC Persistent Memory. - Heng Bu; Mingkai Dong 002; Jifei Yi; Binyu Zang; Haibo Chen 001 (J. Comput. Sci. Technol., 2021)

Wukong: A Distributed Framework for Fast and Concurrent Graph Querying. - Rong Chen 001; Haibo Chen 001 (ACM SIGOPS Oper. Syst. Rev., 2021)

Enclavisor: A Hardware-Software Co-Design for Enclaves on Untrusted Cloud. - Jinyu Gu 001; Xinyue Wu; Bojun Zhu; Yubin Xia; Binyu Zang; Haibing Guan; Haibo Chen 001 (IEEE Trans. Computers, 2021)

Boosting Inter-process Communication with Architectural Support. - Yubin Xia; Dong Du 003; Zhichao Hua 001; Binyu Zang; Haibo Chen 001; Haibing Guan (ACM Trans. Comput. Syst., 2021)

XStore: Fast RDMA-Based Ordered Key-Value Store Using Remote Learned Cache. - Xingda Wei; Rong Chen 001; Haibo Chen 001; Binyu Zang (ACM Trans. Storage, 2021)

Serverless computing on heterogeneous computers. - Dong Du 003; Qingyuan Liu; Xueqiang Jiang; Yubin Xia; Binyu Zang; Haibo Chen 001 (ASPLOS, 2022)

Affine Loop Invariant Generation via Matrix Algebra. - Yucheng Ji; Hongfei Fu 001; Bin Fang; Haibo Chen 001 (CAV (1), 2022)

HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. - Jifei Yi; Mingkai Dong 002; Fangnuo Wu; Haibo Chen 001 (FAST, 2022)

MT^2: Memory Bandwidth Regulation on Hybrid NVM/DRAM Platforms. - Jifei Yi; Benchao Dong; Mingkai Dong 002; Ruizhe Tong; Haibo Chen 001 (FAST, 2022)

Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. - Mingcong Han; Hanze Zhang; Rong Chen 001; Haibo Chen 001 (OSDI, 2022)

Asymmetry-aware scalable locking. - Nian Liu; Jinyu Gu 001; Dahai Tang; Kenli Li 001; Binyu Zang; Haibo Chen 001 (PPoPP, 2022)

Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly. - Chuzhe Tang; Zhaoguo Wang; Xiaodong Zhang; Qianmian Yu; Binyu Zang; Haibing Guan; Haibo Chen 001 (SIGMOD Conference, 2022)

WeTune: Automatic Discovery and Verification of Query Rewrite Rules. - Zhaoguo Wang; Zhou Zhou; Yicun Yang; Haoran Ding; Gansen Hu; Ding Ding; Chuzhe Tang; Haibo Chen 001; Jinyang Li 001 (SIGMOD Conference, 2022)

EPK: Scalable and Efficient Memory Protection Keys. - Jinyu Gu 001; Hao Li; Wentai Li; Yubin Xia; Haibo Chen 001 (USENIX ATC, 2022)

Zero-Change Object Transmission for Distributed Big Data Analytics. - Mingyu Wu 001; Shuaiwei Wang; Haibo Chen 001; Binyu Zang (USENIX ATC, 2022)

BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. - Jiawei Wang; Diogo Behrens; Ming Fu; Lilith Oberhauser; Jonas Oberhauser; Jitang Lei; Geng Chen; Hermann Härtig; Haibo Chen 001 (USENIX ATC, 2022)

KRCORE: A Microsecond-scale RDMA Control Plane for Elastic Computing. - Xingda Wei; Fangming Lu; Rong Chen 001; Haibo Chen 001 (USENIX ATC, 2022)

A Hardware-Software Co-design for Efficient Intra-Enclave Isolation. - Jinyu Gu 001; Bojun Zhu; Mingyu Li; Wentai Li; Yubin Xia; Haibo Chen 001 (USENIX Security Symposium, 2022)

In pursuit of a trusted computing base: the journey through virtualization (keynote). - Haibo Chen 001 (VEE, 2022)

DuVisor: a User-level Hypervisor Through Delegated Virtualization. - Jiahao Chen; Dingji Li; Zeyu Mi; Yuxuan Liu 019; Binyu Zang; Haibing Guan; Haibo Chen 001 (CoRR, 2022)

Booting 10K Serverless Functions within One Second via RDMA-based Remote Fork. - Xingda Wei; Tianxia Wang; Jinyu Gu 001; Yuhan Yang; Fangming Lu; Rong Chen 001; Haibo Chen 001 (CoRR, 2022)

A Comprehensive Study on Off-path SmartNIC. - Xingda Wei; Rongxin Chen; Yuhan Yang; Rong Chen 001; Haibo Chen 001 (CoRR, 2022)

Memory Optimization System for SGXv2 Trusted Execution Environment. - Mingyu Li; Yubin Xia; Haibo Chen 001 (Int. J. Softw. Informatics, 2022)

Reducing Transaction Processing Latency in Hardware Transactional Memory-based Database with Non-volatile Memory. - Xingda Wei; Fangming Lu; Rong Chen 001; Haibo Chen 001; Binyu Zang (Int. J. Softw. Informatics, 2022)

Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous Security Architectures. - Jinyu Gu 001; Hao Li; Yubin Xia; Haibo Chen 001; Chenggang Qin; Zhengyu He (J. Comput. Sci. Technol., 2022)

Gating PatternPyramid for diversified image style transfer. - Fan Yang; Haibo Chen 001; Zhanjie Zhang; Lei Zhao 011; Huaizhong Lin (J. Electronic Imaging, 2022)

General and Fast Inter-Process Communication via Bypassing Privileged Software. - Zeyu Mi; Haoqi Zhuang; Binyu Zang; Haibo Chen 001 (IEEE Trans. Computers, 2022)

Colony: A Privileged Trusted Execution Environment With Extensibility. - Yubin Xia; Zhichao Hua 001; Yang Yu; Jinyu Gu 001; Haibo Chen 001; Binyu Zang; Haibing Guan (IEEE Trans. Computers, 2022)

The Concurrent Learned Indexes for Multicore Data Storage. - Zhaoguo Wang; Haibo Chen 001; Youyun Wang; Chuzhe Tang; Huan Wang (ACM Trans. Storage, 2022)

DrTM+B: Replication-Driven Live Reconfiguration for Fast and General Distributed Transaction Processing. - Sijie Shen; Xingda Wei; Rong Chen 001; Haibo Chen 001; Binyu Zang (IEEE Trans. Parallel Distributed Syst., 2022)

Wukong+G: Fast and Concurrent RDF Query Processing Using RDMA-Assisted GPU Graph Exploration. - Zihang Yao; Rong Chen 001; Binyu Zang; Haibo Chen 001 (IEEE Trans. Parallel Distributed Syst., 2022)

Heterogeneous Serverless Computing. - Dong Du 003; Yubin Xia; Binyu Zang; Haibo Chen 001 (ACM TUR-C, 2023)

Microsecond-scale Datacenter Computing with Modern Networking. - Xingda Wei; Rong Chen 001; Haibo Chen 001 (ACM TUR-C, 2023)

BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution. - Ziming Zhao 003; Mingyu Wu 001; Jiawei Tang; Binyu Zang; Zhaoguo Wang; Haibo Chen 001 (ASPLOS (2), 2023)

AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. - Martin Beck; Koustubha Bhat; Lazar Stricevic; Geng Chen; Diogo Behrens; Ming Fu; Viktor Vafeiadis; Haibo Chen 001; Hermann Härtig (ASPLOS (2), 2023)

CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines. - Yuxuan Liu 019; Tianqiang Xu; Zeyu Mi; Zhichao Hua 001; Binyu Zang; Haibo Chen 001 (ASPLOS (4), 2023)

The Gap Between Serverless Research and Real-world Systems. - Qingyuan Liu; Dong Du 003; Yubin Xia; Ping Zhang; Haibo Chen 001 (SoCC, 2023)

Efficient Distributed Secure Memory with Migratable Merkle Tree. - Erhu Feng; Dong Du 003; Yubin Xia; Haibo Chen 001 (HPCA, 2023)

Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications. - Zhiyuan Dong; Zhaoguo Wang; Chuanwei Yi; Xian Xu; Jinyuan Zhang; Jinyang Li 001; Haibo Chen 001 (ICDE, 2023)

ISA-Grid: Architecture of Fine-grained Privilege Control for Instructions and Registers. - Shulin Fan; Zhichao Hua 001; Yubin Xia; Haibo Chen 001; Binyu Zang (ISCA, 2023)

Accelerating Extra Dimensional Page Walks for Confidential Computing. - Dong Du 003; Bicheng Yang; Yubin Xia; Haibo Chen 001 (MICRO, 2023)

Security and Performance in the Delegated User-level Virtualization. - Jiahao Chen; Dingji Li; Zeyu Mi; Yuxuan Liu 019; Binyu Zang; Haibing Guan; Haibo Chen 001 (OSDI, 2023)

Automated Verification of Idempotence for Stateful Serverless Applications. - Haoran Ding; Zhaoguo Wang; Zhuohao Shen; Rong Chen 001; Haibo Chen 001 (OSDI, 2023)

Encrypted Databases Made Secure Yet Maintainable. - Mingyu Li; Xuyang Zhao; Le Chen; Cheng Tan 005; Huorong Li; Sheng Wang 011; Zeyu Mi; Yubin Xia; Feifei Li 001; Haibo Chen 001 (OSDI, 2023)

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. - Jiawei Wang; Bohdan Trach; Ming Fu; Diogo Behrens; Jonathan Schwender; Yutao Liu; Jitang Lei; Viktor Vafeiadis; Hermann Härtig; Haibo Chen 001 (OSDI, 2023)

Characterizing Off-path SmartNIC for Accelerating Distributed Systems. - Xingda Wei; Rongxin Chen; Yuhan Yang; Rong Chen 001; Haibo Chen 001 (OSDI, 2023)

No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. - Xingda Wei; Fangming Lu; Tianxia Wang; Jinyu Gu 001; Yuhan Yang; Rong Chen 001; Haibo Chen 001 (OSDI, 2023)

UGACHE: A Unified GPU Cache for Embedding-based Deep Learning. - Xiaoniu Song; Yiwen Zhang; Rong Chen 001; Haibo Chen 001 (SOSP, 2023)

TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. - Fangnuo Wu; Mingkai Dong 002; Gequan Mo; Haibo Chen 001 (SOSP, 2023)

Bifrost: Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines. - Dingji Li; Zeyu Mi; Chenhui Ji; Yifan Tan; Binyu Zang; Haibing Guan; Haibo Chen 001 (USENIX ATC, 2023)

Bridging the Gap between Relational OLTP and Graph-based OLAP. - Sijie Shen; Zihang Yao; Lin Shi; Lei Wang 004; Longbin Lai; Qian Tao; Li Su 005; Rong Chen 001; Wenyuan Yu; Haibo Chen 001; Binyu Zang; Jingren Zhou 001 (USENIX ATC, 2023)

Transactional Indexes on (RDMA or CXL-based) Disaggregated Memory with Repairable Transaction. - Xingda Wei; Haotian Wang; Tianxia Wang; Rong Chen 001; Jinyu Gu 001; Pengfei Zuo; Haibo Chen 001 (CoRR, 2023)

Software Engineering for OpenHarmony: A Research Roadmap. - Li Li 029; Xiang Gao 012; Hailong Sun 001; Chunming Hu; Xiaoyu Sun 002; Haoyu Wang 001; Haipeng Cai; Ting Su 001; Xiapu Luo; Tegawendé F. Bissyandé; Jacques Klein; John C. Grundy; et al. (CoRR, 2023)

Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions. - Zhiyuan Dong; Zhaoguo Wang; Xiaodong Zhang; Xian Xu; Changgeng Zhao; Haibo Chen 001; Aurojit Panda; Jinyang Li 001 (Proc. VLDB Endow., 2023)

Ad Hoc Transactions: What They Are and Why We Should Care. - Chuzhe Tang; Zhaoguo Wang; Xiaodong Zhang; Qianmian Yu; Binyu Zang; Haibing Guan; Haibo Chen 001 (SIGMOD Rec., 2023)

Hawkeye: Eliminating Kernel Address Leakage in Normal Data Flows. - Zeyu Mi; Zhi Guo; Fuqian Huang; Haibo Chen 001 (IEEE Trans. Dependable Secur. Comput., 2023)

Understanding and Mitigating Twin Function Misuses in Operating System Kernel. - Jinyu Gu 001; Jiacheng Shi; Haroran Su; Wentai Li; Binyu Zang; Haibing Guan; Haibo Chen 001 (IEEE Trans. Computers, 2023)

Flock: Towards Multitasking Virtual Machines for Function-as-a-Service. - Ziming Zhao 003; Mingyu Wu 001; Xujie Cao; Haibo Chen 001; Binyu Zang (IEEE Trans. Computers, 2023)

Proving Query Equivalence Using Linear Integer Arithmetic. - Haoran Ding; Zhaoguo Wang; Yicun Yang; Dexin Zhang; Zhenglin Xu; Haibo Chen 001; Ruzica Piskac; Jinyang Li 001 (Proc. ACM Manag. Data, 2023)

Seraph: A Performance-Cost Aware Tuner for Training Reinforcement Learning Model on Serverless Computing. - Jinbo Han; Xingda Wei; Rong Chen 001; Haibo Chen 001 (APSys, 2024)

sIOPMP: Scalable and Efficient I/O Protection for TEEs. - Erhu Feng; Dahu Feng; Dong Du 003; Yubin Xia; Wenbin Zheng; Siqi Zhao; Haibo Chen 001 (ASPLOS (2), 2024)

Jade: A High-throughput Concurrent Copying Garbage Collector. - Mingyu Wu 001; Liang Mao; Yude Lin; Yifeng Jin; Zhe Li 037; Hongtao Lyu; Jiawei Tang; Xiaowei Lu; Hao Tang; Denghui Dong; Haibo Chen 001; Binyu Zang (EuroSys, 2024)

Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads. - Ziming Zhao 003; Mingyu Wu 001; Haibo Chen 001; Binyu Zang (EuroSys, 2024)

Serialization/Deserialization-free State Transfer in Serverless Workflows. - Fangming Lu; Xingda Wei; Zhuobin Huang; Rong Chen 001; Mingyu Wu 001; Haibo Chen 001 (EuroSys, 2024)

Optimizing File Systems on Heterogeneous Memory by Integrating DRAM Cache with Virtual Memory Management. - Yubo Liu; Yuxin Ren 001; Mingrui Liu; Hongbo Li 007; Hanjun Guo; Xie Miao; Xinwei Hu; Haibo Chen 001 (FAST, 2024)

sNPU: Trusted Execution Environments on Integrated NPUs. - Erhu Feng; Dahu Feng; Dong Du 003; Yubin Xia; Haibo Chen 001 (ISCA, 2024)

Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. - Haibo Chen 001; Xie Miao; Ning Jia; Nan Wang; Yu Li; Nian Liu; Yutao Liu; Fei Wang 130; Qiang Huang; Kun Li; Hongyang Yang; Hui Wang; et al. (OSDI, 2024)

Fast and Scalable In-network Lock Management Using Lock Fission. - Hanze Zhang; Ke Cheng; Rong Chen 001; Haibo Chen 001 (OSDI, 2024)

Using Dynamically Layered Definite Releases for Verifying the RefFS File System. - Mo Zou; Dong Du 003; Mingkai Dong 002; Haibo Chen 001 (OSDI, 2024)

PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. - Yixin Song; Zeyu Mi; Haotong Xie; Haibo Chen 001 (SOSP, 2024)

Brief Announcement: Work Stealing through Partial Asynchronous Delegation. - Jiawei Wang; Yutao Liu; Ming Fu; Hermann Härtig; Haibo Chen 001 (SPAA, 2024)

CPC: Flexible, Secure, and Efficient CVM Maintenance with Confidential Procedure Calls. - Jiahao Chen; Zeyu Mi; Yubin Xia; Haibing Guan; Haibo Chen 001 (USENIX ATC, 2024)

Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu. - Qingyuan Liu; Yanning Yang; Dong Du 003; Yubin Xia; Ping Zhang; Jia Feng; James R. Larus; Haibo Chen 001 (USENIX ATC, 2024)

Characterizing Network Requirements for GPU API Remoting in AI Applications. - Tianxia Wang; Zhuofu Chen; Xingda Wei; Jinyu Gu 001; Rong Chen 001; Haibo Chen 001 (CoRR, 2024)

Jiagu: Optimizing Serverless Computing Resource Utilization with Harmonized Efficiency and Practicability. - Qingyuan Liu; Yanning Yang; Dong Du 003; Yubin Xia; Ping Zhang; Jia Feng; James R. Larus; Haibo Chen 001 (CoRR, 2024)

Characterizing the Dilemma of Performance and Index Size in Billion-Scale Vector Search and Breaking It with Second-Tier Memory. - Rongxin Chen; Yifan Peng; Xingda Wei; Hongrui Xie; Rong Chen 001; Sijie Shen; Haibo Chen 001 (CoRR, 2024)

PARALLELGPUOS: A Concurrent OS-level GPU Checkpoint and Restore System using Validated Speculation. - Zhuobin Huang; Xingda Wei; Yingyi Hao; Rong Chen 001; Mingcong Han; Jinyu Gu 001; Haibo Chen 001 (CoRR, 2024)

Turbo Sparse: Achieving LLM SOTA Performance with Minimal Activated Parameters. - Yixin Song; Haotong Xie; Zhengyan Zhang; Bo Wen; Li Ma; Zeyu Mi; Haibo Chen 001 (CoRR, 2024)

PowerInfer-2: Fast Large Language Model Inference on a Smartphone. - Zhenliang Xue; Yixin Song; Zeyu Mi; Le Chen; Yubin Xia; Haibo Chen 001 (CoRR, 2024)

AsyncFS: Metadata Updates Made Asynchronous for Distributed Filesystems with In-Network Coordination. - Jingwei Xu; Mingkai Dong 002; Qiulin Tian; Ziyi Tian; Tong Xin; Haibo Chen 001 (CoRR, 2024)

Microsecond-scale Dynamic Validation of Idempotency for GPU Kernels. - Mingcong Han; Weihang Shen; Guanwen Peng; Rong Chen 001; Haibo Chen 001 (CoRR, 2024)

Fast and Live Model Auto Scaling with O(1) Host Caching. - Dingyan Zhang; Haotian Wang; Yang Liu; Xingda Wei; Yizhou Shan; Rong Chen 001; Haibo Chen 001 (CoRR, 2024)

KunServe: Elastic and Efficient Large Language Model Serving with Parameter-centric Memory Management. - Rongxin Chen; Yifan Peng; Yuxin Lai; Xingda Wei; Rong Chen 001; Haibo Chen 001 (CoRR, 2024)

Toward an SGX-Friendly Java Runtime. - Mingyu Wu 001; Zhe Li 037; Haibo Chen 001; Binyu Zang; Shaojun Wang; Lei Yu; Sanhong Li; Haitao Song 001 (IEEE Trans. Computers, 2024)

WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications. - Gansen Hu; Zhaoguo Wang; Chuzhe Tang; Jiahuan Shen; Zhiyuan Dong; Sheng Yao; Haibo Chen 001 (Proc. ACM Manag. Data, 2024)

Ad Hoc Transactions through the Looking Glass: An Empirical Study of Application-Level Transactions in Web Applications. - Zhaoguo Wang; Chuzhe Tang; Xiaodong Zhang; Qianmian Yu; Binyu Zang; Haibing Guan; Haibo Chen 001 (ACM Trans. Database Syst., 2024)

Locality-Preserving Graph Traversal With Split Live Migration. - Rong Chen 001; Xingda Wei; Xiating Xie; Haibo Chen 001 (IEEE Trans. Parallel Distributed Syst., 2024)

PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption. - Yifan Tan; Cheng Tan 005; Zeyu Mi; Haibo Chen 001 (ASPLOS (1), 2025)

Enabling Efficient Mobile Tracing with BTrace. - Jiawei Wang; Nian Liu; Arnau Casadevall-Saiz; Yutao Liu; Diogo Behrens; Ming Fu; Ning Jia; Hermann Härtig; Haibo Chen 001 (ASPLOS (2), 2025)

D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics. - Yuanpei Wu; Dong Du 003; Chao Xu; Yubin Xia; Ming Fu; Binyu Zang; Haibo Chen 001 (ASPLOS (1), 2025)

Liquid-State Drive: A Case for DNA Block Device for Enormous Data. - Jiahao Zhou; Mingkai Dong 002; Fei Wang 130; Jingyao Zeng; Lei Zhao 011; Chunhai Fan; Haibo Chen 001 (FAST, 2025)

Topology-Aware Virtualization over Inter-Core Connected Neural Processing Units. - Dahu Feng; Erhu Feng; Dong Du 003; Pinjie Xu; Yubin Xia; Haibo Chen 001; Rong Zhao (ISCA, 2025)

ODRP: On-Demand Remote Paging with Programmable RDMA. - Zixuan Wang; Xingda Wei; Jinyu Gu 001; Hongrui Xie; Rong Chen 001; Haibo Chen 001 (NSDI, 2025)

XSched: Preemptive Scheduling for Diverse XPUs. - Weihang Shen; Mingcong Han; Jialong Liu; Rong Chen 001; Haibo Chen 001 (OSDI, 2025)

OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit. - Yuanpei Wu; Chao Xu; Yubin Xia; Yang Yu; Ming Fu; Binyu Zang; Haibo Chen 001 (OSDI, 2025)

BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching. - Dingyan Zhang; Haotian Wang; Yang Liu; Xingda Wei; Yizhou Shan; Rong Chen 001; Haibo Chen 001 (OSDI, 2025)

μEFI: A Microkernel-Style UEFI with Isolation and Transparency. - Le Chen; Yiyang Wu; Jinyu Gu 001; Yubin Xia; Haibo Chen 001 (USENIX ATC, 2025)

KVCache Cache in the Wild: Characterizing and Optimizing KVCache Cache at a Large Cloud Provider. - Jiahao Wang; Jinbo Han; Xingda Wei; Sijie Shen; Dingyan Zhang; Chenguang Fang; Rong Chen 001; Wenyuan Yu; Haibo Chen 001 (USENIX ATC, 2025)

SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit Flips. - Wenxin Zheng; Bin Xu; Jinyu Gu 001; Haibo Chen 001 (USENIX ATC, 2025)

Whole-system Persistence Made Efficient with Tree-structured Checkpointing on Microkernel. - Mingkai Dong 002; Fangnuo Wu; Gequan Mo; Haibo Chen 001 (ACM Trans. Comput. Syst., 2025)

XpuTEE: A High-Performance and Practical Heterogeneous Trusted Execution Environment for GPUs. - Shulin Fan; Zhichao Hua 001; Yubin Xia; Haibo Chen 001 (ACM Trans. Comput. Syst., 2025)

HeteroLLM: Accelerating Large Language Model Inference on Mobile SoCs platform with Heterogeneous AI Accelerators. - Le Chen; Dahu Feng; Erhu Feng; Rong Zhao; Yingrui Wang; Yubin Xia; Haibo Chen 001; Pinjie Xu (CoRR, 2025)

HeteroPod: XPU-Accelerated Infrastructure Offloading for Commodity Cloud-Native Applications. - Bicheng Yang; Jingkai He; Dong Du 003; Yubin Xia; Haibo Chen 001 (CoRR, 2025)

Many Faces of Ad Hoc Transactions. - Chuzhe Tang; Zhaoguo Wang; Xiaodong Zhang; Qianmian Yu; Binyu Zang; Haibing Guan; Haibo Chen 001 (Commun. ACM, 2025)

PipeWeaver: Addressing Data Dynamicity in Large Multimodal Model Training with Dynamic Interleaved Pipeline. - Zhenliang Xue; Hanpeng Hu; Xing Chen; Yimin Jiang; Yixin Song; Zeyu Mi; Yibo Zhu; Daxin Jiang; Yubin Xia; Haibo Chen 001 (CoRR, 2025)

L3: DIMM-PIM Integrated Architecture and Coordination for Scalable Long-Context LLM Inference. - Qingyuan Liu; Liyan Chen; Yanning Yang; Haocheng Wang; Dong Du 003; Zhigang Mao; Naifeng Jing; Yubin Xia; Haibo Chen 001 (CoRR, 2025)

DecLock: A Case of Decoupled Locking for Disaggregated Memory. - Hanze Zhang; Ke Cheng; Rong Chen 001; Xingda Wei; Haibo Chen 001 (CoRR, 2025)

Get Experience from Practice: LLM Agents with Record & Replay. - Erhu Feng; Wenbo Zhou; Zibin Liu; Le Chen; Yunpeng Dong; Cheng Zhang; Yisheng Zhao; Dong Du 003; Zhi-Hua Zhou; Yubin Xia; Haibo Chen 001 (CoRR, 2025)

DiFache: Efficient and Scalable Caching on Disaggregated Memory using Decentralized Coherence. - Hanze Zhang; Kaiming Wang; Rong Chen 001; Xingda Wei; Haibo Chen 001 (CoRR, 2025)

Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency. - Yicun Yang; Zhaoguo Wang; Yu Xia; Zhuoran Wei; Haoran Ding; Ruzica Piskac; Haibo Chen 001; Jinyang Li 001 (Proc. ACM Manag. Data, 2025)

An AI-native experimental laboratory for autonomous biomolecular engineering. - Mingyu Wu 001; Zhaoguo Wang; Jiabin Wang; Zhiyuan Dong; Jingkai Yang; Qingting Li; Tianyu Huang; Lei Zhao 011; Mingqiang Li; Fei Wang 130; Chunhai Fan; Haibo Chen 001 (CoRR, 2025)

FalconFS: Distributed File System for Large-Scale Deep Learning Pipeline. - Jingwei Xu; Junbin Kang; Mingkai Dong 002; Mingyu Liu; Lu Zhang; Shaohong Guo; Ziyan Qiu; Mingzhen You; Ziyi Tian; Anqi Yu; Tianhong Ding; Xinwei Hu; et al. (CoRR, 2025)

Optimizing Tree-structure Indexes for CXL-based Heterogeneous Memory with SINLK. - Haoru Zhao; Mingkai Dong 002; Fangnuo Wu; Haibo Chen 001 (CoRR, 2025)

Holistic Heterogeneous Scheduling for Autonomous Applications using Fine-grained, Multi-XPU Abstraction. - Mingcong Han; Weihang Shen; Rong Chen 001; Binyu Zang; Haibo Chen 001 (CoRR, 2025)

Leveraging OS-Level Primitives for Robotic Action Management. - Wenxin Zheng; Boyang Li; Bin Xu; Erhu Feng; Jinyu Gu 001; Haibo Chen 001 (CoRR, 2025)