Media Summary: MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation Sam Kumar, David E. Culler, and Raluca Ada Popa, University ... Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing Youngseok Yang, Seoul National University; ... Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads John Thorpe, ...
Osdi 21 Dmon Efficient Detection - Detailed Analysis & Overview
MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation Sam Kumar, David E. Culler, and Raluca Ada Popa, University ... Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing Youngseok Yang, Seoul National University; ... Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads John Thorpe, ... MonoNN: Enabling a New Monolithic Optimization Space for Neural Network Inference Tasks on Modern GPU-Centric ... Decouple and Decompose: Scaling Resource Allocation with DeDe Zhiying Xu and Minlan Yu, Harvard University; Francis Y. Yan ... Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs Tony Nuda Zhang, ...
