Media Summary: Tolerating Slowdowns in Replicated State Machines using Copilots Khiem Ngo, Princeton University; Siddhartha Sen, Microsoft ... Do OS abstractions make sense on FPGAs? Dario Korolija, Timothy Roscoe, and Gustavo Alonso, ETH Zurich Hybrid computing ... RedLeaf: Isolation and Communication in a Safe Operating System Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan ...
Osdi 20 Virtual Consensus In - Detailed Analysis & Overview
Tolerating Slowdowns in Replicated State Machines using Copilots Khiem Ngo, Princeton University; Siddhartha Sen, Microsoft ... Do OS abstractions make sense on FPGAs? Dario Korolija, Timothy Roscoe, and Gustavo Alonso, ETH Zurich Hybrid computing ... RedLeaf: Isolation and Communication in a Safe Operating System Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan ... In the 40th reading group meeting we have discussed yet another Protean: VM Allocation Service at Scale Ori Hadary, Luke Marshall, Ishai Menache, Abhisek Pan, Esaias E Greeff, David Dion, ... Delos is a control plane storage platform used within Facebook. Delos employs a novel technique called
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing Fabian Ruffy, Tao Wang, and Anirudh Sivaraman, New ... Aragog: Scalable Runtime Verification of Distributed Middleboxes Nofel Yaseen, University of Pennsylvania; Behnaz Arzani and ... Twine: a Unified Cluster Management System for Shared Infrastructure Chunqiang Tang, Kenny Yu, Kaushik Veeraraghavan, ... Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks Lingxiao Ma, Peking University and Microsoft ...
