| Lustre in Kubernetes | Vault '20 | Dan Lambright, Nakul Vankadari Ramesh, Akriti Bhat, Anand Kumar |
| Understanding Kubernetes Storage: Getting in Deep by Writing a CSI Driver | Vault '20 | Gerry Seidman |
| Using kAFS on Linux for Network Home Directories | Vault '20 | Jonathan Billings |
| Implementing SMB Semantics in a Linux Cluster | Vault '20 | Volker Lendecke |
| What's New in Samba? | Vault '20 | Jeremy Allison |
| Accelerating Filesystem Checking and Repair with pFSCK | Vault '20 | David Domingo, Sudarsun Kannan |
| Key Per IO Security Subsystem Class for NVM Express Storage Devices | Vault '20 | Sridhar Balasubramanian, Frederick Knight |
| Speeding Up Linux Disk Encryption | Vault '20 | Ignat Korchagin |
| The Two New I/O Controllers and BFQ | Vault '20 | Paolo Valente |
| Using Linux Block Integrity in Building and Testing Storage Systems | Vault '20 | Mikhail Malygin |
| Experiences with Modeling Network Topologies at Multiple Levels of Abstraction | NSDI '20 | Jeffrey C. Mogul, Drago Goricanec, Martin Pool, Anees Shaikh, Douglas Turk, Bikash Koley, Xiaoxue Zhao |
| Frequency Configuration for Low-Power Wide-Area Networks in a Heartbeat | NSDI '20 | Akshay Gadre, Revathy Narayanan, Anh Luong, Anthony Rowe, Bob Iannucci, Swarun Kumar |
| Re-architecting Congestion Management in Lossless Ethernet | NSDI '20 | Wenxue Cheng, Kun Qian, Wanchun Jiang, Tong Zhang, Fengyuan Ren |
| Network Error Logging: Client-side measurement of end-to-end web service reliability | NSDI '20 | Sam Burnett, Lily Chen, Douglas A. Creager, Misha Efimov, Ilya Grigorik, Ben Jones, Harsha V. Madhyastha, Pavlos Papageorge, Brian Rogan, Charles Stahl, Julia Tuttle |
| Gandalf: An Intelligent, End-To-End Analytics Service for Safe Deployment in Large-Scale Cloud Infrastructure | NSDI '20 | Ze Li, Qian Cheng, Ken Hsieh, Yingnong Dang, Peng Huang, Pankaj Singh, Xinsheng Yang, Qingwei Lin, Youjiang Wu, Sebastien Levy, Murali Chintalapati |
| Fine-Grained Replicated State Machines for a Cluster Storage System | NSDI '20 | Ming Liu, Arvind Krishnamurthy, Harsha V. Madhyastha, Rishi Bhardwaj, Karan Gupta, Chinmay Kamat, Huapeng Yuan, Aditya Jaltade, Roger Liao, Pavan Konka, Anoop Jawahar |
| Meaningful Availability | NSDI '20 | Tamás Hauer, Philipp Hoffmann, John Lunney, Dan Ardelean, Amer Diwan |
| SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues | NSDI '20 | Albert Gran Alcoz, Alexander Dietmüller, Laurent Vanbever |
| NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification | NSDI '20 | Yifei Yuan, Soo-Jin Moon, Sahil Uppal, Limin Jia, Vyas Sekar |
| TinySDR: Low-Power SDR Platform for Over-the-Air Programmable IoT Testbeds | NSDI '20 | Mehrdad Hessar, Ali Najafi, Vikram Iyer, Shyamnath Gollakota |
| Liveness Verification of Stateful Network Functions | NSDI '20 | Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani, Aditya Akella |
| Check before You Change: Preventing Correlated Failures in Service Updates | NSDI '20 | Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang |
| Automated Verification of Customizable Middlebox Properties with Gravel | NSDI '20 | Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang |
| APKeep: Realtime Verification for Real Networks | NSDI '20 | Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, Hao Li |
| Plankton: Scalable network configuration verification through model checking | NSDI '20 | Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar |
