The design considerations and test results of AFT-a new generation parallelizing compiler. - Chuanqi Zhu; Binyu Zang; Tong Chen 010 (APDC, 1997)

Exploiting loop parallelism with redundant execution. - Weiyu Tang; Wu Shi; Binyu Zang; Chuanqi Zhu (J. Comput. Sci. Technol., 1997)

A New Approach to Pointer Analysis for Assignments. - Bo Huang 002; Binyu Zang; Jing Li; Chuanqi Zhu (J. Comput. Sci. Technol., 2001)

Run-Time Data-Flow Analysis. - Jianhui Li; Binyu Zang; Rong Wu; Chuanqi Zhu (J. Comput. Sci. Technol., 2002)

Overflow Controlled SIMD Arithmetic. - Jiahua Zhu; HongJiang Zhang; Hui Shi; Binyu Zang; Chuanqi Zhu (LCPC, 2004)

A Security Model Design in Web Service Environment. - Mi Zhang 001; Zunping Cheng; Ziji Ma; Binyu Zang (CIT, 2005)

Boosting the Performance of Multimedia Applications Using SIMD Instructions. - Weihua Jiang; Chao Mei; Bo Huang 002; Jianhui Li; Jiahua Zhu; Binyu Zang; Chuanqi Zhu (CC, 2005)

ADDI: an agent-based extension to UDDI for supply chain management. - Mi Zhang 001; Zunping Cheng; Yongzun Zhao; Joshua Zhexue Huang; Yinsheng Li; Binyu Zang (CSCWD (1), 2005)

A Web Service-Based Framework for Supply Chain Management. - Mi Zhang 001; Jianjun Xu; Zunping Cheng; Yinsheng Li; Binyu Zang (ISORC, 2005)

A Note on the Cramer-Damgård Identification Scheme. - Yunlei Zhao; Shirley H. C. Cheung; Binyu Zang; Bin B. Zhu (WINE, 2005)

Practical Zero-Knowledge Arguments from Sigma-Protocols. - Yunlei Zhao; Robert H. Deng; Binyu Zang; Yiming Zhao (WINE, 2005)

Data Pipeline Optimization for Shared Memory Multiple-SIMD Architecture. - Weihua Zhang; Tao Bao; Binyu Zang; Chuanqi Zhu (LCPC, 2006)

Optimizing compiler for shared-memory multiple SIMD architecture. - Weihua Zhang; Xinglong Qian; Ye Wang; Binyu Zang; Chuanqi Zhu (LCTES, 2006)

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

Optimizing Bandwidth Constraint through Register Interconnection for Stream Processors. - Weihua Zhang; Tao Bao; Binyu Zang; Chuanqi Zhu (PACT, 2007)

Interactive Browsing of Large Images on Multi-projector Display Wall System. - Zhongding Jiang; Xuan Luo; Yandong Mao; Binyu Zang; Hai Lin 003; Hujun Bao (HCI (2), 2007)

Distance Measurement in Panorama. - Zhongding Jiang; Nan Jiang; Yijie Wang; Binyu Zang (ICIP (6), 2007)

A High Resolution Video Display System by Seamlessly Tiling Multiple Projectors. - Zhongding Jiang; Yandong Mao; Bo Qin; Binyu Zang (ICME, 2007)

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

Optimizing software cache performance of packet processing applications. - Qin Wang; Junpu Chen; Weihua Zhang; Min Yang 002; Binyu Zang (LCTES, 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)

Undergraduate education in the computer system of software school, Fudan University. - Yijian Huang; Weihua Zhang; Binyu Zang (Summit on Computing Education in China, 2008)

An ontological engineering approach for automating inspection and quarantine at airports. - Binyu Zang; Yinsheng Li; Wei Xie; Zhuangjian Chen; Chen-Fang Tsai; Christopher Laing (J. Comput. Syst. Sci., 2008)

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

