学术论文

展示操作系统研究室在操作系统、系统软件等领域的代表性研究成果,涵盖顶级会议与获奖论文

2025

State-Compute Replication: Parallelizing High-Speed Stateful Packet Processing

Qiongwen Xu, Sebastiano Miano, Xiangyu Gao, Tao Wang, Adithya Murugadass, Songyuan Zhang, Anirudh Sivaraman, Gianni Antichi, and Srinivas Narayana

NSDI 2025 - 22nd USENIX Symposium on Networked Systems Design and Implementation

2024

Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel

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, and Fengwei Xu

OSDI 2024 - 18th USENIX Symposium on Operating Systems Design and Implementation

2024

Serialization/Deserialization-free State Transfer in Serverless Workflows (Best Paper Award)

Fangming Lu, Xingda Wei, Zhuobin Huang, Rong Chen, Mingyu Wu, Haibo Chen

EuroSys 2024 - 19th European Conference on Computer Systems

2024

Optimizing Quantum Fourier Transformation (QFT) Kernels for Modern NISQ and FT Architectures

Yuwei Jin*, Xiangyu Gao*, Minghao Guo, Henry Chen, Fei Hua, Chi Zhang, and Eddy Z. Zhang

SC 2024 - The International Conference for High Performance Computing, Networking, Storage, and Analysis

2024

Cross-Platform Transpilation of Packet-Processing Programs using Program Synthesis

Xiangyu Gao, Jiaqi Gao, Karan Kumar Gangadhar, Ennan Zhai, Srinivas Narayana, and Anirudh Sivaraman

APNET 2024 - 8th Asia-Pacific Workshop on Networking

2023

TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM (Best Paper Award)

Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen

SOSP 2023 - 29th ACM Symposium on Operating Systems Principles

2023

Encrypted Databases Made Secure Yet Maintainable

Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen

OSDI 2023 - 17th USENIX Symposium on Operating Systems Design and Implementation

2023

Key Generation and Identity Verification using Quantum Teleportation

Xiangyu Gao and Eddy Z. Zhang

QuNet 2023 - Workshop on Quantum Networks

2023

CaT: A Solver-Aided Compiler for Packet-Processing Pipelines

Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, and Aarti Gupta

ASPLOS 2023 - 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems

2022

A Hardware‑Software Co‑design for Efficient Intra‑Enclave Isolation

Jinyu Gu, Bojun Zhu, Mingyu Li, Wentai Li, Yubin Xia, Haibo Chen

USENIX Security 2022 - 31st USENIX Security Symposium

2022

Fast and General Distributed Transactions using RDMA and HTM

Jingyu Zhou, Jiwu Shu, Haibo Chen

OSDI 2022 - 16th USENIX Symposium on Operating Systems Design and Implementation

2021

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Distinguished Paper Award)

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

ASPLOS 2021 - 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems

2021

Modernizing File System through In-Storage Indexing

Mingyu Li, Zhiwei Wu, Zheyu Song, Fei Wu, Kang Chen, Haibo Chen

OSDI 2021 - 15th USENIX Symposium on Operating Systems Design and Implementation

2020

Switch Code Generation using Program Synthesis

Xiangyu Gao, Taegyun Kim, Michael Dean Wong, Divya Raghunathan, Aatish Kishan Varma, Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, and Aarti Gupta

SIGCOMM 2020 - ACM SIGCOMM 2020 Conference

2019

Autogenerating Fast Packet-Processing Code Using Program Synthesis

Xiangyu Gao, Taegyun Kim, Aatish Kishan Varma, Anirudh Sivaraman, and Srinivas Narayana

HotNets 2019 - 18th ACM Workshop on Hot Topics in Networks