Media Summary: Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract Jonathan Behrens, Anton Cao, Cel ... Fault-tolerant and transactional stateful serverless workflows Haoran Zhang, University of Pennsylvania; Adney Cardoza, Rutgers ... Aragog: Scalable Runtime Verification of Distributed Middleboxes Nofel Yaseen, University of Pennsylvania; Behnaz Arzani and ...
Osdi 20 Determinizing Crash Behavior - Detailed Analysis & Overview
Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract Jonathan Behrens, Anton Cao, Cel ... Fault-tolerant and transactional stateful serverless workflows Haoran Zhang, University of Pennsylvania; Adney Cardoza, Rutgers ... Aragog: Scalable Runtime Verification of Distributed Middleboxes Nofel Yaseen, University of Pennsylvania; Behnaz Arzani and ... Testing Configuration Changes in Context to Prevent Production Failures Xudong Sun, Runxiang Cheng, Jianyan Chen, and ... SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs Jiang Zhang, University of Southern California; Shuai ... This is the Slides Study Edition of Series 3, Episode
Specification, implementation, and verification of just-in-time compilers for an in-kernel virtual machine Luke Nelson, Jacob Van ... SoK: Sanitizing for Security - Dokyung Song Presented at the 2019 IEEE Symposium on Security & Privacy May SquirrelFS: using the Rust compiler to check file-system A large scale analysis of hundreds of in-memory cache clusters at Twitter Juncheng Yang, Carnegie Mellon University; Yao Yue, ... Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering Shreesha G. Bhat, Tony Hong, Xuhao Luo, Jiyu ... Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems Chang Lou, University of ...
Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing Youngseok Yang, Seoul National University; ... DistServe: Disaggregating Prefill and Decoding for Goodput-optimized Large Language Model Serving Yinmin Zhong and ...
