Media Summary: Bringing Decentralized Search to Decentralized Services Mingyu Li, Jinhao Zhu, and Tianxu Zhang, Institute of Parallel and ... DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling Poor data locality hurts an ... Zeph: Cryptographic Enforcement of End-to-End Data Privacy Lukas Burkhalter, Nicolas Küchler, Alexander Viand, Hossein ...
Osdi 21 Finding Consensus Bugs - Detailed Analysis & Overview
Bringing Decentralized Search to Decentralized Services Mingyu Li, Jinhao Zhu, and Tianxu Zhang, Institute of Parallel and ... DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling Poor data locality hurts an ... Zeph: Cryptographic Enforcement of End-to-End Data Privacy Lukas Burkhalter, Nicolas Küchler, Alexander Viand, Hossein ... Polyjuice: High-Performance Transactions via Learned Concurrency Control Jiachen Wang, Institute of Parallel and Distributed ... MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation Sam Kumar, David E. Culler, and Raluca Ada Popa, University ... [Talk Preview] DIFUZZRTL: Differential Fuzz Testing to
In the 40th reading group meeting we have discussed yet another Large, production quality distributed systems still fail periodically, and do so sometimes catastrophically, where most or all users ... Validating the eBPF Verifier via State Embedding Hao Sun and Zhendong Su, ETH Zurich This paper introduces state embedding, ... Visit the to gain access to the entire library of Devcon talks with the ease of filtering, playlists, ...