Media Summary: Do OS abstractions make sense on FPGAs? Dario Korolija, Timothy Roscoe, and Gustavo Alonso, ETH Zurich Hybrid computing ... In the 40th reading group meeting we have discussed yet another RedLeaf: Isolation and Communication in a Safe Operating System Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan ...
Osdi 20 Virtual Consensus In - Detailed Analysis & Overview
Do OS abstractions make sense on FPGAs? Dario Korolija, Timothy Roscoe, and Gustavo Alonso, ETH Zurich Hybrid computing ... In the 40th reading group meeting we have discussed yet another RedLeaf: Isolation and Communication in a Safe Operating System Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan ... Tolerating Slowdowns in Replicated State Machines using Copilots Khiem Ngo, Princeton University; Siddhartha Sen, Microsoft ... Twine: a Unified Cluster Management System for Shared Infrastructure Chunqiang Tang, Kenny Yu, Kaushik Veeraraghavan, ... Protean: VM Allocation Service at Scale Ori Hadary, Luke Marshall, Ishai Menache, Abhisek Pan, Esaias E Greeff, David Dion, ...
RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers Hang Zhu, Johns Hopkins University; Kostis Kaffes, ... Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing Fabian Ruffy, Tao Wang, and Anirudh Sivaraman, New ... Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols Tony Nuda Zhang and Keshav Singh, ... DecDEC: A Systems Approach to Advancing Low-Bit LLM Quantization Yeonhong Park, Jake Hyun, Hojoon Kim, and Jae W. Lee, ... Aragog: Scalable Runtime Verification of Distributed Middleboxes Nofel Yaseen, University of Pennsylvania; Behnaz Arzani and ...
