Conferences

Search results

    TitleConferenceSpeaker(s)
    When will my ML Job finish? Toward providing Completion Time Estimates through Predictability-Centric SchedulingOSDI '24
    Optimizing Resource Allocation in Hyperscale Datacenters: Scalability, Usability, and ExperiencesOSDI '24Neeraj Kumar, Pol Mauri Ruiz, Vijay Menon, Igor Kabiljo, Mayank Pundir, Andrew Newell, Daniel Lee, Liyuan Wang, Chunqiang Tang
    ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production TestingOSDI '24Mike Chow, Yang Wang, William Wang, Ayichew Hailu, Rohan Bopardikar, Bin Zhang, Jialiang Qu, David Meisner, Santosh Sonawane, Yunqi Zhang, Rodrigo Paim, Mack Ward, Ivor Huang, Matt McNally, Daniel Hodges, Zoltan Farkas, Caner Gocmen, Elvis Huang, Chunqiang Tang
    MAST: Global Scheduling of ML Training across Geo-Distributed Datacenters at HyperscaleOSDI '24Arnab Choudhury, Yang Wang, Tuomas Pelkonen, Kutta Srinivasan, Abha Jain, Shenghao Lin, Delia David, Siavash Soleimanifard, Michael Chen, Abhishek Yadav, Ritesh Tijoriwala, Denis Samoylov, Chunqiang Tang
    Automatically Reasoning About How Systems Code Uses the CPU CacheOSDI '24Rishabh Iyer, Katerina Argyraki, George Candea
    VeriSMo: A Verified Security Module for Confidential VMsOSDI '24Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
    Validating the eBPF Verifier via State EmbeddingOSDI '24Hao Sun, Zhendong Su
    Using Dynamically Layered Definite Releases for Verifying the RefFS File SystemOSDI '24Mo Zou, Dong Du, Mingkai Dong, Haibo Chen
    Anvil: Verifying Liveness of Cluster Management ControllersOSDI '24Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu
    DSig: Breaking the Barrier of Signatures in Data CentersOSDI '24Marcos K. Aguilera, Clément Burgelin, Rachid Guerraoui, Antoine Murat, Athanasios Xygkis, Igor Zablotchi
    Ransom Access Memories: Achieving Practical Ransomware Protection in Cloud with DeftPunkOSDI '24Zhongyu Wang, Yaheng Song, Erci Xu, Haonan Wu, Guangxun Tong, Shizhuo Sun, Haoran Li, Jincheng Liu, Lijun Ding, Rong Liu, Jiaji Zhu, Jiesheng Wu
    Secret Key Recovery in a Global-Scale End-to-End Encryption SystemOSDI '24Graeme Connell, Vivian Fang, Rolfe Schmidt, Emma Dauterman, Raluca Ada Popa
    FairyWREN: A Sustainable Cache for Emerging Write-Read-Erase Flash InterfacesOSDI '24Sara McAllister, Yucong "Sherry" Wang, Benjamin Berg, Daniel S. Berger, George Amvrosiadis, Nathan Beckmann, Gregory R. Ganger
    Massively Parallel Multi-Versioned Transaction ProcessingOSDI '24Shujian Qian, Ashvin Goel
    Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated MemoryOSDI '24Ming Zhang, Yu Hua, Zhijun Yang
    Detecting Logic Bugs in Database Engines via Equivalent Expression TransformationOSDI '24Zu-Ming Jiang, Zhendong Su
    Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol ProofsOSDI '24Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno
    Performance Interfaces for Hardware AcceleratorsOSDI '24Jiacheng Ma, Rishabh Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea
    IronSpec: Increasing the Reliability of Formal SpecificationsOSDI '24Eli Goldweber, Weixin Yu, Seyed Armin Vakil Ghahani, Manos Kapritsos
    Identifying On-/Off-CPU Bottlenecks Together with Blocked SamplesOSDI '24Minwoo Ahn, Jeongmin Han, Youngjin Kwon, Jinkyu Jeong
    μSlope: High Compression and Fast Search on Semi-Structured LogsOSDI '24Rui Wang, Devin Gibson, Kirk Rodrigues, Yu Luo, Yun Zhang, Kaibo Wang, Yupeng Fu, Ting Chen, Ding Yuan
    Scaling AI Sustainably: An Uncharted TerritoryUSENIX ATC '24Carole-Jean Wu
    dLoRA: Dynamically Orchestrating Requests and Adapters for LoRA LLM ServingOSDI '24Bingyang Wu, Ruidong Zhu, Zili Zhang, Peng Sun, Xuanzhe Liu, Xin Jin
    Parrot: Efficient Serving of LLM-based Applications with Semantic VariableOSDI '24Chaofan Lin, Zhenhua Han, Chengruidong Zhang, Yuqing Yang, Fan Yang, Chen Chen, Lili Qiu
    USHER: Holistic Interference Avoidance for Resource Optimized ML InferenceOSDI '24Sudipta Saha Shubha, Haiying Shen, Anand Iyer

Pages