Operating Systems

• [FAST 2025] ShiftLock: Mitigate One-sided RDMA Lock Contention via Handover
  
  • Authors: Jian Gao, Qing Wang, Jiwu Shu
  • Link, Code
• [ASPLOS 2024] WASP: Workload-Aware Self-Replicating Page-Tables for NUMA Servers
  
  • Authors: Hongliang Qu, Zhibin Yu
  • Link
• [EuroSys 2024] Enoki: High Velocity Linux Kernel Scheduler Development
  
  • Authors: Samantha Miller, Anirudh Kumar, Tanay Vakharia, Ang Chen, Danyang Zhuo, Thomas Anderson
  • Link
• [OSDI 2024] DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency
  
  • Authors: Haoran Ma, Yifan Qiao, Shi Liu, Shan Yu, Yuanjiang Ni, Qingda Lu, Jiesheng Wu, Yiying Zhang, Miryung Kim, Harry Xu
  • Link, Code
• [OSDI 2024] SquirrelFS: using the Rust compiler to check file-system crash consistency
  
  • Authors: Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram
  • Link, Code
• [SOSP 2024] Fast Core Scheduling with Userspace Process Abstraction
  
  • Authors: Jiazhen Lin, Youmin Chen, Shiwei Gao, Youyou Lu
  • Link
• [SOSP 2024] Fast, Flexible, and Practical Kernel Extensions
  
  • Authors: Kumar Kartikeya Dwivedi, Rishabh Iyer, Sanidhya Kashyap
  • Link
• [SOSP 2024] LazyLog: A New Shared Log Abstraction for Low-Latency Applications
  
  • Authors: Xuhao Luo, Shreesha G. Bhat, Jiyu Hu, Ramnatthan Alagappan, Aishwarya Ganesan
  • Link
• [SOSP 2024] Skyloft: A General High-Efficient Scheduling Framework in User Space
  
  • Authors: Yuekai Jia, Kaifu Tian, Yuyang You, Yu Chen, Kang Chen
  • Link
• [SOSP 2024] Tiered Memory Management: Access Latency is the Key!
  
  • Authors: Midhul Vuppalapati, Rachit Agarwal
  • Link
• [SOSP 2024] VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS Clouds
  
  • Authors: Kaijie Guo, Dingji Li, Ben Luo, Yibin Shen, Kaihuan Peng, Ning Luo, Shengdong Dai, Chen Liang, Jianming Song, Hang Yang, Xiantao Zhang, Zeyu Mi
  • Link
• [SOSP 2024] vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware
  
  • Authors: Jiaxing Qiu, Zijie Zhou, Yang Li, Zhenhua Li, Feng Qian, Hao Lin, Di Gao, Haitao Su, Xin Miao, Yunhao Liu, Tianyin Xu
  • Link
• [USENIX ATC 2024] An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise
  
  • Authors: Hongyu Li, Liwei Guo, Yexuan Yang, Shangguang Wang, Mengwei Xu
  • Link
• [USENIX ATC 2024] Scalable and Effective Page-table and TLB management on NUMA Systems
  
  • Authors: Bin Gao, Qingxuan Kang, Hao-Wei Tee, Kyle Timothy Ng Chu, Alireza Sanaee, Djordje Jevdjic
  • Link
• [ASPLOS 2023] Efficient Scheduler Live Update for Linux Kernel with Modularization
  
  • Authors: Teng Ma, Shanpei Chen, Yihao Wu, Erwei Deng, Zhuo Song, Quan Chen, Minyi Guo
  • Link
• [EuroSys 2023] Nephele: Extending Virtualization Environments for Cloning Unikernel-based VMs
  
  • Authors: Costin Lupu, Andrei Albiundefinedoru, Radu Nichita, Doru-Florin Blânzeanu, Mihai Pogonaru, Răzvan Deaconescu, Costin Raiciu
  • Link
• [EuroSys 2023] Unikernel Linux (UKL)
  
  • Authors: Ali Raza, Thomas Unger, Matthew Boyd, Eric B Munson, Parul Sohal, Ulrich Drepper, Richard Jones, Daniel Bristot De Oliveira, Larry Woodman, Renato Mancuso, Jonathan Appavoo, Orran Krieger
  • Link
• [FAST 2023] Citron: Distributed Range Lock Management with One-sided RDMA
  
  • Authors: Jian Gao, Youyou Lu, Minhui Xie, Qing Wang, Jiwu Shu
  • Link
• [OSDI 2023] Security and Performance in the Delegated User-level Virtualization
  
  • Authors: Jiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen
  • Link
