Haibo Chen - RankMe

333 papers A* 64A 35B 28Misc 2Journal 133Unranked 70

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	"Range as a Key" is the Key! Fast and Compact Cloud Block Store Index with RASK. FAST Haoru Zhao, Mingkai Dong, Erci Xu, Zhongyu Wang, Haibo Chen
2026	J	`jnl`	"Range as a Key" is the Key! Fast and Compact Cloud Block Store Index with RASK. CoRR Haoru Zhao, Mingkai Dong, Erci Xu, Zhongyu Wang, Haibo Chen
2026	J	`jnl`	Accelerating Million-scale In-network Lock Management using Lock Fission. ACM Trans. Comput. Syst. Hanze Zhang, Rong Chen, Zihan Tang, Ke Cheng, Haibo Chen
2026	A	`conf`	Accurate and Ultra-Fast Launch-Time Validation of Idempotency for GPU Kernels. EuroSys Mingcong Han, Weihang Shen, Rong Chen, Haibo Chen
2026	—	`conf`	DIP: Efficient Large Multimodal Model Training with Dynamic Interleaved Pipeline. ASPLOS (2) Zhenliang Xue, Hanpeng Hu, Xing Chen, Yimin Jiang, Yixin Song, Zeyu Mi, Yibo Zhu, Daxin Jiang, Yubin Xia, Haibo Chen
2026	J	`jnl`	Efficient Vector Search in the Wild: One Model for Multi-K Queries. CoRR Yifan Peng, Jiafei Fan, Xingda Wei, Sijie Shen, Rong Chen, Jianning Wang, Xiaojian Luo, Wenyuan Yu, Jingren Zhou, Haibo Chen
2026	—	`conf`	Experiences with the ChCore Experimental Operating System Kernel. SIGCSE (1) Haibo Chen, Yubin Xia, Jinyu Gu
2026	A	`conf`	From Imperative to Declarative: Towards LLM-friendly OS Interfaces for Boosted Computer-Use Agents. EuroSys Yuan Wang, Mingyu Li, Haibo Chen
2026	—	`conf`	History Doesn't Repeat Itself but Rollouts Rhyme: Accelerating Reinforcement Learning with RhymeRL. ASPLOS (2) Jingkai He, Tianjian Li, Erhu Feng, Dong Du, Qian Liu, Tao Liu, Yubin Xia, Haibo Chen
2026	A	`conf`	KUNSERVE: Parameter-centric Memory Management for Efficient Memory Overloading Handling in LLM Serving. EuroSys Rongxin Cheng, Yuxin Lai, Xingda Wei, Rong Chen, Haibo Chen
2026	A	`conf`	LLMFolder: Revisiting Constant Folding in Large Language Models. EuroSys Gansen Hu, Zhaoguo Wang, Wei Huang, Jinglin Wei, Haibo Chen
2026	B	`conf`	MetaAttention: A Unified and Performant Attention Framework across Hardware Backends. PPoPP 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	A	`conf`	On-device Semantic Selection Made Low Latency and Memory Efficient with Monolithic Forwarding. EuroSys Jiahao Zhou, Chengliang Lin, Dingji Li, Mingkai Dong, Haibo Chen
2026	J	`jnl`	Out-of-Distribution Generalization in Graph Foundation Models. CoRR Haoyang Li, Haibo Chen, Xin Wang, Wenwu Zhu
2026	J	`jnl`	Real-time, Work-conserving GPU Scheduling for Concurrent DNN Inference. ACM Trans. Comput. Syst. Mingcong Han, Rong Chen, Weihang Shen, Hanze Zhang, Jinrong Yang, Haibo Chen
2026	A	`conf`	Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC. FAST Qingyuan Liu, Mo Zou, Hengbin Zhang, Dong Du, Yubin Xia, Haibo Chen
2026	J	`jnl`	Software Engineering for OpenHarmony: A Research Roadmap. ACM Comput. Surv. Li Li, Xiang Gao, Hailong Sun, Chunming Hu, Carolyn Sun, Haoyu Wang, Haipeng Cai, Ting Su, Xiapu Luo, Tegawendé F. Bissyandé, Jacques Klein, John C. Grundy, Tao Xie, Haibo Chen, Huaimin Wang
2026	A	`conf`	SolidAttention: Low-Latency SSD-based Serving on Memory-Constrained PCs. FAST Xinrui Zheng, Dongliang Wei, Jianxiang Gao, Yixin Song, Zeyu Mi, Haibo Chen
2026	A	`conf`	SwitchFS: Asynchronous Metadata Updates for Distributed Filesystems with In-Network Coordination. EuroSys Jingwei Xu, Mingkai Dong, Qiulin Tian, Ziyi Tian, Tong Xin, Haibo Chen
2026	J	`jnl`	Unified and Near-optimal Multi-GPU Cache for Embedding-based Deep Learning. ACM Trans. Comput. Syst. Xiaoniu Song, Rong Chen, Haitao Song, Yiwen Zhang, Haibo Chen
2026	—	`conf`	miniK8s: A Pedagogical Cloud-Native System. SIGCSE (1) Dong Du, Mingyu Wu, Haibo Chen, Binyu Zang
2025	—	`conf`	A System-level Abstraction and Service for Flourishing AI-powered Applications. APSys Jinrong Yang, Zimeng Wang, Rong Chen, Haibo Chen
2025	J	`jnl`	An AI-native experimental laboratory for autonomous biomolecular engineering. CoRR Mingyu Wu, Zhaoguo Wang, Jiabin Wang, Zhiyuan Dong, Jingkai Yang, Qingting Li, Tianyu Huang, Lei Zhao, Mingqiang Li, Fei Wang, Chunhai Fan, Haibo Chen
2025	J	`jnl`	AttentionEngine: A Versatile Framework for Efficient Attention Mechanisms on Diverse Hardware Platforms. CoRR Feiyang Chen, Yu Cheng, Lei Wang, Yuqing Xia, Ziming Miao, Lingxiao Ma, Fan Yang, Jilong Xue, Zhi Yang, Mao Yang, Haibo Chen
2025	J	`jnl`	Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency. Proc. ACM Manag. Data Yicun Yang, Zhaoguo Wang, Yu Xia, Zhuoran Wei, Haoran Ding, Ruzica Piskac, Haibo Chen, Jinyang Li
2025	J	`jnl`	Beyond Training: Enabling Self-Evolution of Agents with MOBIMEM. CoRR Zibin Liu, Cheng Zhang, Xi Zhao, Yunfei Feng, Bingyu Bai, Dahu Feng, Erhu Feng, Yubin Xia, Haibo Chen
2025	A*	`conf`	BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching. OSDI Dingyan Zhang, Haotian Wang, Yang Liu, Xingda Wei, Yizhou Shan, Rong Chen, Haibo Chen
2025	A*	`conf`	Characterizing Mobile SoC for Accelerating Heterogeneous LLM Inference. SOSP Le Chen, Dahu Feng, Erhu Feng, Yingrui Wang, Rong Zhao, Yubin Xia, Pinjie Xu, Haibo Chen
2025	—	`conf`	D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics. ASPLOS (1) Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Binyu Zang, Haibo Chen
2025	J	`jnl`	DecLock: A Case of Decoupled Locking for Disaggregated Memory. CoRR Hanze Zhang, Ke Cheng, Rong Chen, Xingda Wei, Haibo Chen
2025	J	`jnl`	DiFache: Efficient and Scalable Caching on Disaggregated Memory using Decentralized Coherence. CoRR Hanze Zhang, Kaiming Wang, Rong Chen, Xingda Wei, Haibo Chen
2025	A*	`conf`	DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV Compaction. SOSP Yanqi Zhang, Yuwei Hu, Runyuan Zhao, John C. S. Lui, Haibo Chen
2025	—	`conf`	Enabling Efficient Mobile Tracing with BTrace. ASPLOS (2) Jiawei Wang, Nian Liu, Arnau Casadevall-Saiz, Yutao Liu, Diogo Behrens, Ming Fu, Ning Jia, Hermann Härtig, Haibo Chen
2025	J	`jnl`	FairBatching: Fairness-Aware Batch Formation for LLM Inference. CoRR Hongtao Lyu, Boyue Liu, Mingyu Wu, Haibo Chen
2025	J	`jnl`	FalconFS: Distributed File System for Large-Scale Deep Learning Pipeline. CoRR 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
2025	J	`jnl`	Fast LLM Post-training via Decoupled and Fastest-of-N Speculation. CoRR Rongxin Cheng, Kai Zhou, Xingda Wei, Siyuan Liu, Mingcong Han, Mingjing Ai, Yeju Zhou, Baoquan Zhong, Wencong Xiao, Rong Chen, Haibo Chen
2025	J	`jnl`	GRATING: Low-Latency and Memory-Efficient Semantic Selection on Device. CoRR Jiahao Zhou, Chengliang Lin, Dingji Li, Mingkai Dong, Haibo Chen
2025	J	`jnl`	GRewriter: Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB. Proc. VLDB Endow. Zhe Jiang, Zhaoguo Wang, Haoning Lan, Chuzhe Tang, Haoran Ding, Lefeng Wang, Songyun Zou, Zhuoran Wei, Yongcun Liu, Xiang Yu, Yang Ren, Guoliang Li, Haibo Chen
2025	J	`jnl`	Get Experience from Practice: LLM Agents with Record & Replay. CoRR Erhu Feng, Wenbo Zhou, Zibin Liu, Le Chen, Yunpeng Dong, Cheng Zhang, Yisheng Zhao, Dong Du, Zhi-Hua Zhou, Yubin Xia, Haibo Chen
2025	J	`jnl`	Guidelines for Building Indexes on Partially Cache-Coherent CXL Shared Memory. CoRR Fangnuo Wu, Mingkai Dong, Wenjun Cai, Jingsheng Yan, Haibo Chen
2025	J	`jnl`	HeteroLLM: Accelerating Large Language Model Inference on Mobile SoCs platform with Heterogeneous AI Accelerators. CoRR Le Chen, Dahu Feng, Erhu Feng, Rong Zhao, Yingrui Wang, Yubin Xia, Haibo Chen, Pinjie Xu
2025	J	`jnl`	HeteroPod: XPU-Accelerated Infrastructure Offloading for Commodity Cloud-Native Applications. CoRR Bicheng Yang, Jingkai He, Dong Du, Yubin Xia, Haibo Chen
2025	J	`jnl`	History Rhymes: Accelerating LLM Reinforcement Learning with RhymeRL. CoRR Jingkai He, Tianjian Li, Erhu Feng, Dong Du, Qian Liu, Tao Liu, Yubin Xia, Haibo Chen
2025	J	`jnl`	Holistic Heterogeneous Scheduling for Autonomous Applications using Fine-grained, Multi-XPU Abstraction. CoRR Mingcong Han, Weihang Shen, Rong Chen, Binyu Zang, Haibo Chen
2025	A*	`conf`	How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service. SOSP Jingkai He, Yunpeng Dong, Dong Du, Mo Zou, Zhitai Yu, Yuxin Ren, Ning Jia, Yubin Xia, Haibo Chen
2025	—	`conf`	KVCache Cache in the Wild: Characterizing and Optimizing KVCache Cache at a Large Cloud Provider. USENIX ATC Jiahao Wang, Jinbo Han, Xingda Wei, Sijie Shen, Dingyan Zhang, Chenguang Fang, Rong Chen, Wenyuan Yu, Haibo Chen
2025	J	`jnl`	KVCache Cache in the Wild: Characterizing and Optimizing KVCache Cache at a Large Cloud Provider. CoRR Jiahao Wang, Jinbo Han, Xingda Wei, Sijie Shen, Dingyan Zhang, Chenguang Fang, Rong Chen, Wenyuan Yu, Haibo Chen
2025	J	`jnl`	L3: DIMM-PIM Integrated Architecture and Coordination for Scalable Long-Context LLM Inference. CoRR Qingyuan Liu, Liyan Chen, Yanning Yang, Haocheng Wang, Dong Du, Zhigang Mao, Naifeng Jing, Yubin Xia, Haibo Chen
2025	J	`jnl`	Leveraging OS-Level Primitives for Robotic Action Management. CoRR Wenxin Zheng, Boyang Li, Bin Xu, Erhu Feng, Jinyu Gu, Haibo Chen
2025	A	`conf`	Liquid-State Drive: A Case for DNA Block Device for Enormous Data. FAST Jiahao Zhou, Mingkai Dong, Fei Wang, Jingyao Zeng, Lei Zhao, Chunhai Fan, Haibo Chen
2025	J	`jnl`	Many Faces of Ad Hoc Transactions. Commun. ACM Chuzhe Tang, Zhaoguo Wang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen
2025	J	`jnl`	MobiAgent: A Systematic Framework for Customizable Mobile Agents. CoRR Cheng Zhang, Erhu Feng, Xi Zhao, Yisheng Zhao, Wangbo Gong, Jiahui Sun, Dong Du, Zhichao Hua, Yubin Xia, Haibo Chen
2025	Misc	`conf`	ODRP: On-Demand Remote Paging with Programmable RDMA. NSDI Zixuan Wang, Xingda Wei, Jinyu Gu, Hongrui Xie, Rong Chen, Haibo Chen
2025	A*	`conf`	OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit. OSDI Yuanpei Wu, Chao Xu, Yubin Xia, Yang Yu, Ming Fu, Binyu Zang, Haibo Chen
2025	—	`conf`	Offloading Cloud-Native Infrastructure with XpuPod. SoCC Bicheng Yang, Jingkai He, Dong Du, Yubin Xia, Haibo Chen
2025	J	`jnl`	Optimizing Tree-structure Indexes for CXL-based Heterogeneous Memory with SINLK. CoRR Haoru Zhao, Mingkai Dong, Fangnuo Wu, Haibo Chen
2025	A*	`conf`	PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation. SOSP Xingda Wei, Zhuobin Huang, Tianle Sun, Yingyi Hao, Rong Chen, Mingcong Han, Jinyu Gu, Haibo Chen
2025	—	`conf`	PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption. ASPLOS (1) Yifan Tan, Cheng Tan, Zeyu Mi, Haibo Chen
2025	J	`jnl`	PipeWeaver: Addressing Data Dynamicity in Large Multimodal Model Training with Dynamic Interleaved Pipeline. CoRR Zhenliang Xue, Hanpeng Hu, Xing Chen, Yimin Jiang, Yixin Song, Zeyu Mi, Yibo Zhu, Daxin Jiang, Yubin Xia, Haibo Chen
2025	—	`conf`	SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory Bit Flips. USENIX ATC Wenxin Zheng, Bin Xu, Jinyu Gu, Haibo Chen
2025	J	`jnl`	ScaleCache: Scalable and Production-grade Buffer Management for Disk-based Database Systems. Proc. VLDB Endow. Mingyu Liu, Junbin Kang, Kai Wang, Lu Zhang, Haibo Chen, Xiuchang Li, Tianhong Ding
2025	A*	`conf`	Serverless Functions Made Confidential and Efficient with Split Containers. USENIX Security Symposium Jiacheng Shi, Jinyu Gu, Yubin Xia, Haibo Chen
2025	J	`jnl`	Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC. CoRR Qingyuan Liu, Mo Zou, Hengbin Zhang, Dong Du, Yubin Xia, Haibo Chen
2025	J	`jnl`	SmallThinker: A Family of Efficient Large Language Models Natively Trained for Local Deployment. CoRR Yixin Song, Zhenliang Xue, Dongliang Wei, Feiyang Chen, Jianxiang Gao, Junchen Liu, Hangyu Liang, Guangshuo Qin, Chengrong Tian, Bo Wen, Longyu Zhao, Xinrui Zheng, Zeyu Mi, Haibo Chen
2025	J	`jnl`	Sonata: Multi-Database Transactions Made Fast and Serializable. Proc. VLDB Endow. Chuzhe Tang, Zhaoguo Wang, Jinyang Li, Haibo Chen
2025	A*	`conf`	Topology-Aware Virtualization over Inter-Core Connected Neural Processing Units. ISCA Dahu Feng, Erhu Feng, Dong Du, Pinjie Xu, Yubin Xia, Haibo Chen, Rong Zhao
2025	J	`jnl`	Topology-Aware Virtualization over Inter-Core Connected Neural Processing Units. CoRR Dahu Feng, Erhu Feng, Dong Du, Pinjie Xu, Yubin Xia, Haibo Chen, Rong Zhao
2025	J	`jnl`	Towards Serialization/Deserialization-free State Transfer in Serverless Workflows. ACM Trans. Comput. Syst. Xingda Wei, Fangming Lu, Zhuobin Huang, Rong Chen, Mingyu Wu, Haibo Chen
2025	J	`jnl`	Whole-system Persistence Made Efficient with Tree-structured Checkpointing on Microkernel. ACM Trans. Comput. Syst. Mingkai Dong, Fangnuo Wu, Gequan Mo, Haibo Chen
2025	A*	`conf`	XSched: Preemptive Scheduling for Diverse XPUs. OSDI Weihang Shen, Mingcong Han, Jialong Liu, Rong Chen, Haibo Chen
2025	J	`jnl`	XpuTEE: A High-Performance and Practical Heterogeneous Trusted Execution Environment for GPUs. ACM Trans. Comput. Syst. Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen
2025	—	`conf`	μEFI: A Microkernel-Style UEFI with Isolation and Transparency. USENIX ATC Le Chen, Yiyang Wu, Jinyu Gu, Yubin Xia, Haibo Chen
2024	J	`jnl`	Ad Hoc Transactions through the Looking Glass: An Empirical Study of Application-Level Transactions in Web Applications. ACM Trans. Database Syst. Zhaoguo Wang, Chuzhe Tang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen
2024	J	`jnl`	AsyncFS: Metadata Updates Made Asynchronous for Distributed Filesystems with In-Network Coordination. CoRR Jingwei Xu, Mingkai Dong, Qiulin Tian, Ziyi Tian, Tong Xin, Haibo Chen
2024	B	`conf`	Brief Announcement: Work Stealing through Partial Asynchronous Delegation. SPAA Jiawei Wang, Yutao Liu, Ming Fu, Hermann Härtig, Haibo Chen
2024	—	`conf`	CPC: Flexible, Secure, and Efficient CVM Maintenance with Confidential Procedure Calls. USENIX ATC Jiahao Chen, Zeyu Mi, Yubin Xia, Haibing Guan, Haibo Chen
2024	A	`conf`	Characterization and Reclamation of Frozen Garbage in Managed FaaS Workloads. EuroSys Ziming Zhao, Mingyu Wu, Haibo Chen, Binyu Zang
2024	J	`jnl`	Characterizing Network Requirements for GPU API Remoting in AI Applications. CoRR Tianxia Wang, Zhuofu Chen, Xingda Wei, Jinyu Gu, Rong Chen, Haibo Chen
2024	J	`jnl`	Characterizing the Dilemma of Performance and Index Size in Billion-Scale Vector Search and Breaking It with Second-Tier Memory. CoRR Rongxin Cheng, Yifan Peng, Xingda Wei, Hongrui Xie, Rong Chen, Sijie Shen, Haibo Chen
2024	J	`jnl`	Fast and Live Model Auto Scaling with O(1) Host Caching. CoRR Dingyan Zhang, Haotian Wang, Yang Liu, Xingda Wei, Yizhou Shan, Rong Chen, Haibo Chen
2024	A*	`conf`	Fast and Scalable In-network Lock Management Using Lock Fission. OSDI Hanze Zhang, Ke Cheng, Rong Chen, Haibo Chen
2024	—	`conf`	Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing with Jiagu. USENIX ATC Qingyuan Liu, Yanning Yang, Dong Du, Yubin Xia, Ping Zhang, Jia Feng, James R. Larus, Haibo Chen
2024	A	`conf`	Jade: A High-throughput Concurrent Copying Garbage Collector. EuroSys 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	J	`jnl`	Jiagu: Optimizing Serverless Computing Resource Utilization with Harmonized Efficiency and Practicability. CoRR Qingyuan Liu, Yanning Yang, Dong Du, Yubin Xia, Ping Zhang, Jia Feng, James R. Larus, Haibo Chen
2024	J	`jnl`	KunServe: Elastic and Efficient Large Language Model Serving with Parameter-centric Memory Management. CoRR Rongxin Cheng, Yifan Peng, Yuxin Lai, Xingda Wei, Rong Chen, Haibo Chen
2024	J	`jnl`	Locality-Preserving Graph Traversal With Split Live Migration. IEEE Trans. Parallel Distributed Syst. Rong Chen, Xingda Wei, Xiating Xie, Haibo Chen
2024	A*	`conf`	Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel. OSDI 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	J	`jnl`	Microsecond-scale Dynamic Validation of Idempotency for GPU Kernels. CoRR Mingcong Han, Weihang Shen, Guanwen Peng, Rong Chen, Haibo Chen
2024	A	`conf`	Optimizing File Systems on Heterogeneous Memory by Integrating DRAM Cache with Virtual Memory Management. FAST Yubo Liu, Yuxin Ren, Mingrui Liu, Hongbo Li, Hanjun Guo, Xie Miao, Xinwei Hu, Haibo Chen
2024	J	`jnl`	PARALLELGPUOS: A Concurrent OS-level GPU Checkpoint and Restore System using Validated Speculation. CoRR Zhuobin Huang, Xingda Wei, Yingyi Hao, Rong Chen, Mingcong Han, Jinyu Gu, Haibo Chen
2024	J	`jnl`	PipeLLM: Fast and Confidential Large Language Model Services with Speculative Pipelined Encryption. CoRR Yifan Tan, Cheng Tan, Zeyu Mi, Haibo Chen
2024	J	`jnl`	PowerInfer-2: Fast Large Language Model Inference on a Smartphone. CoRR Zhenliang Xue, Yixin Song, Zeyu Mi, Le Chen, Yubin Xia, Haibo Chen
2024	A*	`conf`	PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. SOSP Yixin Song, Zeyu Mi, Haotong Xie, Haibo Chen
2024	—	`conf`	Seraph: A Performance-Cost Aware Tuner for Training Reinforcement Learning Model on Serverless Computing. APSys Jinbo Han, Xingda Wei, Rong Chen, Haibo Chen
2024	A	`conf`	Serialization/Deserialization-free State Transfer in Serverless Workflows. EuroSys Fangming Lu, Xingda Wei, Zhuobin Huang, Rong Chen, Mingyu Wu, Haibo Chen
2024	J	`jnl`	Toward an SGX-Friendly Java Runtime. IEEE Trans. Computers Mingyu Wu, Zhe Li, Haibo Chen, Binyu Zang, Shaojun Wang, Lei Yu, Sanhong Li, Haitao Song
2024	J	`jnl`	Turbo Sparse: Achieving LLM SOTA Performance with Minimal Activated Parameters. CoRR Yixin Song, Haotong Xie, Zhengyan Zhang, Bo Wen, Li Ma, Zeyu Mi, Haibo Chen
2024	J	`jnl`	Unifying KV Cache Compression for Large Language Models with LeanKV. CoRR Yanqi Zhang, Yuwei Hu, Runyuan Zhao, John C. S. Lui, Haibo Chen
2024	A*	`conf`	Using Dynamically Layered Definite Releases for Verifying the RefFS File System. OSDI Mo Zou, Dong Du, Mingkai Dong, Haibo Chen
2024	J	`jnl`	WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications. Proc. ACM Manag. Data Gansen Hu, Zhaoguo Wang, Chuzhe Tang, Jiahuan Shen, Zhiyuan Dong, Sheng Yao, Haibo Chen
2024	—	`conf`	sIOPMP: Scalable and Efficient I/O Protection for TEEs. ASPLOS (2) Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Wenbin Zheng, Siqi Zhao, Haibo Chen
2024	A*	`conf`	sNPU: Trusted Execution Environments on Integrated NPUs. ISCA Erhu Feng, Dahu Feng, Dong Du, Yubin Xia, Haibo Chen
2023	A*	`conf`	Accelerating Extra Dimensional Page Walks for Confidential Computing. MICRO Dong Du, Bicheng Yang, Yubin Xia, Haibo Chen
2023	J	`jnl`	Ad Hoc Transactions: What They Are and Why We Should Care. SIGMOD Rec. Chuzhe Tang, Zhaoguo Wang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen
2023	—	`conf`	AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. ASPLOS (2) Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig
2023	A*	`conf`	Automated Verification of Idempotence for Stateful Serverless Applications. OSDI Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, Haibo Chen
2023	A*	`conf`	BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. OSDI Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen
2023	—	`conf`	BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution. ASPLOS (2) Ziming Zhao, Mingyu Wu, Jiawei Tang, Binyu Zang, Zhaoguo Wang, Haibo Chen
2023	—	`conf`	Bifrost: Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines. USENIX ATC Dingji Li, Zeyu Mi, Chenhui Ji, Yifan Tan, Binyu Zang, Haibing Guan, Haibo Chen
2023	—	`conf`	Bridging the Gap between Relational OLTP and Graph-based OLAP. USENIX ATC 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	—	`conf`	CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines. ASPLOS (4) Yuxuan Liu, Tianqiang Xu, Zeyu Mi, Zhichao Hua, Binyu Zang, Haibo Chen
2023	A*	`conf`	Characterizing Off-path SmartNIC for Accelerating Distributed Systems. OSDI Xingda Wei, Rongxin Cheng, Yuhan Yang, Rong Chen, Haibo Chen
2023	A*	`conf`	Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications. ICDE Zhiyuan Dong, Zhaoguo Wang, Chuanwei Yi, Xian Xu, Jinyuan Zhang, Jinyang Li, Haibo Chen
2023	A*	`conf`	Efficient Distributed Secure Memory with Migratable Merkle Tree. HPCA Erhu Feng, Dong Du, Yubin Xia, Haibo Chen
2023	A*	`conf`	Encrypted Databases Made Secure Yet Maintainable. OSDI Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen
2023	J	`jnl`	Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions. Proc. VLDB Endow. Zhiyuan Dong, Zhaoguo Wang, Xiaodong Zhang, Xian Xu, Changgeng Zhao, Haibo Chen, Aurojit Panda, Jinyang Li
2023	J	`jnl`	Flock: Towards Multitasking Virtual Machines for Function-as-a-Service. IEEE Trans. Computers Ziming Zhao, Mingyu Wu, Xujie Cao, Haibo Chen, Binyu Zang
2023	J	`jnl`	Hawkeye: Eliminating Kernel Address Leakage in Normal Data Flows. IEEE Trans. Dependable Secur. Comput. Zeyu Mi, Zhi Guo, Fuqian Huang, Haibo Chen
2023	—	`conf`	Heterogeneous Serverless Computing. ACM TUR-C Dong Du, Yubin Xia, Binyu Zang, Haibo Chen
2023	A*	`conf`	ISA-Grid: Architecture of Fine-grained Privilege Control for Instructions and Registers. ISCA Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang
2023	—	`conf`	Microsecond-scale Datacenter Computing with Modern Networking. ACM TUR-C Xingda Wei, Rong Chen, Haibo Chen
2023	A*	`conf`	No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing. OSDI Xingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu, Yuhan Yang, Rong Chen, Haibo Chen
2023	J	`jnl`	PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU. CoRR Yixin Song, Zeyu Mi, Haotong Xie, Haibo Chen
2023	J	`jnl`	Proving Query Equivalence Using Linear Integer Arithmetic. Proc. ACM Manag. Data Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li
2023	A*	`conf`	Security and Performance in the Delegated User-level Virtualization. OSDI Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen
2023	J	`jnl`	Software Engineering for OpenHarmony: A Research Roadmap. CoRR Li Li, Xiang Gao, Hailong Sun, Chunming Hu, Xiaoyu Sun, Haoyu Wang, Haipeng Cai, Ting Su, Xiapu Luo, Tegawendé F. Bissyandé, Jacques Klein, John C. Grundy, Tao Xie, Haibo Chen, Huaimin Wang
2023	—	`conf`	The Gap Between Serverless Research and Real-world Systems. SoCC Qingyuan Liu, Dong Du, Yubin Xia, Ping Zhang, Haibo Chen
2023	J	`jnl`	Transactional Indexes on (RDMA or CXL-based) Disaggregated Memory with Repairable Transaction. CoRR Xingda Wei, Haotian Wang, Tianxia Wang, Rong Chen, Jinyu Gu, Pengfei Zuo, Haibo Chen
2023	A*	`conf`	TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. SOSP Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen
2023	A*	`conf`	UGACHE: A Unified GPU Cache for Embedding-based Deep Learning. SOSP Xiaoniu Song, Yiwen Zhang, Rong Chen, Haibo Chen
2023	J	`jnl`	Understanding and Mitigating Twin Function Misuses in Operating System Kernel. IEEE Trans. Computers Jinyu Gu, Jiacheng Shi, Haroran Su, Wentai Li, Binyu Zang, Haibing Guan, Haibo Chen
2022	J	`jnl`	A Comprehensive Study on Off-path SmartNIC. CoRR Xingda Wei, Rongxin Cheng, Yuhan Yang, Rong Chen, Haibo Chen
2022	A*	`conf`	A Hardware-Software Co-design for Efficient Intra-Enclave Isolation. USENIX Security Symposium Jinyu Gu, Bojun Zhu, Mingyu Li, Wentai Li, Yubin Xia, Haibo Chen
2022	—	`conf`	Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly. SIGMOD Conference Chuzhe Tang, Zhaoguo Wang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen
2022	—	`conf`	Affine Loop Invariant Generation via Matrix Algebra. CAV (1) Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen
2022	B	`conf`	Asymmetry-aware scalable locking. PPoPP Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen
2022	—	`conf`	BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. USENIX ATC Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen
2022	J	`jnl`	Booting 10K Serverless Functions within One Second via RDMA-based Remote Fork. CoRR Xingda Wei, Tianxia Wang, Jinyu Gu, Yuhan Yang, Fangming Lu, Rong Chen, Haibo Chen
2022	J	`jnl`	Colony: A Privileged Trusted Execution Environment With Extensibility. IEEE Trans. Computers Yubin Xia, Zhichao Hua, Yang Yu, Jinyu Gu, Haibo Chen, Binyu Zang, Haibing Guan
2022	J	`jnl`	DrTM+B: Replication-Driven Live Reconfiguration for Fast and General Distributed Transaction Processing. IEEE Trans. Parallel Distributed Syst. Sijie Shen, Xingda Wei, Rong Chen, Haibo Chen, Binyu Zang
2022	J	`jnl`	DuVisor: a User-level Hypervisor Through Delegated Virtualization. CoRR Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen
2022	—	`conf`	EPK: Scalable and Efficient Memory Protection Keys. USENIX ATC Jinyu Gu, Hao Li, Wentai Li, Yubin Xia, Haibo Chen
2022	J	`jnl`	Gating PatternPyramid for diversified image style transfer. J. Electronic Imaging Fan Yang, Haibo Chen, Zhanjie Zhang, Lei Zhao, Huaizhong Lin
2022	J	`jnl`	General and Fast Inter-Process Communication via Bypassing Privileged Software. IEEE Trans. Computers Zeyu Mi, Haoqi Zhuang, Binyu Zang, Haibo Chen
2022	A	`conf`	HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. FAST Jifei Yi, Mingkai Dong, Fangnuo Wu, Haibo Chen
2022	B	`conf`	In pursuit of a trusted computing base: the journey through virtualization (keynote). VEE Haibo Chen
2022	—	`conf`	KRCORE: A Microsecond-scale RDMA Control Plane for Elastic Computing. USENIX ATC Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen
2022	J	`jnl`	KRCORE: a microsecond-scale RDMA control plane for elastic computing. CoRR Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen
2022	A	`conf`	MT^2: Memory Bandwidth Regulation on Hybrid NVM/DRAM Platforms. FAST Jifei Yi, Benchao Dong, Mingkai Dong, Ruizhe Tong, Haibo Chen
2022	J	`jnl`	Memory Optimization System for SGXv2 Trusted Execution Environment. Int. J. Softw. Informatics Mingyu Li, Yubin Xia, Haibo Chen
2022	A*	`conf`	Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences. OSDI Mingcong Han, Hanze Zhang, Rong Chen, Haibo Chen
2022	J	`jnl`	Reducing Transaction Processing Latency in Hardware Transactional Memory-based Database with Non-volatile Memory. Int. J. Softw. Informatics Xingda Wei, Fangming Lu, Rong Chen, Haibo Chen, Binyu Zang
2022	A*	`conf`	Serverless computing on heterogeneous computers. ASPLOS Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen
2022	J	`jnl`	The Concurrent Learned Indexes for Multicore Data Storage. ACM Trans. Storage Zhaoguo Wang, Haibo Chen, Youyun Wang, Chuzhe Tang, Huan Wang
2022	J	`jnl`	Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous Security Architectures. J. Comput. Sci. Technol. Jinyu Gu, Hao Li, Yubin Xia, Haibo Chen, Chenggang Qin, Zhengyu He
2022	—	`conf`	WeTune: Automatic Discovery and Verification of Query Rewrite Rules. SIGMOD Conference Zhaoguo Wang, Zhou Zhou, Yicun Yang, Haoran Ding, Gansen Hu, Ding Ding, Chuzhe Tang, Haibo Chen, Jinyang Li
2022	J	`jnl`	Wukong+G: Fast and Concurrent RDF Query Processing Using RDMA-Assisted GPU Graph Exploration. IEEE Trans. Parallel Distributed Syst. Zihang Yao, Rong Chen, Binyu Zang, Haibo Chen
2022	—	`conf`	Zero-Change Object Transmission for Distributed Big Data Analytics. USENIX ATC Mingyu Wu, Shuaiwei Wang, Haibo Chen, Binyu Zang
2021	J	`jnl`	Accelerator Virtualization Framework Based on Inter-VM Exitless Communication. Int. J. Softw. Informatics Dingji Li, Zeyu Mi, Baodong Wu, Xun Chen, Yongwang Zhao, Zuohua Ding, Haibo Chen
2021	J	`jnl`	Asymmetry-aware Scalable Locking. CoRR Nian Liu, Jinyu Gu, Dahai Tang, Kenli Li, Binyu Zang, Haibo Chen
2021	J	`jnl`	Boosting Inter-process Communication with Architectural Support. ACM Trans. Comput. Syst. Yubin Xia, Dong Du, Zhichao Hua, Binyu Zang, Haibo Chen, Haibing Guan
2021	A	`conf`	Bridging the performance gap for copy-based garbage collectors atop non-volatile memory. EuroSys Yanfei Yang, Mingyu Wu, Haibo Chen, Binyu Zang
2021	A*	`conf`	Bringing Decentralized Search to Decentralized Services. OSDI Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen
2021	A*	`conf`	CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. SOSP Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen
2021	—	`conf`	Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM. USENIX ATC Xingda Wei, Xiating Xie, Rong Chen, Haibo Chen, Binyu Zang
2021	A*	`conf`	Confidential Serverless Made Efficient with Plug-In Enclaves. ISCA Mingyu Li, Yubin Xia, Haibo Chen
2021	J	`jnl`	Enclavisor: A Hardware-Software Co-Design for Enclaves on Untrusted Cloud. IEEE Trans. Computers Jinyu Gu, Xinyue Wu, Bojun Zhu, Yubin Xia, Binyu Zang, Haibing Guan, Haibo Chen
2021	A*	`conf`	Polyjuice: High-Performance Transactions via Learned Concurrency Control. OSDI Jia-Chen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, Jinyang Li
2021	J	`jnl`	Polyjuice: High-Performance Transactions via Learned Concurrency Control. CoRR Jia-Chen Wang, Ding Ding, Huan Wang, Conrad Christensen, Zhaoguo Wang, Haibo Chen, Jinyang Li
2021	A*	`conf`	Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. OSDI Sijie Shen, Rong Chen, Haibo Chen, Binyu Zang
2021	J	`jnl`	Revisiting Persistent Indexing Structures on Intel Optane DC Persistent Memory. J. Comput. Sci. Technol. Heng Bu, Mingkai Dong, Jifei Yi, Binyu Zang, Haibo Chen
2021	A*	`conf`	Scalable Memory Protection in the PENGLAI Enclave. OSDI Erhu Feng, Xu Lu, Dong Du, Bicheng Yang, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen
2021	J	`jnl`	TZ-Container: protecting container from untrusted OS with ARM TrustZone. Sci. China Inf. Sci. Zhichao Hua, Yang Yu, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang
2021	B	`conf`	Third-Eye: Practical and Context-Aware Inference of Causal Relationship Violations in Commodity Kernels. DIMVA Chuhong Yuan, Dong Du, Haibo Chen
2021	A*	`conf`	TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. SOSP Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan
2021	Misc	`conf`	Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp. NSDI Xingda Wei, Rong Chen, Haibo Chen, Zhaoguo Wang, Zhenhan Gong, Binyu Zang
2021	J	`jnl`	VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report). CoRR 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	A*	`conf`	VSync: push-button verification and optimization for synchronization primitives on weak memory models. ASPLOS 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	J	`jnl`	Wukong: A Distributed Framework for Fast and Concurrent Graph Querying. ACM SIGOPS Oper. Syst. Rev. Rong Chen, Haibo Chen
2021	J	`jnl`	XStore: Fast RDMA-Based Ordered Key-Value Store Using Remote Learned Cache. ACM Trans. Storage Xingda Wei, Rong Chen, Haibo Chen, Binyu Zang
2020	A*	`conf`	(Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization. USENIX Security Symposium Zeyu Mi, Dingji Li, Haibo Chen, Binyu Zang, Haibing Guan
2020	J	`jnl`	CPU Elasticity to Mitigate Cross-VM Runtime Monitoring. IEEE Trans. Dependable Secur. Comput. Zeyu Mi, Haibo Chen, Yinqian Zhang, ShuangHe Peng, Xiaofeng Wang, Michael K. Reiter
2020	A*	`conf`	Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. ASPLOS Dong Du, TianYi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, Haibo Chen
2020	—	`conf`	Characterizing serverless platforms with serverlessbench. SoCC TianYi Yu, Qingyuan Liu, Dong Du, Yubin Xia, Binyu Zang, Ziqian Lu, Pingchao Yang, Chenggang Qin, Haibo Chen
2020	A*	`conf`	Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache. OSDI Xingda Wei, Rong Chen, Haibo Chen
2020	B	`conf`	GCPersist: an efficient GC-assisted lazy persistency framework for resilient Java applications on NVM. VEE Mingyu Wu, Haibo Chen, Hao Zhu, Binyu Zang, Haibing Guan
2020	—	`conf`	Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. USENIX ATC Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen
2020	B	`conf`	No barrier in the road: a comprehensive study and optimization of ARM barriers. PPoPP Nian Liu, Binyu Zang, Haibo Chen
2020	—	`conf`	On the precision of precise event based sampling. APSys Jifei Yi, Benchao Dong, Mingkai Dong, Haibo Chen
2020	J	`jnl`	Optimistic Transaction Processing in Deterministic Database. J. Comput. Sci. Technol. Zhiyuan Dong, Chuzhe Tang, Jia-Chen Wang, Zhaoguo Wang, Haibo Chen, Binyu Zang
2020	—	`conf`	Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services. USENIX ATC Mingyu Wu, Ziming Zhao, Yanfei Yang, Haoyu Li, Haibo Chen, Binyu Zang, Haibing Guan, Sanhong Li, Chuansheng Lu, Tongbao Zhang
2020	—	`conf`	SIndex: a scalable learned index for string keys. APSys Youyun Wang, Chuzhe Tang, Zhaoguo Wang, Haibo Chen
2020	J	`jnl`	Secure and Efficient Control Data Isolation with Register-Based Data Cloaking. IEEE Trans. Computers Xiayang Wang, Fuqian Huang, Haibo Chen
2020	B	`conf`	XIndex: a scalable learned index for multicore data storage. PPoPP Chuzhe Tang, Youyun Wang, Zhiyuan Dong, Gansen Hu, Zhaoguo Wang, Minjie Wang, Haibo Chen
2019	J	`jnl`	DTrace: fine-grained and efficient data integrity checking with hardware instruction tracing. Cybersecur. Xiayang Wang, Fuqian Huang, Haibo Chen
2019	—	`conf`	EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices. USENIX ATC Xiang Gao, Mingkai Dong, Xie Miao, Wei Du, Chao Yu, Haibo Chen
2019	J	`jnl`	Learn-as-you-go with Megh: Efficient Live Migration of Virtual Machines. IEEE Trans. Parallel Distributed Syst. Debabrota Basu, Xiayang Wang, Yang Hong, Haibo Chen, Stéphane Bressan
2019	J	`jnl`	Learned Indexes for Dynamic Workloads. CoRR Chuzhe Tang, Zhiyuan Dong, Minjie Wang, Zhaoguo Wang, Haibo Chen
2019	A*	`conf`	On the Parallels between Paxos and Raft, and how to Port Optimizations. PODC Zhaoguo Wang, Changgeng Zhao, Shuai Mu, Haibo Chen, Jinyang Li
2019	J	`jnl`	On the parallels between Paxos and Raft, and how to port optimizations. CoRR Zhaoguo Wang, Changgeng Zhao, Shuai Mu, Haibo Chen, Jinyang Li
2019	A*	`conf`	Performance and protection in the ZoFS user-space NVM file system. SOSP Mingkai Dong, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen
2019	—	`conf`	Pisces: A Scalable and Efficient Persistent Transactional Memory. USENIX ATC Jinyu Gu, Qianqian Yu, Xiayang Wang, Zhaoguo Wang, Binyu Zang, Haibing Guan, Haibo Chen
2019	—	`conf`	Pragh: Locality-preserving Graph Traversal with Split Live Migration. USENIX ATC Xiating Xie, Xingda Wei, Rong Chen, Haibo Chen
2019	J	`jnl`	Scaling out NUMA-Aware Applications with RDMA-Based Distributed Shared Memory. J. Comput. Sci. Technol. Yang Hong, Yang Zheng, Fan Yang, Binyu Zang, Haibing Guan, Haibo Chen
2019	B	`conf`	ScissorGC: scalable and efficient compaction for Java full garbage collection. VEE Haoyu Li, Mingyu Wu, Binyu Zang, Haibo Chen
2019	A	`conf`	SkyBridge: Fast and Secure Inter-Process Communication for Microkernels. EuroSys Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, Haibo Chen
2019	B	`conf`	TEEv: virtualizing trusted execution environments on mobile platforms. VEE Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang
2019	J	`jnl`	Taming Distrust in the Decentralized Internet with PIXIU. CoRR Yubin Xia, Qingyuan Liu, Cheng Tan, Jing Leng, Shangning Xu, Binyu Zang, Haibo Chen
2019	A*	`conf`	Using concurrent relational logic with helpers for verifying the AtomFS file system. SOSP Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen
2019	A*	`conf`	XPC: architectural support for secure and efficient cross process call. ISCA Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen
2018	—	`conf`	Analysis and Optimizations of Java Full Garbage Collection. APSys Haoyu Li, Mingyu Wu, Haibo Chen
2018	J	`jnl`	Asymmetric virtual machine replication for low latency and high available service. Sci. China Inf. Sci. Rong Chen, Haibo Chen
2018	J	`jnl`	Cloud bursting for the world's largest consumer market. Commun. ACM Hai Jin, Haibo Chen, Hong Gao, Xiang-Yang Li, Song Wu
2018	A*	`conf`	Comprehensive VM Protection Against Untrusted Hypervisor Through Retrofitted AMD Memory Encryption. HPCA Yuming Wu, Yutao Liu, Ruifeng Liu, Haibo Chen, Binyu Zang, Haibing Guan
2018	A*	`conf`	Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better! OSDI Xingda Wei, Zhiyuan Dong, Rong Chen, Haibo Chen
2018	—	`conf`	EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. USENIX ATC Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, Binyu Zang
2018	A*	`conf`	Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory. ASPLOS Mingyu Wu, Ziming Zhao, Haoyu Li, Heting Li, Haibo Chen, Binyu Zang, Haibing Guan
2018	J	`jnl`	Eunomia: Scaling Concurrent Index Structures Under Contention Using HTM. IEEE Trans. Parallel Distributed Syst. Weihua Zhang, Xin Wang, Shiyu Ji, Ziyun Wei, Zhaoguo Wang, Haibo Chen
2018	—	`conf`	Fast and Concurrent RDF Queries using RDMA-assisted GPU Graph Exploration. USENIX ATC Siyuan Wang, Chang Lou, Rong Chen, Haibo Chen
2018	A	`conf`	Leveraging Hardware Transactional Memory for Cache Side-Channel Defenses. AsiaCCS Sanchuan Chen, Fangfei Liu, Zeyu Mi, Yinqian Zhang, Ruby B. Lee, Haibo Chen, Xiaofeng Wang
2018	J	`jnl`	PowerLyra: Differentiated Graph Computation and Partitioning on Skewed Graphs. ACM Trans. Parallel Comput. Rong Chen, Jiaxin Shi, Yanzhe Chen, Binyu Zang, Haibing Guan, Haibo Chen
2018	J	`jnl`	Replication-Based Fault-Tolerance for Large-Scale Graph Processing. IEEE Trans. Parallel Distributed Syst. Rong Chen, Youyang Yao, Peng Wang, Kaiyuan Zhang, Zhaoguo Wang, Haibing Guan, Binyu Zang, Haibo Chen
2018	J	`jnl`	Research on ARM TrustZone. GetMobile Mob. Comput. Commun. Wenhao Li, Yubin Xia, Haibo Chen
2018	J	`jnl`	ShadowEth: Private Smart Contract on Public Blockchain. J. Comput. Sci. Technol. Rui Yuan, Yubin Xia, Haibo Chen, Binyu Zang, Jan Xie
2018	J	`jnl`	SplitPass: A Mutually Distrusting Two-Party Password Manager. J. Comput. Sci. Technol. Yutao Liu, Dong Du, Yubin Xia, Haibo Chen, Binyu Zang, Zhenkai Liang
2018	A	`conf`	VButton: Practical Attestation of User-driven Operations in Mobile Apps. MobiSys Wenhao Li, Shiyu Luo, Zhichuang Sun, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang, Haibing Guan
2017	J	`jnl`	A software cybernetics approach to self-tuning performance of on-line transaction processing systems. J. Syst. Softw. Zuohua Ding, Zhijie Wei, Haibo Chen
2017	J	`jnl`	Characterizing and optimizing Java-based HPC applications on Intel many-core architecture. Sci. China Inf. Sci. Yang Yu, Tianyang Lei, Haibo Chen, Binyu Zang
2017	A*	`conf`	Deconstructing Xen. NDSS Le Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Jinming Li
2017	J	`jnl`	Efficient and Available In-Memory KV-Store with Hybrid Erasure Coding and Replication. ACM Trans. Storage Haibo Chen, Heng Zhang, Mingkai Dong, Zhaoguo Wang, Yubin Xia, Haibing Guan, Binyu Zang
2017	J	`jnl`	Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory. CoRR Mingyu Wu, Ziming Zhao, Haoyu Li, Heting Li, Haibo Chen, Binyu Zang, Haibing Guan
2017	B	`conf`	Eunomia: Scaling Concurrent Search Trees under Contention Using HTM. PPoPP Xin Wang, Weihua Zhang, Zhaoguo Wang, Ziyun Wei, Haibo Chen, Wenyun Zhao
2017	—	`conf`	Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads. APSys Xiaozhou Zhou, Zhaoguo Wang, Rong Chen, Haibo Chen, Jinyang Li
2017	J	`jnl`	Fast In-Memory Transaction Processing Using RDMA and HTM. ACM Trans. Comput. Syst. Haibo Chen, Rong Chen, Xingda Wei, Jiaxin Shi, Yanzhe Chen, Zhaoguo Wang, Binyu Zang, Haibing Guan
2017	J	`jnl`	Fence-Free Synchronization with Dynamically Serialized Synchronization Variables. IEEE Trans. Parallel Distributed Syst. Yang Hong, Yang Zheng, Haibing Guan, Binyu Zang, Haibo Chen
2017	A	`conf`	Learn-as-You-Go with Megh: Efficient Live Migration of Virtual Machines. ICDCS Debabrota Basu, Xiayang Wang, Yang Hong, Haibo Chen, Stéphane Bressan
2017	B	`conf`	POSTER: Recovering Performance for Vector-based Machine Learning on Managed Runtime. PPoPP Mingyu Wu, Haibing Guan, Binyu Zang, Haibo Chen
2017	J	`jnl`	Prophet: A Parallel Instruction-Oriented Many-Core Simulator. IEEE Trans. Parallel Distributed Syst. Weihua Zhang, Xiaofeng Ji, Yunping Lu, Haojun Wang, Haibo Chen, Pen-Chung Yew
2017	—	`conf`	Replication-driven Live Reconfiguration for Fast Distributed Transaction Processing. USENIX ATC Xingda Wei, Sijie Shen, Rong Chen, Haibo Chen
2017	J	`jnl`	Scalable Adaptive NUMA-Aware Lock. IEEE Trans. Parallel Distributed Syst. Mingzhe Zhang, Haibo Chen, Luwei Cheng, Francis C. M. Lau, Cho-Li Wang
2017	A	`conf`	Secure Live Migration of SGX Enclaves on Untrusted Cloud. DSN Jinyu Gu, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li
2017	J	`jnl`	Secure Outsourcing of Virtual Appliance. IEEE Trans. Cloud Comput. Yubin Xia, Yutao Liu, Haibing Guan, Yunji Chen, Tianshi Chen, Binyu Zang, Haibo Chen
2017	—	`conf`	Soft Updates Made Simple and Fast on Non-volatile Memory. USENIX ATC Mingkai Dong, Haibo Chen
2017	A*	`conf`	Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. SOSP Yunhao Zhang, Rong Chen, Haibo Chen
2017	A*	`conf`	Transparent and Efficient CFI Enforcement with Intel Processor Trace. HPCA Yutao Liu, Peitao Shi, Xinran Wang, Haibo Chen, Binyu Zang, Haibing Guan
2017	J	`jnl`	VarCatcher: A Framework for Tackling Performance Variability of Parallel Workloads on Multi-Core. IEEE Trans. Parallel Distributed Syst. Weihua Zhang, Xiaofeng Ji, Bo Song, Shiqiang Yu, Haibo Chen, Tao Li, Pen-Chung Yew, Wenyun Zhao
2017	A*	`conf`	vTZ: Virtualizing ARM TrustZone. USENIX Security Symposium Zhichao Hua, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan
2016	—	`conf`	A Case for Virtualizing Persistent Memory. SoCC Liang Liang, Rong Chen, Haibo Chen, Yubin Xia, KwanJong Park, Binyu Zang, Haibing Guan
2016	J	`jnl`	A Loosely-Coupled Full-System Multicore Simulation Framework. IEEE Trans. Parallel Distributed Syst. Weihua Zhang, Haojun Wang, Yunping Lu, Haibo Chen, Wenyun Zhao
2016	J	`jnl`	Deep Learning At Scale and At Ease. CoRR Wei Wang, Gang Chen, Haibo Chen, Tien Tuan Anh Dinh, Jinyang Gao, Beng Chin Ooi, Kian-Lee Tan, Sheng Wang
2016	J	`jnl`	Deep Learning at Scale and at Ease. ACM Trans. Multim. Comput. Commun. Appl. Wei Wang, Gang Chen, Haibo Chen, Tien Tuan Anh Dinh, Jinyang Gao, Beng Chin Ooi, Kian-Lee Tan, Sheng Wang, Meihui Zhang
2016	A	`conf`	Efficient and Available In-memory KV-Store with Hybrid Erasure Coding and Replication. FAST Heng Zhang, Mingkai Dong, Haibo Chen
2016	J	`jnl`	Fast Consensus Using Bounded Staleness for Scalable Read-Mostly Synchronization. IEEE Trans. Parallel Distributed Syst. Haibo Chen, Heng Zhang, Ran Liu, Binyu Zang, Haibing Guan
2016	A*	`conf`	Fast and Concurrent RDF Queries with RDMA-Based Distributed Graph Exploration. OSDI Jiaxin Shi, Youyang Yao, Rong Chen, Haibo Chen, Feifei Li
2016	A	`conf`	Fast and general distributed transactions using RDMA and HTM. EuroSys Yanzhe Chen, Xingda Wei, Jiaxin Shi, Rong Chen, Haibo Chen
2016	J	`jnl`	Hardware Support for Concurrent Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architectures. IEEE Trans. Computers Weihua Zhang, Shiqiang Yu, Haojun Wang, Zhuofang Dai, Haibo Chen
2016	J	`jnl`	IMR: High-Performance Low-Cost Multi-Ring NoCs. IEEE Trans. Parallel Distributed Syst. Shaoli Liu, Tianshi Chen, Ling Li, Xiaoxue Feng, Zhiwei Xu, Haibo Chen, Frederic T. Chong, Yunji Chen
2016	A	`conf`	Mitigating Sync Amplification for Copy-on-write Virtual Disk. FAST Qingshu Chen, Liang Liang, Yubin Xia, Haibo Chen
2016	J	`jnl`	Parallelizing image feature extraction algorithms on multi-core platforms. J. Parallel Distributed Comput. Yunping Lu, Yi Li, Bo Song, Weihua Zhang, Haibo Chen, Lu Peng
2016	B	`conf`	Performance Analysis and Optimization of Full Garbage Collection in Memory-hungry Environments. VEE Yang Yu, Tianyang Lei, Weihua Zhang, Haibo Chen, Binyu Zang
2016	J	`jnl`	Performance Analysis of Multimedia Retrieval Workloads Running on Multicores. IEEE Trans. Parallel Distributed Syst. Yunping Lu, Xin Wang, Weihua Zhang, Haibo Chen, Lu Peng, Wenyun Zhao
2016	J	`jnl`	Petri net based test case generation for evolved specification. Sci. China Inf. Sci. Zuohua Ding, Mingyue Jiang, Haibo Chen, Zhi Jin, MengChu Zhou
2016	—	`conf`	Rethinking Benchmarking for NVM-based File Systems. APSys Mingkai Dong, Qianqian Yu, Xiaozhou Zhou, Yang Hong, Haibo Chen, Binyu Zang
2016	B	`conf`	Scalable adaptive NUMA-aware lock: combining local locking and remote locking for efficient concurrency. PPoPP Mingzhe Zhang, Francis C. M. Lau, Cho-Li Wang, Luwei Cheng, Haibo Chen
2016	—	`conf`	Scaling Multicore Databases via Constrained Parallel Execution. SIGMOD Conference Zhaoguo Wang, Shuai Mu, Yang Cui, Han Yi, Haibo Chen, Jinyang Li
2015	A	`conf`	AdAttester: Secure Online Mobile Advertisement Attestation Using TrustZone. MobiSys Wenhao Li, Haibo Li, Haibo Chen, Yubin Xia
2015	J	`jnl`	Bipartite-Oriented Distributed Graph Partitioning for Big Learning. J. Comput. Sci. Technol. Rong Chen, Jiaxin Shi, Haibo Chen, Binyu Zang
2015	A*	`conf`	Fast in-memory transaction processing using RDMA and HTM. SOSP Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen
2015	J	`jnl`	Multilevel Phase Analysis. ACM Trans. Embed. Comput. Syst. Weihua Zhang, Jiaxin Li, Yi Li, Haibo Chen
2015	B	`conf`	NUMA-aware graph-structured analytics. PPoPP Kaiyuan Zhang, Rong Chen, Haibo Chen
2015	—	`conf`	Open JDK Meets Xeon Phi: A Comprehensive Study of Java HPC on Intel Many-Core Architecture. ICPP Workshops Yang Yu, Tianyang Lei, Haibo Chen, Binyu Zang
2015	J	`jnl`	Persistent Transactional Memory. IEEE Comput. Archit. Lett. Zhaoguo Wang, Han Yi, Ran Liu, Mingkai Dong, Haibo Chen
2015	A	`conf`	Poster: TVisor - A Practical and Lightweight Mobile Red-Green Dual-OS Architecture. MobiSys Wenhao Li, Liang Liang, Mingyang Ma, Yubin Xia, Haibo Chen
2015	A	`conf`	PowerLyra: differentiated graph computation and partitioning on skewed graphs. EuroSys Rong Chen, Jiaxin Shi, Yanzhe Chen, Haibo Chen
2015	A*	`conf`	Reducing world switches in virtualized environment with flexible cross-world calls. ISCA Wenhao Li, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan
2015	B	`conf`	SYNC or ASYNC: time to fuse for distributed graph-parallel computation. PPoPP Chenning Xie, Rong Chen, Haibing Guan, Binyu Zang, Haibo Chen
2015	A*	`conf`	Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation. CCS Yutao Liu, Tianyu Zhou, Kexin Chen, Haibo Chen, Yubin Xia
2015	A*	`conf`	You Shouldn't Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps. USENIX Security Symposium Jin Chen, Haibo Chen, Erick Bauman, Zhiqiang Lin, Binyu Zang, Haibing Guan
2014	J	`jnl`	Architecting Flash-based Solid-State Drive for High-performance I/O Virtualization. IEEE Comput. Archit. Lett. Xiang Song, Jian Yang, Haibo Chen
2014	A	`conf`	Computation and communication efficient graph processing with distributed immutable view. HPDC Rong Chen, Xin Ding, Peng Wang, Haibo Chen, Binyu Zang, Haibing Guan
2014	A*	`conf`	Concurrent and consistent virtual machine introspection with hardware transactional memory. HPCA Yutao Liu, Yubin Xia, Haibing Guan, Binyu Zang, Haibo Chen
2014	—	`conf`	Greedy map generalization by iterative point removal. SIGSPATIAL/GIS Yanzhe Chen, Yin Wang, Rong Chen, Haibo Chen, Binyu Zang
2014	B	`conf`	Hydra: Efficient Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architecture. ICPP Zhuofang Dai, Haojun Wang, Weihua Zhang, Haibo Chen, Binyu Zang
2014	A	`conf`	Replication-Based Fault-Tolerance for Large-Scale Graph Processing. DSN Peng Wang, Kaiyuan Zhang, Rong Chen, Haibo Chen, Haibing Guan
2014	—	`conf`	Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks. USENIX ATC Ran Liu, Heng Zhang, Haibo Chen
2014	A	`conf`	Using restricted transactional memory to build a scalable in-memory database. EuroSys Zhaoguo Wang, Hao Qian, Jinyang Li, Haibo Chen
2014	J	`jnl`	X10-FT: Transparent fault tolerance for APGAS language and runtime. Parallel Comput. Zhijun Hao, Chenning Xie, Haibo Chen, Binyu Zang
2013	A*	`conf`	Architecture support for guest-transparent VM protection from untrusted hypervisor and physical attacks. HPCA Yubin Xia, Yutao Liu, Haibo Chen
2013	A	`conf`	Multi-level phase analysis for sampling simulation. DATE Jiaxin Li, Weihua Zhang, Haibo Chen, Binyu Zang
2013	—	`conf`	Opportunities and pitfalls of multi-core scaling using hardware transaction memory. APSys Zhaoguo Wang, Hao Qian, Haibo Chen, Jinyang Li
2013	B	`conf`	Parallelizing live migration of virtual machines. VEE Xiang Song, Jicheng Shi, Ran Liu, Jian Yang, Haibo Chen
2013	—	`conf`	Point-polygon topological relationship query using hierarchical indices. SIGSPATIAL/GIS Tianyu Zhou, Hong Wei, Heng Zhang, Yin Wang, Yanmin Zhu, Haibing Guan, Haibo Chen
2013	B	`conf`	Scalable deterministic replay in a parallel full-system emulator. PPoPP Yufei Chen, Haibo Chen
2013	—	`conf`	Schedule processes, not VCPUs. APSys Xiang Song, Jicheng Shi, Haibo Chen, Binyu Zang
2013	J	`jnl`	Security-Preserving Live Migration of Virtual Machines in the Cloud. J. Netw. Syst. Manag. Fengzhe Zhang, Haibo Chen
2013	J	`jnl`	Tiled-MapReduce: Efficient and Flexible MapReduce Processing on Multicore with Tiling. ACM Trans. Archit. Code Optim. Rong Chen, Haibo Chen
2013	—	`conf`	X10-FT: transparent fault tolerance for APGAS language and runtime. PMAM Chenning Xie, Zhijun Hao, Haibo Chen
2013	—	`conf`	X10-PM: Transparent and Efficient Place Migration for APGAS Language. HPCC/EUC Zhijun Hao, Binyu Zang, Chenning Xie, Haibo Chen
2012	—	`conf`	A GPU-based high-throughput image retrieval algorithm. GPGPU@ASPLOS Feiwen Zhu, Peng Chen, Donglei Yang, Weihua Zhang, Haibo Chen, Binyu Zang
2012	—	`conf`	A case for secure and scalable hypervisor using safe language. PMAM Haibo Chen, Binyu Zang
2012	B	`conf`	Adaptive Pipeline Parallelism for Image Feature Extraction Algorithms. ICPP Peng Chen, Donglei Yang, Weihua Zhang, Yi Li, Binyu Zang, Haibo Chen
2012	A	`conf`	CFIMon: Detecting violation of control flow integrity using performance counters. DSN Yubin Xia, Yutao Liu, Haibo Chen, Binyu Zang
2012	—	`conf`	Defending against VM rollback attack. DSN Workshops Yubin Xia, Yutao Liu, Haibo Chen, Binyu Zang
2012	B	`conf`	Improving dynamic prediction accuracy through multi-level phase analysis. LCTES Zhenman Fang, Jiaxin Li, Weihua Zhang, Yi Li, Haibo Chen, Binyu Zang
2012	J	`jnl`	Mercury: Combining Performance with Dependability Using Self-Virtualization. J. Comput. Sci. Technol. Haibo Chen, Fengzhe Zhang, Rong Chen, Binyu Zang, Pen-Chung Yew
2012	—	`conf`	Revisiting Software Zero-Copy for Web-caching Applications with Twin Memory Allocation. USENIX ATC Xiang Song, Jicheng Shi, Haibo Chen, Binyu Zang
2012	—	`conf`	SSMalloc: a low-latency, locality-conscious memory allocator with stable performance scalability. APSys Ran Liu, Haibo Chen
2012	—	`conf`	TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization. DSN Workshops Cheng Tan, Yubin Xia, Haibo Chen, Binyu Zang
2012	A*	`conf`	Transformer: a functional-driven cycle-accurate multicore simulator. DAC Zhenman Fang, Qinghao Min, Keyong Zhou, Yi Lu, Yibin Hu, Weihua Zhang, Haibo Chen, Jian Li, Binyu Zang
2011	B	`conf`	A Hierarchical Approach to Maximizing MapReduce Efficiency. PACT Zhiwei Xiao, Haibo Chen, Binyu Zang
2011	A	`conf`	A case for scaling applications to many-core with OS clustering. EuroSys Xiang Song, Haibo Chen, Rong Chen, Yuanxuan Wang, Binyu Zang
2011	B	`conf`	A comprehensive analysis and parallelization of an image retrieval algorithm. ISPASS Zhenman Fang, Donglei Yang, Weihua Zhang, Haibo Chen, Binyu Zang
2011	—	`ed.`	APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July 11-12, 2011 APSys Haibo Chen, Zheng Zhang, Sue Moon, Yuanyuan Zhou
2011	B	`conf`	COREMU: a scalable and portable parallel full-system emulator. PPoPP Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zhang, Binyu Zang
2011	A*	`conf`	CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization. SOSP Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang
2011	J	`jnl`	Dynamic Software Updating Using a Relaxed Consistency Model. IEEE Trans. Software Eng. Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang, Pen-Chung Yew
2011	—	`conf`	Evaluating the Performance and Scalability of MapReduce Applications on X10. APPT Chao Zhang, Chenning Xie, Zhiwei Xiao, Haibo Chen
2011	—	`conf`	Limiting cache-based side-channel in multi-tenant cloud using dynamic page coloring. DSN Workshops Jicheng Shi, Xiang Song, Haibo Chen, Binyu Zang
2011	—	`conf`	ORDER: Object centRic DEterministic Replay for Java. USENIX ATC Zhemin Yang, Min Yang, Lvcai Xu, Haibo Chen, Binyu Zang
2011	—	`conf`	Security breaches as PMU deviation: detecting and identifying security attacks using performance counters. APSys Liwei Yuan, Weichao Xing, Haibo Chen, Binyu Zang
2010	B	`conf`	Optimizing crash dump in virtualized environments. VEE Yijian Huang, Haibo Chen, Binyu Zang
2010	B	`conf`	Tiled-MapReduce: optimizing resource usages of data-parallel applications on multicore with tiling. PACT Rong Chen, Haibo Chen, Binyu Zang
2010	A	`conf`	Why software hangs and what can be done with it. DSN Xiang Song, Haibo Chen, Binyu Zang
2009	A*	`conf`	Control flow obfuscation with information flow tracking. MICRO Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang, Bo Huang, Pen-Chung Yew
2009	—	`conf`	Evaluating SPLASH-2 Applications Using MapReduce. APPT Shengkai Zhu, Zhiwei Xiao, Haibo Chen, Rong Chen, Weihua Zhang, Binyu Zang
2008	A*	`conf`	Corey: An Operating System for Many Cores. OSDI 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
2008	A*	`conf`	From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware. ISCA Haibo Chen, Xi Wu, Liwei Yuan, Binyu Zang, Pen-Chung Yew, Frederic T. Chong
2008	—	`conf`	TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing. Security Protocols Workshop Haibo Chen, Jun Li, Wenbo Mao
2007	J	`jnl`	Daonity - Grid security from two levels of virtualization. Inf. Secur. Tech. Rep. Haibo Chen, Jieyun Chen, Wenbo Mao, Fei Yan
2007	—	`conf`	Daonity: Protocol Solutions to Grid Security Using Hardware Strengthened Software Environment. Security Protocols Workshop Wenbo Mao, Fei Yan, Chuanjiang Yi, Haibo Chen
2007	B	`conf`	Mercury: Combining Performance with Dependability Using Self-virtualization. ICPP Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen-Chung Yew
2007	A*	`conf`	POLUS: A POwerful Live Updating System. ICSE Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, Pen-Chung Yew
2006	B	`conf`	Live updating operating systems using virtualization. VEE Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, Pen-Chung Yew