| 2026 | AAAI | RMLer: Synthesizing Novel Objects Across Diverse Categories via Reinforcement Mixing Learning. | Jun Li, Zikun Chen, Haibo Chen, Shuo Chen, Jian Yang |
| 2026 | ASPLOS | History Doesn't Repeat Itself but Rollouts Rhyme: Accelerating Reinforcement Learning with RhymeRL. | Jingkai He, Tianjian Li, Erhu Feng, Dong Du, Qian Liu, Tao Liu, Yubin Xia, Haibo Chen |
| 2026 | ASPLOS | DIP: Efficient 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 |
| 2026 | EuroSys | KUNSERVE: Parameter-centric Memory Management for Efficient Memory Overloading Handling in LLM Serving. | Rongxin Cheng, Yuxin Lai, Xingda Wei, Rong Chen, Haibo Chen |
| 2026 | EuroSys | Accurate and Ultra-Fast Launch-Time Validation of Idempotency for GPU Kernels. | Mingcong Han, Weihang Shen, Rong Chen, Haibo Chen |
| 2026 | EuroSys | LLMFolder: Revisiting Constant Folding in Large Language Models. | Gansen Hu, Zhaoguo Wang, Wei Huang, Jinglin Wei, Haibo Chen |
| 2026 | EuroSys | From Imperative to Declarative: Towards LLM-friendly OS Interfaces for Boosted Computer-Use Agents. | Yuan Wang, Mingyu Li, Haibo Chen |
| 2026 | EuroSys | SwitchFS: Asynchronous Metadata Updates for Distributed Filesystems with In-Network Coordination. | Jingwei Xu, Mingkai Dong, Qiulin Tian, Ziyi Tian, Tong Xin, Haibo Chen |
| 2026 | EuroSys | On-device Semantic Selection Made Low Latency and Memory Efficient with Monolithic Forwarding. | Jiahao Zhou, Chengliang Lin, Dingji Li, Mingkai Dong, Haibo Chen |
| 2026 | FAST | Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC. | Qingyuan Liu, Mo Zou, Hengbin Zhang, Dong Du, Yubin Xia, Haibo Chen |
| 2026 | FAST | "Range as a Key" is the Key! Fast and Compact Cloud Block Store Index with RASK. | Haoru Zhao, Mingkai Dong, Erci Xu, Zhongyu Wang, Haibo Chen |
| 2026 | FAST | SolidAttention: Low-Latency SSD-based Serving on Memory-Constrained PCs. | Xinrui Zheng, Dongliang Wei, Jianxiang Gao, Yixin Song, Zeyu Mi, Haibo Chen |
| 2026 | ISCA | CHIME: A Case for Efficient Long-Context Attention-FC Disaggregated Inference with DIMM-PIM. | Qingyuan Liu, Liyan Chen, Haocheng Wang, Yanning Yang, Dong Du, Zhigang Mao, Naifeng Jing, Yubin Xia, Haibo Chen |
| 2026 | NSDI | FalconFS: Distributed File System for Large-Scale Deep Learning Pipeline. | Jingwei Xu, Junbin Kang, Mingkai Dong, Mingyu Liu, Lu Zhang, Shaohong Guo, Ziyan Qiu, Mingzhen You, Ziyi Tian, Anqi Yu, Tianhong Ding, Xinwei Hu, Haibo Chen |
| 2026 | PPoPP | MetaAttention: A Unified and Performant Attention Framework across Hardware Backends. | Feiyang Chen, Yu Cheng, Lei Wang, Yuqing Xia, Ziming Miao, Lingxiao Ma, Fan Yang, Jilong Xue, Zhi Yang, Mao Yang, Xingda Wei, Haibo Chen |
| 2026 | SIGCSE | Experiences with the ChCore Experimental Operating System Kernel. | Haibo Chen, Yubin Xia, Jinyu Gu |
| 2026 | SIGCSE | miniK8s: A Pedagogical Cloud-Native System. | Dong Du, Mingyu Wu, Haibo Chen, Binyu Zang |
| 2025 | ASPLOS | PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption. | Yifan Tan, Cheng Tan, Zeyu Mi, Haibo Chen |
| 2025 | ASPLOS | Enabling Efficient Mobile Tracing with BTrace. | Jiawei Wang, Nian Liu, Arnau Casadevall-Saiz, Yutao Liu, Diogo Behrens, Ming Fu, Ning Jia, Hermann Hrtig, Haibo Chen |
| 2025 | ASPLOS | D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics. | Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Binyu Zang, Haibo Chen |
| 2025 | CLOUD | Offloading Cloud-Native Infrastructure with XpuPod. | Bicheng Yang, Jingkai He, Dong Du, Yubin Xia, Haibo Chen |
| 2025 | FAST | Liquid-State Drive: A Case for DNA Block Device for Enormous Data. | Jiahao Zhou, Mingkai Dong, Fei Wang, Jingyao Zeng, Lei Zhao, Chunhai Fan, Haibo Chen |
| 2025 | ICML | AutoGFM: Automated Graph Foundation Model with Adaptive Architecture Customization. | Haibo Chen, Xin Wang, Zeyang Zhang, Haoyang Li, Ling Feng, Wenwu Zhu |
| 2025 | ISCA | Topology-Aware Virtualization over Inter-Core Connected Neural Processing Units. | Dahu Feng, Erhu Feng, Dong Du, Pinjie Xu, Yubin Xia, Haibo Chen, Rong Zhao |
| 2025 | NSDI | ODRP: On-Demand Remote Paging with Programmable RDMA. | Zixuan Wang, Xingda Wei, Jinyu Gu, Hongrui Xie, Rong Chen, Haibo Chen |
| 2025 | OSDI | XSched: Preemptive Scheduling for Diverse XPUs. | Weihang Shen, Mingcong Han, Jialong Liu, Rong Chen, Haibo Chen |
| 2025 | OSDI | 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 |
| 2025 | OSDI | BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching. | Dingyan Zhang, Haotian Wang, Yang Liu, Xingda Wei, Yizhou Shan, Rong Chen, Haibo Chen |
| 2025 | PIMRC | Multiple-Input Multiple-Output AFDM with Index Modulation. | Ruiqi Cao, Yanqun Tang, Tianqi Mao, Muzi Yuan, Yuqing Liu, Hongjie Bao, Haibo Chen |
| 2025 | QRS | DiFuzzNMT: A Differential Fuzzing Framework for Neural Machine Translation. | Haibo Chen, Jinfu Chen, Saihua Cai, Shengran Wang, Jingyi Chen |
| 2025 | USENIX | μEFI: A Microkernel-Style UEFI with Isolation and Transparency. | Le Chen, Yiyang Wu, Jinyu Gu, Yubin Xia, Haibo Chen |
| 2025 | USENIX | 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, Wenyuan Yu, Haibo Chen |
| 2025 | USENIX | SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit Flips. | Wenxin Zheng, Bin Xu, Jinyu Gu, Haibo Chen |
| 2025 | SOSP | Characterizing Mobile SoC for Accelerating Heterogeneous LLM Inference. | Le Chen, Dahu Feng, Erhu Feng, Yingrui Wang, Rong Zhao, Yubin Xia, Pinjie Xu, Haibo Chen |
| 2025 | SOSP | How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service. | Jingkai He, Yunpeng Dong, Dong Du, Mo Zou, Zhitai Yu, Yuxin Ren, Ning Jia, Yubin Xia, Haibo Chen |
| 2025 | SOSP | PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation. | Xingda Wei, Zhuobin Huang, Tianle Sun, Yingyi Hao, Rong Chen, Mingcong Han, Jinyu Gu, Haibo Chen |
| 2025 | SOSP | DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV Compaction. | Yanqi Zhang, Yuwei Hu, Runyuan Zhao, John C. S. Lui, Haibo Chen |
| 2024 | AAAI | PNeSM: Arbitrary 3D Scene Stylization via Prompt-Based Neural Style Mapping. | Jiafu Chen, Wei Xing, Jiakai Sun, Tianyi Chu, Yiling Huang, Boyan Ji, Lei Zhao, Huaizhong Lin, Haibo Chen, Zhizhong Wang |
| 2024 | AAAI | Attack Deterministic Conditional Image Generative Models for Diverse and Controllable Generation. | Tianyi Chu, Wei Xing, Jiafu Chen, Zhizhong Wang, Jiakai Sun, Lei Zhao, Haibo Chen, Huaizhong Lin |
| 2024 | ASPLOS | sIOPMP: Scalable and Efficient I/O Protection for TEEs. | Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Wenbin Zheng, Siqi Zhao, Haibo Chen |
| 2024 | EuroSys | Jade: A High-throughput Concurrent Copying Garbage Collector. | Mingyu Wu, Liang Mao, Yude Lin, Yifeng Jin, Zhe Li, Hongtao Lyu, Jiawei Tang, Xiaowei Lu, Hao Tang, Denghui Dong, Haibo Chen, Binyu Zang |
| 2024 | EuroSys | Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads. | Ziming Zhao, Mingyu Wu, Haibo Chen, Binyu Zang |
| 2024 | EuroSys | Serialization/Deserialization-free State Transfer in Serverless Workflows. | Fangming Lu, Xingda Wei, Zhuobin Huang, Rong Chen, Mingyu Wu, Haibo Chen |
| 2024 | FAST | Optimizing File Systems on Heterogeneous Memory by Integrating DRAM Cache with Virtual Memory Management. | Yubo Liu, Yuxin Ren, Mingrui Liu, Hongbo Li, Hanjun Guo, Xie Miao, Xinwei Hu, Haibo Chen |
| 2024 | ICML | Disentangled Graph Self-supervised Learning for Out-of-Distribution Generalization. | Haoyang Li, Xin Wang, Zeyang Zhang, Haibo Chen, Ziwei Zhang, Wenwu Zhu |
| 2024 | ISCA | sNPU: Trusted Execution Environments on Integrated NPUs. | Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Haibo Chen |
| 2024 | ISPA | Heterogeneity Modeling with Flexibility-based Graph Neural Networks. | Jisheng Qin, Tao Tao, Zijie Liu, Haibo Chen, Shenghui Zhao |
| 2024 | OSDI | Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. | 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 |
| 2024 | OSDI | Fast and Scalable In-network Lock Management Using Lock Fission. | Hanze Zhang, Ke Cheng, Rong Chen, Haibo Chen |
| 2024 | OSDI | Using Dynamically Layered Definite Releases for Verifying the RefFS File System. | Mo Zou, Dong Du, Mingkai Dong, Haibo Chen |
| 2024 | QRS | QAQA-SS: An Improved Fuzzing Approach with Seed Scheduling Based on the UCB Algorithm for QA Systems. | Jinfu Chen, Yucheng Wu, Haibo Chen, Jingyi Chen, Ernest Akpaku |
| 2024 | QRS | Detecting Bias in LLMs' Natural Language Inference Using Metamorphic Testing. | Zhahao Li, Jinfu Chen, Haibo Chen, Leyang Xu, Wuhao Guo |
| 2024 | WCNC | SI-AMC: Integrating DL-Based Scenario Identification into Adaptive Modulation and Coding in Vehicular Communications. | Zhengpeng Wang, Yanqun Tang, Shiyu Song, Haibo Chen, Xianjie Lu, Fan Liu |
| 2024 | USENIX | CPC: Flexible, Secure, and Efficient CVM Maintenance with Confidential Procedure Calls. | Jiahao Chen, Zeyu Mi, Yubin Xia, Haibing Guan, Haibo Chen |
| 2024 | USENIX | Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu. | Qingyuan Liu, Yanning Yang, Dong Du, Yubin Xia, Ping Zhang, Jia Feng, James R. Larus, Haibo Chen |
| 2024 | SPAA | Brief Announcement: Work Stealing through Partial Asynchronous Delegation. | Jiawei Wang, Yutao Liu, Ming Fu, Hermann Hrtig, Haibo Chen |
| 2024 | SOSP | PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. | Yixin Song, Zeyu Mi, Haotong Xie, Haibo Chen |
| 2023 | AAAI | MicroAST: Towards Super-fast Ultra-Resolution Arbitrary Style Transfer. | Zhizhong Wang, Lei Zhao, Zhiwen Zuo, Ailin Li, Haibo Chen, Wei Xing, Dongming Lu |
| 2023 | ASPLOS | BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution. | Ziming Zhao, Mingyu Wu, Jiawei Tang, Binyu Zang, Zhaoguo Wang, Haibo Chen |
| 2023 | ASPLOS | 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, Hermann Hrtig |
| 2023 | ASPLOS | CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines. | Yuxuan Liu, Tianqiang Xu, Zeyu Mi, Zhichao Hua, Binyu Zang, Haibo Chen |
| 2023 | CLOUD | The Gap Between Serverless Research and Real-world Systems. | Qingyuan Liu, Dong Du, Yubin Xia, Ping Zhang, Haibo Chen |
| 2023 | HPCA | Efficient Distributed Secure Memory with Migratable Merkle Tree. | Erhu Feng, Dong Du, Yubin Xia, Haibo Chen |
| 2023 | ICDE | Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications. | Zhiyuan Dong, Zhaoguo Wang, Chuanwei Yi, Xian Xu, Jinyuan Zhang, Jinyang Li, Haibo Chen |
| 2023 | ISCA | ISA-Grid: Architecture of Fine-grained Privilege Control for Instructions and Registers. | Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang |
| 2023 | MICRO | Accelerating Extra Dimensional Page Walks for Confidential Computing. | Dong Du, Bicheng Yang, Yubin Xia, Haibo Chen |
| 2023 | OSDI | Security and Performance in the Delegated User-level Virtualization. | Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen |
| 2023 | OSDI | Automated Verification of Idempotence for Stateful Serverless Applications. | Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, Haibo Chen |
| 2023 | OSDI | Encrypted Databases Made Secure Yet Maintainable. | Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen |
| 2023 | OSDI | 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 Hrtig, Haibo Chen |
| 2023 | OSDI | Characterizing Off-path SmartNIC for Accelerating Distributed Systems. | Xingda Wei, Rongxin Cheng, Yuhan Yang, Rong Chen, Haibo Chen |
| 2023 | OSDI | No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. | Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, Haibo Chen |
| 2023 | USENIX | 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 |
| 2023 | USENIX | Bridging the Gap between Relational OLTP and Graph-based OLAP. | Sijie Shen, Zihang Yao, Lin Shi, Lei Wang, Longbin Lai, Qian Tao, Li Su, Rong Chen, Wenyuan Yu, Haibo Chen, Binyu Zang, Jingren Zhou |
| 2023 | SOSP | UGACHE: A Unified GPU Cache for Embedding-based Deep Learning. | Xiaoniu Song, Yiwen Zhang, Rong Chen, Haibo Chen |
| 2023 | SOSP | TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. | Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen |
| 2022 | AAAI | Texture Reformer: Towards Fast and Universal Interactive Texture Transfer. | Zhizhong Wang, Lei Zhao, Haibo Chen, Ailin Li, Zhiwen Zuo, Wei Xing, Dongming Lu |
| 2022 | ASPLOS | Serverless computing on heterogeneous computers. | Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen |
| 2022 | CAV | Affine Loop Invariant Generation via Matrix Algebra. | Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen |
| 2022 | FAST | HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. | Jifei Yi, Mingkai Dong, Fangnuo Wu, Haibo Chen |
| 2022 | FAST | MT^2: Memory Bandwidth Regulation on Hybrid NVM/DRAM Platforms. | Jifei Yi, Benchao Dong, Mingkai Dong, Ruizhe Tong, Haibo Chen |
| 2022 | IJCAI | DivSwapper: Towards Diversified Patch-based Arbitrary Style Transfer. | Zhizhong Wang, Lei Zhao, Haibo Chen, Zhiwen Zuo, Ailin Li, Wei Xing, Dongming Lu |
| 2022 | IJCAI | Style Fader Generative Adversarial Networks for Style Degree Controllable Artistic Style Transfer. | Zhiwen Zuo, Lei Zhao, Shuobin Lian, Haibo Chen, Zhizhong Wang, Ailin Li, Wei Xing, Dongming Lu |
| 2022 | OSDI | Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. | Mingcong Han, Hanze Zhang, Rong Chen, Haibo Chen |
| 2022 | PPoPP | Asymmetry-aware scalable locking. | Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen |
| 2022 | QRS | A Novel Coverage-Guided Greybox Fuzzing Method based on Grammar-Aware with Particle Swarm Optimization. | Shengran Wang, Jinfu Chen, Saihua Cai, Chi Zhang, Haibo Chen |
| 2022 | SIGMOD | 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 |
| 2022 | SIGMOD | 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, Jinyang Li |
| 2022 | USENIX | EPK: Scalable and Efficient Memory Protection Keys. | Jinyu Gu, Hao Li, Wentai Li, Yubin Xia, Haibo Chen |
| 2022 | USENIX | Zero-Change Object Transmission for Distributed Big Data Analytics. | Mingyu Wu, Shuaiwei Wang, Haibo Chen, Binyu Zang |
| 2022 | USENIX | 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 Hrtig, Haibo Chen |
| 2022 | USENIX | KRCORE: A Microsecond-scale RDMA Control Plane for Elastic Computing. | Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen |
| 2022 | VEE | In pursuit of a trusted computing base: the journey through virtualization (keynote). | Haibo Chen |
| 2021 | ASPLOS | 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, Jaeho Kim, Viktor Vafeiadis |
| 2021 | CVPR | DualAST: Dual Style-Learning Networks for Artistic Style Transfer. | Haibo Chen, Lei Zhao, Zhizhong Wang, Huiming Zhang, Zhiwen Zuo, Ailin Li, Wei Xing, Dongming Lu |
| 2021 | DIMVA | Third-Eye: Practical and Context-Aware Inference of Causal Relationship Violations in Commodity Kernels. | Chuhong Yuan, Dong Du, Haibo Chen |
| 2021 | EuroSys | Bridging the performance gap for copy-based garbage collectors atop non-volatile memory. | Yanfei Yang, Mingyu Wu, Haibo Chen, Binyu Zang |
| 2021 | ICCV | Diverse Image Style Transfer via Invertible Cross-Space Mapping. | Haibo Chen, Lei Zhao, Huiming Zhang, Zhizhong Wang, Zhiwen Zuo, Ailin Li, Wei Xing, Dongming Lu |
| 2021 | ISCA | Confidential Serverless Made Efficient with Plug-In Enclaves. | Mingyu Li, Yubin Xia, Haibo Chen |
| 2021 | ISSRE | A Test Case Generation Method of Combinatorial Testing based on τ-way Testing with Adaptive Random Testing. | Jinfu Chen, Jingyi Chen, Saihua Cai, Haibo Chen, Chi Zhang, Chuangfei Huang |
| 2021 | ISSRE | KS-TCP: An Efficient Test Case Prioritization Approach based on K-medoids and Similarity. | Jinfu Chen, Yuechao Gu, Saihua Cai, Haibo Chen, Jingyi Chen |
| 2021 | NSDI | Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. | Xingda Wei, Rong Chen, Haibo Chen, Zhaoguo Wang, Zhenhan Gong, Binyu Zang |
| 2021 | OSDI | Scalable Memory Protection in the PENGLAI Enclave. | Erhu Feng, Xu Lu, Dong Du, Bicheng Yang, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen |
| 2021 | OSDI | Bringing Decentralized Search to Decentralized Services. | Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen |
| 2021 | OSDI | Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. | Sijie Shen, Rong Chen, Haibo Chen, Binyu Zang |
| 2021 | OSDI | Polyjuice: High-Performance Transactions via Learned Concurrency Control. | Jia-Chen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, Jinyang Li |
| 2021 | QRS | MMFC-ART: a Fixed-size-Candidate-set Adaptive Random Testing approach based on the modified Metric-Memory tree. | Jinfu Chen, Yiming Wu, Chengying Mao, Tsong Yueh Chen, Haibo Chen |
| 2021 | QRS | An Efficient Network Traffic Classification Method based on Combined Feature Dimensionality Reduction. | Ye Geng, Saihua Cai, Songling Qin, Haibo Chen, Shang Yin |
| 2021 | QRS | A Testing Method for Object-oriented Program based on Adaptive Random Testing with Variable Probability. | Tianxiang Lv, Qihao Bao, Haibo Chen, Chi Zhang |
| 2021 | QRS | An Adaptive Random Test Method based on Variable Probability Density Function with Particle Swarm Optimization. | Shengran Wang, Jinfu Chen, Jiaxiang Xi, Haibo Chen, Jingyi Chen |
| 2021 | SAC | Which type of exclusion region is better for restricted random testing?: an empirical study. | Weifeng Sun, Rubing Huang, Chenhui Cui, Haibo Chen, Weijie Liu |
| 2021 | USENIX | Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM. | Xingda Wei, Xiating Xie, Rong Chen, Haibo Chen, Binyu Zang |
| 2021 | SOSP | CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. | Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Hrtig, Haibo Chen |
| 2021 | SOSP | TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. | Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan |
| 2020 | ASPLOS | Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. | Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, Haibo Chen |
| 2020 | CLOUD | Characterizing serverless platforms with serverlessbench. | Tianyi Yu, Qingyuan Liu, Dong Du, Yubin Xia, Binyu Zang, Ziqian Lu, Pingchao Yang, Chenggang Qin, Haibo Chen |
| 2020 | CVPR | Diversified Arbitrary Style Transfer via Deep Feature Perturbation. | Zhizhong Wang, Lei Zhao, Haibo Chen, Lihong Qiu, Qihang Mo, Sihuan Lin, Wei Xing, Dongming Lu |
| 2020 | CVPR | UCTGAN: Diverse Image Inpainting Based on Unsupervised Cross-Space Translation. | Lei Zhao, Qihang Mo, Sihuan Lin, Zhizhong Wang, Zhiwen Zuo, Haibo Chen, Wei Xing, Dongming Lu |
| 2020 | OSDI | Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache. | Xingda Wei, Rong Chen, Haibo Chen |
| 2020 | PPoPP | No barrier in the road: a comprehensive study and optimization of ARM barriers. | Nian Liu, Binyu Zang, Haibo Chen |
| 2020 | PPoPP | XIndex: a scalable learned index for multicore data storage. | Chuzhe Tang, Youyun Wang, Zhiyuan Dong, Gansen Hu, Zhaoguo Wang, Minjie Wang, Haibo Chen |
| 2020 | TrustCom | An Automatic Vulnerability Scanner for Web Applications. | Haibo Chen, Junzuo Chen, Jinfu Chen, Shang Yin, Yiming Wu, Jiaping Xu |
| 2020 | TrustCom | An Automatic Vulnerability Classification System for IoT Softwares. | Haibo Chen, Dalin Zhang, Jinfu Chen, Wei Lin, Dengzhou Shi, Zian Zhao |
| 2020 | USENIX | Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. | Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen |
| 2020 | USENIX | Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services. | Mingyu Wu, Ziming Zhao, Yanfei Yang, Haoyu Li, Haibo Chen, Binyu Zang, Haibing Guan, Sanhong Li, Chuansheng Lu, Tongbao Zhang |
| 2020 | VEE | GCPersist: an efficient GC-assisted lazy persistency framework for resilient Java applications on NVM. | Mingyu Wu, Haibo Chen, Hao Zhu, Binyu Zang, Haibing Guan |
| 2019 | EuroSys | SkyBridge: Fast and Secure Inter-Process Communication for Microkernels. | Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, Haibo Chen |
| 2019 | ISCA | XPC: architectural support for secure and efficient cross process call. | Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen |
| 2019 | PODC | On the Parallels between Paxos and Raft, and how to Port Optimizations. | Zhaoguo Wang, Changgeng Zhao, Shuai Mu, Haibo Chen, Jinyang Li |
| 2019 | USENIX | EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices. | Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen |
| 2019 | USENIX | Pisces: A Scalable and Efficient Persistent Transactional Memory. | Jinyu Gu, Qianqian Yu, Xiayang Wang, Zhaoguo Wang, Binyu Zang, Haibing Guan, Haibo Chen |
| 2019 | USENIX | Pragh: Locality-preserving Graph Traversal with Split Live Migration. | Xiating Xie, Xingda Wei, Rong Chen, Haibo Chen |
| 2019 | SOSP | Performance and protection in the ZoFS user-space NVM file system. | Mingkai Dong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen |
| 2019 | SOSP | Using concurrent relational logic with helpers for verifying the AtomFS file system. | Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen |
| 2019 | VEE | ScissorGC: scalable and efficient compaction for Java full garbage collection. | Haoyu Li, Mingyu Wu, Binyu Zang, Haibo Chen |
| 2019 | VEE | TEEv: virtualizing trusted execution environments on mobile platforms. | Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang |
| 2018 | ASPLOS | Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory. | Mingyu Wu, Ziming Zhao, Haoyu Li, Heting Li, Haibo Chen, Binyu Zang, Haibing Guan |
| 2018 | CCS | Leveraging Hardware Transactional Memory for Cache Side-Channel Defenses. | Sanchuan Chen, Fangfei Liu, Zeyu Mi, Yinqian Zhang, Ruby B. Lee, Haibo Chen, XiaoFeng Wang |
| 2018 | HPCA | Comprehensive VM Protection Against Untrusted Hypervisor Through Retrofitted AMD Memory Encryption. | Yuming Wu, Yutao Liu, Ruifeng Liu, Haibo Chen, Binyu Zang, Haibing Guan |
| 2018 | Mobisys | VButton: Practical Attestation of User-driven Operations in Mobile Apps. | Wenhao Li, Shiyu Luo, Zhichuang Sun, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang, Haibing Guan |
| 2018 | OSDI | Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better! | Xingda Wei, Zhiyuan Dong, Rong Chen, Haibo Chen |
| 2018 | USENIX | EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. | Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, Binyu Zang |
| 2018 | USENIX | Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration. | Siyuan Wang, Chang Lou, Rong Chen, Haibo Chen |
| 2017 | DSN | Secure Live Migration of SGX Enclaves on Untrusted Cloud. | Jinyu Gu, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li |
| 2017 | HPCA | Transparent and Efficient CFI Enforcement with Intel Processor Trace. | Yutao Liu, Peitao Shi, Xinran Wang, Haibo Chen, Binyu Zang, Haibing Guan |
| 2017 | ICDCS | Learn-as-You-Go with Megh: Efficient Live Migration of Virtual Machines. | Debabrota Basu, Xiayang Wang, Yang Hong, Haibo Chen, Stphane Bressan |
| 2017 | INFOCOM | Message dissemination scheduling for multiple cooperative drivings. | Dongyao Jia, Bingyi Liu, Haibo Chen, Jingyuan Fan, Chunming Qiao, Jianping Wang, Libing Wu |
| 2017 | NDSS | Deconstructing Xen. | Le Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Jinming Li |
| 2017 | PPoPP | Eunomia: Scaling Concurrent Search Trees under Contention Using HTM. | Xin Wang, Weihua Zhang, Zhaoguo Wang, Ziyun Wei, Haibo Chen, Wenyun Zhao |
| 2017 | PPoPP | POSTER: Recovering Performance for Vector-based Machine Learning on Managed Runtime. | Mingyu Wu, Haibing Guan, Binyu Zang, Haibo Chen |
| 2017 | USENIX | Soft Updates Made Simple and Fast on Non-volatile Memory. | Mingkai Dong, Haibo Chen |
| 2017 | USENIX | Replication-driven Live Reconfiguration for Fast Distributed Transaction Processing. | Xingda Wei, Sijie Shen, Rong Chen, Haibo Chen |
| 2017 | SOSP | Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. | Yunhao Zhang, Rong Chen, Haibo Chen |
| 2016 | CLOUD | A Case for Virtualizing Persistent Memory. | Liang Liang, Rong Chen, Haibo Chen, Yubin Xia, KwanJong Park, Binyu Zang, Haibing Guan |
| 2016 | EuroSys | Fast and general distributed transactions using RDMA and HTM. | Yanzhe Chen, Xingda Wei, Jiaxin Shi, Rong Chen, Haibo Chen |
| 2016 | FAST | Mitigating Sync Amplification for Copy-on-write Virtual Disk. | Qingshu Chen, Liang Liang, Yubin Xia, Haibo Chen |
| 2016 | FAST | Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication. | Heng Zhang, Mingkai Dong, Haibo Chen |
| 2016 | OSDI | Fast and Concurrent RDF Queries with RDMA-Based Distributed Graph Exploration. | Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen, Feifei Li |
| 2016 | PPoPP | Scalable adaptive NUMA-aware lock: combining local locking and remote locking for efficient concurrency. | Mingzhe Zhang, Francis C. M. Lau, Cho-Li Wang, Luwei Cheng, Haibo Chen |
| 2016 | SIGMOD | Scaling Multicore Databases via Constrained Parallel Execution. | Zhaoguo Wang, Shuai Mu, Yang Cui, Han Yi, Haibo Chen, Jinyang Li |
| 2016 | VEE | Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments. | Yang Yu, Tianyang Lei, Weihua Zhang, Haibo Chen, Binyu Zang |
| 2015 | CCS | Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation. | Yutao Liu, Tianyu Zhou, Kexin Chen, Haibo Chen, Yubin Xia |
| 2015 | EuroSys | PowerLyra: differentiated graph computation and partitioning on skewed graphs. | Rong Chen, Jiaxin Shi, Yanzhe Chen, Haibo Chen |
| 2015 | EuroSys | Untitled record | Yubin Xia, Yutao Liu, Cheng Tan, Mingyang Ma, Haibing Guan, Binyu Zang, Haibo Chen |
| 2015 | ISCA | Reducing world switches in virtualized environment with flexible cross-world calls. | Wenhao Li, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan |
| 2015 | Mobisys | AdAttester: Secure Online Mobile Advertisement Attestation Using TrustZone. | Wenhao Li, Haibo Li, Haibo Chen, Yubin Xia |
| 2015 | Mobisys | Poster: TVisor - A Practical and Lightweight Mobile Red-Green Dual-OS Architecture. | Wenhao Li, Liang Liang, Mingyang Ma, Yubin Xia, Haibo Chen |
| 2015 | PPoPP | SYNC or ASYNC: time to fuse for distributed graph-parallel computation. | Chenning Xie, Rong Chen, Haibing Guan, Binyu Zang, Haibo Chen |
| 2015 | PPoPP | NUMA-aware graph-structured analytics. | Kaiyuan Zhang, Rong Chen, Haibo Chen |
| 2015 | SOSP | Fast in-memory transaction processing using RDMA and HTM. | Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen |
| 2014 | DSN | Replication-Based Fault-Tolerance for Large-Scale Graph Processing. | Peng Wang, Kaiyuan Zhang, Rong Chen, Haibo Chen, Haibing Guan |
| 2014 | EuroSys | Using restricted transactional memory to build a scalable in-memory database. | Zhaoguo Wang, Hao Qian, Jinyang Li, Haibo Chen |
| 2014 | HPCA | Concurrent and consistent virtual machine introspection with hardware transactional memory. | Yutao Liu, Yubin Xia, Haibing Guan, Binyu Zang, Haibo Chen |
| 2014 | HPDC | Computation and communication efficient graph processing with distributed immutable view. | Rong Chen, Xin Ding, Peng Wang, Haibo Chen, Binyu Zang, Haibing Guan |
| 2014 | ICPP | Hydra: Efficient Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architecture. | Zhuofang Dai, Haojun Wang, Weihua Zhang, Haibo Chen, Binyu Zang |
| 2014 | USENIX | Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks. | Ran Liu, Heng Zhang, Haibo Chen |
| 2013 | DATE | Multi-level phase analysis for sampling simulation. | Jiaxin Li, Weihua Zhang, Haibo Chen, Binyu Zang |
| 2013 | HPCA | Architecture support for guest-transparent VM protection from untrusted hypervisor and physical attacks. | Yubin Xia, Yutao Liu, Haibo Chen |
| 2013 | HPCC | X10-PM: Transparent and Efficient Place Migration for APGAS Language. | Zhijun Hao, Binyu Zang, Chenning Xie, Haibo Chen |
| 2013 | PPoPP | Scalable deterministic replay in a parallel full-system emulator. | Yufei Chen, Haibo Chen |
| 2013 | PPoPP | X10-FT: transparent fault tolerance for APGAS language and runtime. | Chenning Xie, Zhijun Hao, Haibo Chen |
| 2013 | VEE | Parallelizing live migration of virtual machines. | Xiang Song, Jicheng Shi, Ran Liu, Jian Yang, Haibo Chen |
| 2012 | ASPLOS | A GPU-based high-throughput image retrieval algorithm. | Feiwen Zhu, Peng Chen, Donglei Yang, Weihua Zhang, Haibo Chen, Binyu Zang |
| 2012 | DAC | Transformer: a functional-driven cycle-accurate multicore simulator. | Zhenman Fang, Qinghao Min, Keyong Zhou, Yi Lu, Yibin Hu, Weihua Zhang, Haibo Chen, Jian Li, Binyu Zang |
| 2012 | DSN | TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization. | Cheng Tan, Yubin Xia, Haibo Chen, Binyu Zang |
| 2012 | DSN | CFIMon: Detecting violation of control flow integrity using performance counters. | Yubin Xia, Yutao Liu, Haibo Chen, Binyu Zang |
| 2012 | DSN | Defending against VM rollback attack. | Yubin Xia, Yutao Liu, Haibo Chen, Binyu Zang |
| 2012 | ICPP | Adaptive Pipeline Parallelism for Image Feature Extraction Algorithms. | Peng Chen, Donglei Yang, Weihua Zhang, Yi Li, Binyu Zang, Haibo Chen |
| 2012 | PPoPP | A case for secure and scalable hypervisor using safe language. | Haibo Chen, Binyu Zang |
| 2012 | USENIX | Revisiting Software Zero-Copy for Web-caching Applications with Twin Memory Allocation. | Xiang Song, Jicheng Shi, Haibo Chen, Binyu Zang |
| 2011 | DSN | Limiting cache-based side-channel in multi-tenant cloud using dynamic page coloring. | Jicheng Shi, Xiang Song, Haibo Chen, Binyu Zang |
| 2011 | EuroSys | A case for scaling applications to many-core with OS clustering. | Xiang Song, Haibo Chen, Rong Chen, Yuanxuan Wang, Binyu Zang |
| 2011 | ISPASS | A comprehensive analysis and parallelization of an image retrieval algorithm. | Zhenman Fang, Donglei Yang, Weihua Zhang, Haibo Chen, Binyu Zang |
| 2011 | PPoPP | COREMU: a scalable and portable parallel full-system emulator. | Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zhang, Binyu Zang |
| 2011 | USENIX | ORDER: Object centRic DEterministic Replay for Java. | Zhemin Yang, Min Yang, Lvcai Xu, Haibo Chen, Binyu Zang |
| 2011 | SOSP | CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization. | Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang |
| 2010 | DSN | Why software hangs and what can be done with it. | Xiang Song, Haibo Chen, Binyu Zang |
| 2010 | VEE | Optimizing crash dump in virtualized environments. | Yijian Huang, Haibo Chen, Binyu Zang |
| 2009 | MICRO | Control flow obfuscation with information flow tracking. | Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang, Bo Huang, Pen-Chung Yew |
| 2008 | ISCA | From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware. | Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-Chung Yew, Frederic T. Chong |
| 2008 | OSDI | Corey: An Operating System for Many Cores. | Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, M. Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yue-hua Dai, Yang Zhang, Zheng Zhang |
| 2007 | ICPP | Mercury: Combining Performance with Dependability Using Self-virtualization. | Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen-Chung Yew |
| 2007 | ICSE | POLUS: A POwerful Live Updating System. | Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, Pen-Chung Yew |
| 2006 | VEE | Live updating operating systems using virtualization. | Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen-Chung Yew |
| 2005 | CIS | CR*-Tree: An Improved R-Tree Using Cost Model. | Haibo Chen, Zhanquan Wang |