• [SOSP 2023] TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM
  
  • Authors: Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen
  • Link
• [USENIX ATC 2023] LLFree: Scalable and Optionally-Persistent Page-Frame Allocation
  
  • Authors: Lars Wrenger, Florian Rommel, Alexander Halbuer, Christian Dietrich, Daniel Lohmann
  • Link
• [USENIX ATC 2023] Luci: Loader-based Dynamic Software Updates for Off-the-shelf Shared Objects
  
  • Authors: Bernhard Heinloth, Peter Wägemann, Wolfgang Schröder-Preikschat
  • Link
• [USENIX ATC 2023] zpoline: a system call hook mechanism based on binary rewriting
  
  • Authors: Kenichi Yasukata, Hajime Tazaki, Pierre-Louis Aublin, Kenta Ishiguro
  • Link
• [ASPLOS 2022] FlexOS: towards flexible OS isolation
  
  • Authors: Hugo Lefeuvre, Vlad-Andrei Bădoiu, Alexander Jung, Stefan Lucian Teodorescu, Sebastian Rauch, Felipe Huici, Costin Raiciu, Pierre Olivier
  • Link
• [EuroSys 2022] Kite: lightweight critical service domains
  
  • Authors: A K M Fazla Mehrab, Ruslan Nikolaev, Binoy Ravindran
  • Link
• [ASPLOS 2021] CubicleOS: a library OS with software componentisation for practical isolation
  
  • Authors: Vasily A. Sartakov, Lluís Vilanova, Peter Pietzuch
  • Link
• [EuroSys 2021] Memory-mapped I/O on steroids
  
  • Authors: Anastasios Papagiannis, Manolis Marazakis, Angelos Bilas
  • Link
• [EuroSys 2021] Mitigating vulnerability windows with hypervisor transplant
  
  • Authors: Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont
  • Link
• [EuroSys 2021] On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications
  
  • Authors: Kaiyang Zhao, Sishuai Gong, Pedro Fonseca
  • Link
• [EuroSys 2021] Unikraft: fast, specialized unikernels the easy way
  
  • Authors: Simon Kuenzer, Vlad-Andrei Bădoiu, Hugo Lefeuvre, Sharan Santhanam, Alexander Jung, Gaulthier Gain, Cyril Soldani, Costin Lupu, Ştefan Teodorescu, Costi Răducanu, Cristian Banu, Laurent Mathy, Răzvan Deaconescu, Costin Raiciu, Felipe Huici
  • Link
• [EuroSys 2021] Virtual machine preserving host updates for zero day patching in public cloud
  
  • Authors: Mark Russinovich, Naga Govindaraju, Melur Raghuraman, David Hepkin, Jamie Schwartz, Arun Kishan
  • Link
• [OSDI 2021] NrOS: Effective Replication and Sharing in an Operating System
  
  • Authors: Ankit Bhardwaj, Chinmay Kulkarni, Reto Achermann, Irina Calciu, Sanidhya Kashyap, Ryan Stutsman, Amy Tai, Gerd Zellweger
  • Link
• [OSDI 2021] The nanoPU: A Nanosecond Network Stack for Datacenters
  
  • Authors: Stephen Ibanez, Alex Mallery, Serhat Arslan, Theo Jepsen, Muhammad Shahbaz, Changhoon Kim, Nick McKeown
  • Link
• [SOSP 2021] TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM
  
  • Authors: Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan
  • Link
• [EuroSys 2020] A Linux in unikernel clothing
  
  • Authors: Hsuan-Chi Kuo, Dan Williams, Ricardo Koller, Sibin Mohan
  • Link
• [EuroSys 2020] Design of a symbolically executable embedded hypervisor
  
  • Authors: Jan Nordholz
  • Link
• [EuroSys 2020] Don't shoot down TLB shootdowns!
  
  • Authors: Nadav Amit, Amy Tai, Michael Wei
  • Link
• [EuroSys 2020] Scalable range locks for scalable address spaces and beyond
  
  • Authors: Alex Kogan, Dave Dice, Shady Issa
  • Link
• [OSDI 2020] RedLeaf: Isolation and Communication in a Safe Operating System
  
  • Authors: Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev
  • Link
• [OSDI 2020] Theseus: an Experiment in Operating System Structure and State Management
  
  • Authors: Kevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong
  • Link
• [USENIX ATC 2020] Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication
  
  • Authors: Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen
  • Link
