| OSDI '20 | Persistent State Machines for Recoverable In-memory Storage Systems with NVRam | Wen Zhang, Scott Shenker, Irene Zhang |
| OSDI '20 | Fault-tolerant and transactional stateful serverless workflows | Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, Vincent Liu |
| OSDI '20 | Do OS abstractions make sense on FPGAs? | Dario Korolija, Timothy Roscoe, Gustavo Alonso |
| OSDI '20 | Byzantine Ordered Consensus without Byzantine Oligarchy | Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi |
| OSDI '20 | Overload Control for µs-scale RPCs with Breakwater | Inho Cho, Ahmed Saeed, Joshua Fried, Seo Jin Park, Mohammad Alizadeh, Adam Belay |
| OSDI '20 | A large scale analysis of hundreds of in-memory cache clusters at Twitter | Juncheng Yang, Yao Yue, K. V. Rashmi |
| OSDI '20 | Performance-Optimal Read-Only Transactions | Haonan Lu, Siddhartha Sen, Wyatt Lloyd |
| OSDI '20 | Write Dependency Disentanglement with HORAE | Xiaojian Liao, Youyou Lu, Erci Xu, Jiwu Shu |
| OSDI '20 | A Simpler and Faster NIC Driver Model for Network Functions | Solal Pirelli, George Candea |
| OSDI '20 | AntMan: Dynamic Scaling on GPU Clusters for Deep Learning | Wencong Xiao, Shiru Ren, Yong Li, Yang Zhang, Pengyang Hou, Zhi Li, Yihui Feng, Wei Lin, Yangqing Jia |
| OSDI '20 | Blockene: A High-throughput Blockchain Over Mobile Devices | Sambhav Satija, Apurv Mehra, Sudheesh Singanamalla, Karan Grover, Muthian Sivathanu, Nishanth Chandran, Divya Gupta, Satya Lokam |
| OSDI '20 | From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees | Yifan Dai, Yien Xu, Aishwarya Ganesan, Ramnatthan Alagappan, Brian Kroth, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau |
| OSDI '20 | PANIC: A High-Performance Programmable NIC for Multi-tenant Networks | Jiaxin Lin, Kiran Patel, Brent E. Stephens, Anirudh Sivaraman, Aditya Akella |
| OSDI '20 | Tolerating Slowdowns in Replicated State Machines using Copilots | Khiem Ngo, Siddhartha Sen, Wyatt Lloyd |
| OSDI '20 | Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract | Jonathan Behrens, Anton Cao, Cel Skeggs, Adam Belay, M. Frans Kaashoek, Nickolai Zeldovich |
| OSDI '20 | Orchard: Differentially Private Analytics at Scale | Edo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce |
| OSDI '20 | Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel | Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang |
| OSDI '20 | Toward a Generic Fault Tolerance Technique for Partial Network Partitioning | Mohammed Alfatafta, Basil Alkhatib, Ahmed Alquraan, Samer Al-Kiswany |
| OSDI '20 | Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing | Fabian Ruffy, Tao Wang, Anirudh Sivaraman |
| OSDI '20 | CrossFS: A Cross-layered Direct-Access File System | Yujie Ren, Changwoo Min, Sudarsun Kannan |
| OSDI '20 | Aragog: Scalable Runtime Verification of Shardable Networked Systems | Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu |
| OSDI '20 | Cobra: Making Transactional Key-Value Stores Verifiably Serializable | Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish |
| OSDI '20 | Caladan: Mitigating Interference at Microsecond Timescales | Joshua Fried, Zhenyuan Ruan, Amy Ousterhout, Adam Belay |
| OSDI '20 | Testing Database Engines via Pivoted Query Synthesis | Manuel Rigger, Zhendong Su |
| OSDI '20 | LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network | Mingzhe Hao, Levent Toksoz, Nanqinqin Li, Edward Edberg Halim, Henry Hoffmann, Haryadi S. Gunawi |
