SPeCK: a kernel for scalable predictability. - Qi Wang; Yuxin Ren 001; Matt Scaperoth; Gabriel Parmer (RTAS, 2015)

CBufs: efficient, system-wide memory management and sharing. - Yuxin Ren 001; Gabriel Parmer; Teo Georgiev; Gedare Bloom (ISMM, 2016)

NetAlytics: Cloud-Scale Application Performance Monitoring with SDN and NFV. - Guyue Liu; Michael Trotter; Yuxin Ren 001; Timothy Wood 001 (Middleware, 2016)

Predictable Virtualization on Memory Protection Unit-Based Microcontrollers. - Runyu Pan; Gregor Peach; Yuxin Ren 001; Gabriel Parmer (RTAS, 2018)

Scalable Memory Reclamation for Multi-Core, Real-Time Systems. - Yuxin Ren 001; Guyue Liu; Gabriel Parmer; Björn B. Brandenburg (RTAS, 2018)

Microboxes: high performance NFV with customizable, asynchronous TCP stacks and dynamic subscriptions. - Guyue Liu; Yuxin Ren 001; Mykola Yurchenko; K. K. Ramakrishnan; Timothy Wood 001 (SIGCOMM, 2018)

Scalable Data-structures with Hierarchical, Distributed Delegation. - Yuxin Ren 001; Gabriel Parmer (Middleware, 2019)

Efficient, Dynamic Multi-tenant Edge Computation in EdgeOS. - Yuxin Ren 001; Vlad Nitu; Guyue Liu; Gabriel Parmer; Timothy Wood 001; Alain Tchana; Riley Kennedy (CoRR, 2019)

Bounded incoherence: a programming model for non-cache-coherent shared memory architectures. - Yuxin Ren 001; Gabriel Parmer; Dejan S. Milojicic (PMAM@PPoPP, 2020)

Ch'i: Scaling Microkernel Capabilities in Cache-Incoherent Systems. - Yuxin Ren 001; Gabriel Parmer; Dejan S. Milojicic (ROSS@SC, 2020)

Fine-Grained Isolation for Scalable, Dynamic, Multi-tenant Edge Clouds. - Yuxin Ren 001; Guyue Liu; Vlad Nitu; Wenyuan Shao; Riley Kennedy; Gabriel Parmer; Timothy Wood 001; Alain Tchana (USENIX ATC, 2020)

From Dynamic Loading to Extensible Transformation: An Infrastructure for Dynamic Library Transformation. - Yuxin Ren 001; Kang Zhou; Jianhai Luan; Yunfeng Ye; Shiyuan Hu; Xu Wu; Wenqin Zheng; Wenfeng Zhang; Xinwei Hu (OSDI, 2022)

Edge-RT: OS Support for Controlled Latency in the Multi-Tenant, Real-Time Edge. - Wenyuan Shao; Bite Ye; Huachuan Wang; Gabriel Parmer; Yuxin Ren 001 (RTSS, 2022)

Sharing non-cache-coherent memory with bounded incoherence. - Yuxin Ren 001; Gabriel Parmer; Dejan S. Milojicic (Concurr. Comput. Pract. Exp., 2022)

Towards OS Heterogeneity Aware Cluster Management for HPC. - Zhida An; Ding Li 001; Yao Guo 001; Guijin Gao; Yuxin Ren 001; Ning Jia; Xinwei Hu (APSys, 2023)

Cache or Direct Access? Revitalizing Cache in Heterogeneous Memory File System. - Yubo Liu; Yuxin Ren 001; Mingrui Liu; Hanjun Guo; Xie Miao; Xinwei Hu (DIMES@SOSP, 2023)

Auditing Frameworks Need Resource Isolation: A Systematic Study on the Super Producer Threat to System Auditing and Its Mitigation. - Peng Jiang 007; Ruizhe Huang; Ding Li 001; Yao Guo 001; Xiangqun Chen; Jianhai Luan; Yuxin Ren 001; Xinwei Hu (USENIX Security Symposium, 2023)

Towards Efficient Hugepage-aware Memory Deduplication. - Ruizhe Huang; Ding Li 001; Yao Guo 001; Xiangqun Chen; Yuntao Liu; Yuxin Ren 001; Ning Jia; Xinwei Hu (WORDS@SOSP, 2023)

Optimizing File Systems on Heterogeneous Memory by Integrating DRAM Cache with Virtual Memory Management. - Yubo Liu; Yuxin Ren 001; Mingrui Liu; Hongbo Li 007; Hanjun Guo; Xie Miao; Xinwei Hu; Haibo Chen 001 (FAST, 2024)

Toward Private, Trusted, and Fine-Grained Inference Cloud Outsourcing with on-Device Obfuscation and Verification. - Shuai Zhang; Jie Ma; Haili Bai; Yuxin Ren 001; Ning Jia; Xinwei Hu (ICNP, 2024)

Interference-free Operating System: A 6 Years' Experience in Mitigating Cross-Core Interference in Linux. - Zhaomeng Deng; Ziqi Zhang; Ding Li 001; Yao Guo 001; Yunfeng Ye; Yuxin Ren 001; Ning Jia; Xinwei Hu (RTSS, 2024)

FlacIO: Flat and Collective I/O for Container Image Service. - Yubo Liu; Hongbo Li 007; Mingrui Liu; Rui Jing; Jian Guo; Bo Zhang; Hanjun Guo; Yuxin Ren 001; Ning Jia (FAST, 2025)

Towards Rack-as-a-Computer in Memory Interconnect Era with Coordinated Operating System Sharing. - Yuxin Ren 001; Mingrui Liu; Hongbo Li 007; Chang Liao; Xiaojia Huang; Jianhua Zhang; Hanjun Guo; Yubo Liu; Ning Jia (HotStorage, 2025)

DPUaudit: DPU-assisted Pull-based Architecture for Near-Zero Cost System Auditing. - Peng Jiang 007; Hanlin Jiang; Ruizhe Huang; Hanwen Lei; Zhineng Zhong; Shaokun Zhang; Yuxin Ren 001; Ning Jia; Xinwei Hu; Yao Guo 001; Xiangqun Chen; Ding Li 001 (HPCA, 2025)

A-Tune-Online: Efficient and QoS-Aware Online Configuration Tuning for Dynamic Workloads. - Yu Shen 003; Beicheng Xu; Yupeng Lu; Donghui Chen; Huaijun Jiang; Zhipeng Xie; Senbo Fu; Nan Zhang 004; Yuxin Ren 001; Ning Jia; Xinwei Hu; Bin Cui 001 (ICDE, 2025)