| 2026 | SIGCSE | miniK8s: A Pedagogical Cloud-Native System. | Dong Du, Mingyu Wu, Haibo Chen, Binyu Zang |
| 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 | 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 |
| 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 |
| 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 | CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines. | Yuxuan Liu, Tianqiang Xu, Zeyu Mi, Zhichao Hua, Binyu Zang, 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 | 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 | 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 |
| 2022 | ASPLOS | Serverless computing on heterogeneous computers. | Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen |
| 2022 | PPoPP | Asymmetry-aware scalable locking. | Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, 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 | USENIX | Zero-Change Object Transmission for Distributed Big Data Analytics. | Mingyu Wu, Shuaiwei Wang, Haibo Chen, Binyu Zang |
| 2021 | EuroSys | Bridging the performance gap for copy-based garbage collectors atop non-volatile memory. | Yanfei Yang, Mingyu Wu, Haibo Chen, Binyu Zang |
| 2021 | ICDCS | Efficiently Recovering Stateful System Components of Multi-server Microkernels. | Wentai Li, Jinyu Gu, Nian Liu, Binyu Zang |
| 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 | Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. | Sijie Shen, Rong Chen, Haibo Chen, Binyu Zang |
| 2021 | USENIX | Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM. | Xingda Wei, Xiating Xie, Rong Chen, Haibo Chen, Binyu Zang |
| 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 | ICPADS | TEEp: Supporting Secure Parallel Processing in ARM TrustZone. | Zinan Li, Wenhao Li, Yubin Xia, Binyu Zang |
| 2020 | PPoPP | No barrier in the road: a comprehensive study and optimization of ARM barriers. | Nian Liu, Binyu Zang, 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 | ISCA | XPC: architectural support for secure and efficient cross process call. | Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, 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 | 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 | 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 | USENIX | EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. | Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, Binyu Zang |
| 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 | NDSS | Deconstructing Xen. | Le Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Jinming Li |
| 2017 | PPoPP | POSTER: Recovering Performance for Vector-based Machine Learning on Managed Runtime. | Mingyu Wu, Haibing Guan, Binyu Zang, 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 | VEE | Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments. | Yang Yu, Tianyang Lei, Weihua Zhang, Haibo Chen, Binyu Zang |
| 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 | PPoPP | SYNC or ASYNC: time to fuse for distributed graph-parallel computation. | Chenning Xie, Rong Chen, Haibing Guan, Binyu Zang, 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 |
| 2013 | CCS | Vetting undesirable behaviors in android apps with permission use analysis. | Yuan Zhang, Min Yang, Bingquan Xu, Zhemin Yang, Guofei Gu, Peng Ning, Xiaoyang Sean Wang, Binyu Zang |
| 2013 | DATE | Multi-level phase analysis for sampling simulation. | Jiaxin Li, Weihua Zhang, Haibo Chen, Binyu Zang |
| 2013 | HPCC | X10-PM: Transparent and Efficient Place Migration for APGAS Language. | Zhijun Hao, Binyu Zang, Chenning Xie, Haibo Chen |
| 2013 | SIGMETRICS | Understanding architectural characteristics of multimedia retrieval workloads. | Chen Dai, Chao Lv, Jiaxin Li, Weihua Zhang, Binyu Zang |
| 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 |
| 2012 | VEE | Swift: a register-based JIT compiler for embedded JVMs. | Yuan Zhang, Min Yang, Bo Zhou, Zhemin Yang, Weihua Zhang, 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 |
| 2009 | SAC | Optimizing techniques for saturated arithmetic with first-order linear recurrence. | Weihua Zhang, Lili Liu, Chen Zhang, HongJiang Zhang, Binyu Zang, Chuanqi Zhu |
| 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 |
| 2007 | HCI | Interactive Browsing of Large Images on Multi-projector Display Wall System. | Zhongding Jiang, Xuan Luo, Yandong Mao, Binyu Zang, Hai Lin, Hujun Bao |
| 2007 | ICIP | Distance Measurement in Panorama. | Zhongding Jiang, Nan Jiang, Yijie Wang, Binyu Zang |
| 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 | CC | Boosting the Performance of Multimedia Applications Using SIMD Instructions. | Weihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiahua Zhu, Binyu Zang, Chuanqi Zhu |
| 2005 | CSCWD | ADDI: an agent-based extension to UDDI for supply chain management. | Mi Zhang, Zunping Cheng, Yongzun Zhao, Joshua Zhexue Huang, Yinsheng Li, Binyu Zang |
| 2005 | ISORC | A Web Service-Based Framework for Supply Chain Management. | Mi Zhang, Jianjun Xu, Zunping Cheng, Yinsheng Li, Binyu Zang |