• [ASPLOS 2019] HawkEye: Efficient Fine-grained OS Support for Huge Pages
  
  • Authors: Ashish Panwar, Sorav Bansal, K. Gopinath
  • Link
• [EuroSys 2019] LockDoc: Trace-Based Analysis of Locking in the Linux Kernel
  
  • Authors: Alexander Lochmann, Horst Schirmeier, Hendrik Borghorst, Olaf Spinczyk
  • Link
• [EuroSys 2019] SkyBridge: Fast and Secure Inter-Process Communication for Microkernels
  
  • Authors: Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, Haibo Chen
  • Link
• [SOSP 2019] Snap: a microkernel approach to host networking
  
  • Authors: Michael Marty, Marc de Kruijf, Jacob Adriaens, Christopher Alfeld, Sean Bauer, Carlo Contavalli, Michael Dalton, Nandita Dukkipati, William C. Evans, Steve Gribble, Nicholas Kidd, Roman Kononov, Gautam Kumar, Carl Mauer, Emily Musick, Lena Olson, Erik Rubow, Michael Ryan, Kevin Springborn, Paul Turner, Valas Valancius, Xi Wang, Amin Vahdat
  • Link
• [EuroSys 2018] A scalable ordering primitive for multicore machines
  
  • Authors: Sanidhya Kashyap, Changwoo Min, Kangnyeon Kim, Taesoo Kim
  • Link
• [EuroSys 2018] Accelerating critical OS services in virtualized systems with flexible micro-sliced cores
  
  • Authors: Jeongseob Ahn, Chang Hyun Park, Taekyung Heo, Jaehyuk Huh
  • Link
• [EuroSys 2018] RTVirt: enabling time-sensitive computing on virtualized systems through cross-layer CPU scheduling
  
  • Authors: Ming Zhao, Jorge Cabrera
  • Link
• [EuroSys 2018] Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time
  
  • Authors: Anna Lyons, Kent McLeod, Hesham Almatary, Gernot Heiser
  • Link
• [OSDI 2018] LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation
  
  • Authors: Yizhou Shan, Yutong Huang, Yilun Chen, Yiying Zhang
  • Link, Code
• [OSDI 2018] The benefits and costs of writing a POSIX kernel in a high-level language
  
  • Authors: Cody Cutler, M. Frans Kaashoek, Robert T. Morris
  • Link
• [USENIX ATC 2018] KylinX: A Dynamic Library Operating System for Simplified and Efficient Cloud Virtualization
  
  • Authors: Yiming Zhang, Jon Crowcroft, Dongsheng Li, Chengfen Zhang, Huiba Li, Yaozheng Wang, Kai Yu, Yongqiang Xiong, Guihai Chen
  • Link
• [EuroSys 2017] The lock holder and the lock waiter pre-emption problems: nip them in the bud using informed spinlocks (I-Spinlock)
  
  • Authors: Boris Teabe, Vlad Nitu, Alain Tchana, Daniel Hagimont
  • Link
• [SOSP 2017] ffwd: delegation is (much) faster than you think
  
  • Authors: Sepideh Roghanchi, Jakob Eriksson, Nilanjana Basu
  • Link
• [USENIX ATC 2017] Optimizing the TLB Shootdown Algorithm with Page Access Tracking
  
  • Authors: Nadav Amit
  • Link
• [ASPLOS 2016] SpaceJMP: Programming with Multiple Virtual Address Spaces
  
  • Authors: Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei Hwu, Timothy Roscoe, Karsten Schwan
  • Link
• [EuroSys 2016] Shared address translation revisited
  
  • Authors: Xiaowan Dong, Sandhya Dwarkadas, Alan L. Cox
  • Link
• [OSDI 2016] Coordinated and Efficient Huge Page Management with Ingens
  
  • Authors: Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, Emmett Witchel
  • Link
• [OSDI 2016] EbbRT: A Framework for Building Per-Application Library Operating Systems
  
  • Authors: Dan Schatzberg, James Cadden, Han Dong, Orran Krieger, Jonathan Appavoo
  • Link
• [OSDI 2016] Light-Weight Contexts: An OS Abstraction for Safety and Performance
  
  • Authors: James Litton, Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Bobby Bhattacharjee, Peter Druschel
  • Link
• [OSDI 2016] Machine-Aware Atomic Broadcast Trees for Multicores
  
  • Authors: Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe
  • Link
• [USENIX ATC 2016] Instant OS Updates via Userspace Checkpoint-and-Restart
  
  • Authors: Sanidhya Kashyap, Changwoo Min, Byoungyoung Lee, Taesoo Kim, Pavel Emelyanov
  • Link