| OSDI '20 | Providing SLOs for Resource-Harvesting VMs in Cloud Platforms | Pradeep Ambati, Íñigo Goiri, Felipe Frujeri, Alper Gun, Ke Wang, Brian Dolan, Brian Corell, Sekhar Pasupuleti, Thomas Moscibroda, Sameh Elnikety, Marcus Fontoura, Ricardo Bianchini |
| OSDI '20 | Storage Systems are Distributed Systems (So Verify Them That Way!) | Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno |
| 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 | hXDP: Efficient Software Packet Processing on FPGA NICs | Marco Spaziani Brunella, Giacomo Belocchi, Marco Bonola, Salvatore Pontarelli, Giuseppe Siracusano, Giuseppe Bianchi, Aniello Cammarano, Alessandro Palumbo, Luca Petrucci, Roberto Bifulco |
| 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 | Protean: VM Allocation Service at Scale | Ori Hadary, Luke Marshall, Ishai Menache, Abhisek Pan, Esaias E Greeff, David Dion, Star Dorminey, Shailesh Joshi, Yang Chen, Mark Russinovich, Thomas Moscibroda |
| OSDI '20 | Orchard: Differentially Private Analytics at Scale | Edo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce |
| OSDI '20 | Building Scalable and Flexible Cluster Managers Using Declarative Programming | Lalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch |
| OSDI '20 | Semeru: A Memory-Disaggregated Managed Runtime | Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu |
| 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 | Twine: A Unified Cluster Management System for Shared Infrastructure | Chunqiang Tang, Kenny Yu, Kaushik Veeraraghavan, Jonathan Kaldor, Scott Michelson, Thawan Kooburat, Aravind Anbudurai, Matthew Clark, Kabir Gogia, Long Cheng, Ben Christensen, Alex Gartrell, Maxim Khutornenko, Sachin Kulkarni, Marcin Pawlowski, Tuomas Pelkonen, Andre Rodrigues, Rounak Tibrewal, Vaishnavi Venkatesan, Peter Zhang |
| 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 | Virtual Consensus in Delos | Mahesh Balakrishnan, Jason Flinn, Chen Shen, Mihir Dharamshi, Ahmed Jafri, Xiao Shi, Santosh Ghosh, Hazem Hassan, Aaryaman Sagar, Rhed Shi, Jingming Liu, Filip Gruszczynski, Xianan Zhang, Huy Hoang, Ahmed Yossef, Francois Richard, Yee Jiun Song |
| OSDI '20 | Ansor: Generating High-Performance Tensor Programs for Deep Learning | Lianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Hao Yu, Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, Koushik Sen, Joseph E. Gonzalez, Ion Stoica |
| OSDI '20 | Assise: Performance and Availability via Client-local NVM in a Distributed File System | Thomas E. Anderson, Marco Canini, Jongyul Kim, Dejan Kostić, Youngjin Kwon, Simon Peter, Waleed Reda, Henry N. Schuh, Emmett Witchel |
| OSDI '20 | Serving DNNs like Clockwork: Performance Predictability from the Bottom Up | Arpan Gujarati, Reza Karimi, Safya Alzayat, Wei Hao, Antoine Kaufmann, Ymir Vigfusson, Jonathan Mace |
| OSDI '20 | PipeSwitch: Fast Pipelined Context Switching for Deep Learning Applications | Zhihao Bai, Zhen Zhang, Yibo Zhu, Xin Jin |
| OSDI '20 | RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers | Hang Zhu, Kostis Kaffes, Zixu Chen, Zhenming Liu, Christos Kozyrakis, Ion Stoica, Xin Jin |
| OSDI '20 | CrossFS: A Cross-layered Direct-Access File System | Yujie Ren, Changwoo Min, Sudarsun Kannan |
| OSDI '20 | Unearthing inter-job dependencies for better cluster scheduling | Andrew Chung, Subru Krishnan, Konstantinos Karanasos, Carlo Curino, Gregory R. Ganger |
| OSDI '20 | Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale | Shaohong Li, Xi Wang, Xiao Zhang, Vasileios Kontorinis, Sreekumar Kodakara, David Lo, Parthasarathy Ranganathan |
| OSDI '20 | Microsecond Consensus for Microsecond Applications | Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Athanasios Xygkis, Igor Zablotchi |
| OSDI '20 | FlightTracker: Consistency across Read-Optimized Online Stores at Facebook | Xiao Shi, Scott Pruett, Kevin Doherty, Jinyu Han, Dmitri Petrov, Jim Carrig, John Hugg, Nathan Bronson |
