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 | 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 |
OSDI '20 | Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads | Deepak Narayanan, Keshav Santhanam, Fiodar Kazhamiaka, Amar Phanishayee, Matei Zaharia |
OSDI '20 | SafetyPin: Encrypted Backups with Human-Memorable Secrets | Emma Dauterman, Henry Corrigan-Gibbs, David Mazières |
OSDI '20 | Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution | Yigong Hu, Gongqi Huang, Peng Huang |
OSDI '20 | KungFu: Making Training in Distributed Machine Learning Adaptive | Luo Mai, Guo Li, Marcel Wagenländer, Konstantinos Fertakis, Andrei-Octavian Brabete, Peter Pietzuch |
OSDI '20 | A Tensor Compiler for Unified Machine Learning Prediction Serving | Supun Nakandala, Karla Saur, Gyeong-In Yu, Konstantinos Karanasos, Carlo Curino, Markus Weimer, Matteo Interlandi |
OSDI '20 | FIRM: An Intelligent Fine-grained Resource Management Framework for SLO-Oriented Microservices | Haoran Qiu, Subho S. Banerjee, Saurabh Jha, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer |
OSDI '20 | Theseus: an Experiment in Operating System Structure and State Management | Kevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong |
OSDI '20 | Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories | Jialin Li, Jacob Nelson, Ellis Michael, Xin Jin, Dan R. K. Ports |
OSDI '20 | Achieving 100Gbps Intrusion Prevention on a Single Server | Zhipeng Zhao, Hugo Sadok, Nirav Atre, James C. Hoe, Vyas Sekar, Justine Sherry |
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 |