| OSDI '20 | Aragog: Scalable Runtime Verification of Shardable Networked Systems | Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu |
| OSDI '20 | Fault-tolerant and transactional stateful serverless workflows | Haoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, 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 | Kvell+: Snapshot Isolation without Snapshots | Baptiste Lepers, Oana Balmau, Karan Gupta, Willy Zwaenepoel |
| OSDI '20 | Testing Database Engines via Pivoted Query Synthesis | Manuel Rigger, Zhendong Su |
| OSDI '20 | HiveD: Sharing a GPU Cluster for Deep Learning with Guarantees | Hanyu Zhao, Zhenhua Han, Zhi Yang, Quanlu Zhang, Fan Yang, Lidong Zhou, Mao Yang, Francis C.M. Lau, Yuqi Wang, Yifan Xiong, Bin Wang |
| OSDI '20 | Retiarii: A Deep Learning Exploratory-Training Framework | Quanlu Zhang, Zhenhua Han, Fan Yang, Yuge Zhang, Zhe Liu, Mao Yang, Lidong Zhou |
| 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 | DORY: An Encrypted Search System with Distributed Trust | Emma Dauterman, Eric Feng, Ellen Luo, Raluca Ada Popa, Ion Stoica |
| 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 | AGAMOTTO: How Persistent is your Persistent Memory Application? | Ian Neal, Ben Reeves, Ben Stoler, Andrew Quinn, Youngjin Kwon, Simon Peter, Baris Kasikci |
| OSDI '20 | Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer | Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen |
| OSDI '20 | FVM: FPGA-assisted Virtual Device Emulation for Fast, Scalable, and Flexible Storage Virtualization | Dongup Kwon, Junehyuk Boo, Dongryeong Kim, Jangwoo Kim |
| 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 | Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks | Lingxiao Ma, Zhiqiang Xie, Zhi Yang, Jilong Xue, Youshan Miao, Wei Cui, Wenxiang Hu, Fan Yang, Lintao Zhang, Lidong Zhou |
| 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 | From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes | Florian Rommel, Christian Dietrich, Birte Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann |
| OSDI '18 | ZebRAM: Comprehensive and Compatible Software Protection Against Rowhammer Attacks | Radhesh Krishnan Konoth, Marco Oliverio, Andrei Tatar, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida, Kaveh Razavi |