A Robust Detection of the Sybil Attack in Urban VANETs. - Chen Chen 112; Xin Wang 002; Weili Han; Binyu Zang (ICDCS Workshops, 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)

Optimizing techniques for saturated arithmetic with first-order linear recurrence. - Weihua Zhang; Lili Liu; Chen Zhang; HongJiang Zhang; Binyu Zang; Chuanqi Zhu (SAC, 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)

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)

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)

Swift: a register-based JIT compiler for embedded JVMs. - Yuan Zhang 009; Min Yang 002; Bo Zhou; Zhemin Yang; Weihua Zhang; Binyu Zang (VEE, 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)

Vetting undesirable behaviors in android apps with permission use analysis. - Yuan Zhang 009; Min Yang 002; Bingquan Xu; Zhemin Yang; Guofei Gu; Peng Ning; Xiaoyang Sean Wang; Binyu Zang (CCS, 2013)

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

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

Understanding architectural characteristics of multimedia retrieval workloads. - Chen Dai; Chao Lv; Jiaxin Li; Weihua Zhang; Binyu Zang (SIGMETRICS, 2013)

Bipartite-oriented distributed graph partitioning for big learning. - Rong Chen 001; Jiaxin Shi; Binyu Zang; Haibing Guan (APSys, 2014)

Building trusted path on untrusted device drivers for mobile devices. - Wenhao Li; Mingyang Ma; Jinchen Han; Yubin Xia; Binyu Zang; Cheng-Kang Chu; Tieyan Li (APSys, 2014)

PreCrime to the rescue: defeating mobile malware one-step ahead. - Cheng Tan 005; Haibo Li; Yubin Xia; Binyu Zang; Cheng-Kang Chu; Tieyan Li (APSys, 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)

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

Measuring Microarchitectural Details of Multi- and Many-Core Memory Systems through Microbenchmarking. - Zhenman Fang; Sanyam Mehta; Pen-Chung Yew; Antonia Zhai; James B. S. G. Greensky; Gautham Beeraka; Binyu Zang (ACM Trans. Archit. Code Optim., 2014)

Permission Use Analysis for Vetting Undesirable Behaviors in Android Apps. - Yuan Zhang 009; Min Yang 002; Zhemin Yang; Guofei Gu; Peng Ning; Binyu Zang (IEEE Trans. Inf. Forensics Secur., 2014)

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)

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)

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)

Bipartite-Oriented Distributed Graph Partitioning for Big Learning. - Rong Chen 001; Jiaxin Shi; Haibo Chen 001; Binyu Zang (J. Comput. Sci. Technol., 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)

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)

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)

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)

POSTER: Recovering Performance for Vector-based Machine Learning on Managed Runtime. - Mingyu Wu 001; Haibing Guan; Binyu Zang; Haibo Chen 001 (PPoPP, 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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

TEEp: Supporting Secure Parallel Processing in ARM TrustZone. - Zinan Li; Wenhao Li; Yubin Xia; Binyu Zang (ICPADS, 2020)

No barrier in the road: a comprehensive study and optimization of ARM barriers. - Nian Liu; Binyu Zang; Haibo Chen 001 (PPoPP, 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)

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)

Efficiently Recovering Stateful System Components of Multi-server Microkernels. - Wentai Li; Jinyu Gu 001; Nian Liu; Binyu Zang (ICDCS, 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)

Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. - Sijie Shen; Rong Chen 001; Haibo Chen 001; Binyu Zang (OSDI, 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)

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)

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)

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)

Zero-Change Object Transmission for Distributed Big Data Analytics. - Mingyu Wu 001; Shuaiwei Wang; Haibo Chen 001; Binyu Zang (USENIX ATC, 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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Harmonizing Security and Performance in Microkernel File Servers. - Wentai Li; Zi-Xuan Wang; Jinyu Gu 001; Yubin Xia; Binyu Zang (J. Comput. Sci. Technol., 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)

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)