Media Summary: 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, ... MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation Sam Kumar, David E. Culler, and Raluca Ada Popa, University ...
Osdi 21 Dmon Efficient Detection - Detailed Analysis & Overview
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, ... MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation Sam Kumar, David E. Culler, and Raluca Ada Popa, University ... Decouple and Decompose: Scaling Resource Allocation with DeDe Zhiying Xu and Minlan Yu, Harvard University; Francis Y. Yan ... Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering Shreesha G. Bhat, Tony Hong, Xuhao Luo, Jiyu ... Llumnix: Dynamic Scheduling for Large Language Model Serving Biao Sun, Ziming Huang, Hanyu Zhao, Wencong Xiao, Xinyi ...
MonoNN: Enabling a New Monolithic Optimization Space for Neural Network Inference Tasks on Modern GPU-Centric ... Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols Tony Nuda Zhang and Keshav Singh, ... Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs Tony Nuda Zhang, ... Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory Ming Zhang, Yu Hua, and Zhijun Yang, ...
