Publications

2026

SKernel: An Elastic and Efficient Secure Container System at Scale with a Split-Kernel Architecture
Xiaohu Chai, Keyang Hu, Jianfeng Tan, Tiwei Bie, Guotao Tan, Tianyu Zhou, Anqi Shen,Xinyao Yang, Xin Chen, Xu Wang, Feng Yu, Zhengyu He, Dong Du, Yubin Xia,Kang Chen, Yu Chen. EuroSys 2026.

Fork in the Road:Reflections and Optimizations for Cold Start Latency in Production Serverless Systems
Xiaohu Chai, Tianyu Zhou, Keyang Hu, Jianfeng Tan, Tiwei Bie, Anqi Shen, Dawei Shen, Qi Xing, Shun Song, Tongkai Yang, Le Gao, Feng Yu, Zhengyu He, Dong Du, Yubin Xia, Kang Chen, and Yu Chen. OSDI 2025.

Skyloft: A General High-Efficient Scheduling Framework in User Space
Yuekai Jia, Kaifu Tian, Yuyang You, Yu Chen, Kang Chen. SOSP 2024.
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor
Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He. ASPLOS 2024.
PatternS: an intelligent hybrid memory scheduler driven by page pattern recognition
Yanjie ZHEN, Weining Chen, Wei Gao, Ju Ren, Kang Chen, Yu Chen. Journal of Systems Architecture 2024.
A smart hybrid memory scheduling approach using neural models
Yanjie ZHEN, Huijun Zhang, Yongheng Deng, Weining Chen, Wei Gao, Ju Ren, Yu Chen. SCIENCE CHINA Information Sciences 2024.
Intelligent hybrid memory scheduling based on page pattern recognition
Yanjie ZHEN, Weining Chen, Wei Gao, Ju Ren, Kang Chen, Yu Chen. DATE 2024.

A low-cost and pages-interrelation-aware attention model for hybrid memory scheduling
Yanjie ZHEN, Yu Chen. SMC 2023.

HyperEnclave: An Open and Cross-platform Trusted Execution Environment
Yuekai Jia, Shuang Liu, Wenhao Wang, Yu Chen, Zhengde Zhai, Shoumeng Yan, Zhengyu He. ATC 2022.

Scaling Camouflage: Content Disguising Attack Against Computer Vision Applications
Yufei Chen, Chao Shen, Cong Wang, Qixue Xiao, Kang Li, Yu Chen. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 2021.

Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
Youren Shen，Hongliang Tian，Yu Chen，Kang Chen，Runji Wang，Yi Xu，Yubin Xia，Shoumeng Yan. ASPLOS 2020.

Is It Possible to Automatically Port Kernel Modules?
Yanjie Zhen，Wei Zhang，Zhenyang Dai，Junjie Mao，Yu Chen. APSys 2018.
To Isolate, or to Share? That is a Question for Intel SGX
Youren Shen，Yu Chen，Kang Chen，Hongliang Tian，Shoumeng Yan. APSys 2018.

pbSE: Phase-based Symbolic Execution
Qixue Xiao, Yu Chen, Chenggang Wu, Kang Li, Junjie Mao, Shize Guo, Yuanchun Shi. DSN 2017.

RID: Finding Reference Count Bugs with Inconsistent Path Pair Checking
Junjie Mao，Qixue Xiao，Yuanchun Shi，Yu Chen. ASPLOS 2016.
Scalable Kernel TCP Design and Implementation for Short-Lived Connections
Xiaofeng Lin, Yu Chen, Xiaodong Li, Junjie Mao, Jiaquan He, Wei Xu, Yuanchun Shi. ASPLOS 2016.

Requester-Based Spin Lock: A scalable and energy efficient locking scheme on multicore systems
Yan Cui, Yingxin Wang, Yu Chen, Yuanchun Shi. IEEE Transactions on Computers 2015.
LockSim: An Event-Driven Simulator for Modeling Spin Lock Contention
Yan Cui, Yingxin Wang, Yu Chen, Yuanchun Shi. IEEE Transactions on Parallel and Distributed Systems 2015.
Mitigating Code-Reuse Attacks on CISC Architectures in a Hardware Approach
Zhijiao Zhang, YaShuai Lu, Yu Chen,Yuanchun Shi. IFIP 2015.

Mitigating Resource Contention on Multicore Systems via Scheduling
Yan Cui, Yingxin Wang, Yu Chen, Yuanchun Shi. COMPUTER JOURNAL 2014.
Towards scalability collapse behavior on multicores
Yan Cui, Yu Chen, Yuanchun Shi. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2014.
Running Multiple Androids on One ARM Platform
Zhijiao Zhang, Lei Zhang, Yu Chen, Yuanchun Shi. ACISP 2014.

Lock-Contention-Aware Scheduler: A Scalable and Energy Efficient Method for Addressing Scalability Collapse on Multicore Systems
Yan Cui, Yingxin Wang, Yu Chen, Yuanchun Shi. Transactions on Architecture and Code Optimization 2013.

Reducing Scalability Collapse via Requester-Based Locking on Multicore Systems
Yan Cui, Yingxin Wang, Yu Chen, Yuanchun Shi, Wei Han, Xin Liao, Fei Wang. MASCOTS2012.
Lock-visor: An Efficient Transitory Co-scheduling for MP Guest
Lei Zhang, Yu Chen, Yaozu Dong, Chao Liu. ICPP 2012.
CompSC: Live Migration with pass-through devices
Zhenhao Pan, Yaozu Dong, Yu Chen, Zhang Zhijiao. VEE 2012.
ReNIC: Architectural Extension to SR-IOV I/O Virtualization for Efficient Replication
Yaozu Dong, Yu Chen, Zhenhao Pan, Jinquan Dai, Yunhong Jiang. Transactions on Architecture and Code Optimization 2012.
Comparing Operating Systems Scalability on Multicore Processors by Microbenchmarking
Yan Cui, Yu Chen, Yuanchun Shi. TRANSACTIONS ON INFORMATION AND SYSTEMS 2012.
Built-in Device Simulator for OS Performance Evaluation
Junjie Mao, Yu Chen, Yaozu Dong. CLUSTER 2012.

Experience on Comparison of Operating Systems Scalability on the Multi-core Architecture
Yan Cui, Yu Chen, Shi Yuanchun. CLUSTER 2011.
SREngine: An OSGi-based Context-aware Inference Engine for Smart Room
Zhijiao Zhang, Naizheng Wang, Yu Chen, Yongqiang Lu, Yuanchun Shi, Rui Wang, Xiaojuan Lu. ICPCA 2011.
Comparison of Lock Thrashing Avoidance Methods And Its Performance Implications for Lock Design
Yan Cui, Yu Chen, Yuanchun Shi. LSAP 2011.
NestCloud: Towards Practical Nested Virtualization
Zhenhao Pan, Qing He, Wei Jiang, Yu Chen, Yaozu Dong. CSC 2011.

Reinventing Lock Modeling for Multi-Core Systems
Yan Cui, Weiyi Wu, Yingxin Wang, Xufeng Guo, Yu Chen, Yuanchun Shi. MASCOTS2010.
A Discrete Event Simulation Model for Understanding Kernel Lock Thrashing on Multi-Cores Architectures
Yan Cui, Weiyi Wu, Yingxin Wang, Xufeng Guo, Yu Chen, Yuanchun Shi. ICPADS 2010.

Fairness and Interactivity of Three CPU Schedulers in Linux
Shen Wang, Yu Chen, Wei Jiang, Peng Li, Ting Dai, Yan Cui. RTCSA 2009.