Conferences

Search results

    TitleConferenceSpeaker(s)
    Semeru: A Memory-Disaggregated Managed RuntimeOSDI '20Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
    Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernelOSDI '20Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang
    Toward a Generic Fault Tolerance Technique for Partial Network PartitioningOSDI '20Mohammed Alfatafta, Basil Alkhatib, Ahmed Alquraan, Samer Al-Kiswany
    CrossFS: A Cross-layered Direct-Access File SystemOSDI '20Yujie Ren, Changwoo Min, Sudarsun Kannan
    FlightTracker: Consistency across Read-Optimized Online Stores at FacebookOSDI '20Xiao Shi, Scott Pruett, Kevin Doherty, Jinyu Han, Dmitri Petrov, Jim Carrig, John Hugg, Nathan Bronson
    Cobra: Making Transactional Key-Value Stores Verifiably SerializableOSDI '20Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish
    Caladan: Mitigating Interference at Microsecond TimescalesOSDI '20Joshua Fried, Zhenyuan Ruan, Amy Ousterhout, Adam Belay
    Kvell+: Snapshot Isolation without SnapshotsOSDI '20Baptiste Lepers, Oana Balmau, Karan Gupta, Willy Zwaenepoel
    LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural NetworkOSDI '20Mingzhe Hao, Levent Toksoz, Nanqinqin Li, Edward Edberg Halim, Henry Hoffmann, Haryadi S. Gunawi
    Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation LayerOSDI '20Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen
    Theseus: an Experiment in Operating System Structure and State ManagementOSDI '20Kevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong
    Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence DirectoriesOSDI '20Jialin Li, Jacob Nelson, Ellis Michael, Xin Jin, Dan R. K. Ports
    Overload Control for µs-scale RPCs with BreakwaterOSDI '20Inho Cho, Ahmed Saeed, Joshua Fried, Seo Jin Park, Mohammad Alizadeh, Adam Belay
    PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancyOSDI '20Saurabh Kadekodi, Francisco Maturana, Suhas Jayaram Subramanya, Juncheng Yang, K. V. Rashmi, Gregory R. Ganger
    A large scale analysis of hundreds of in-memory cache clusters at TwitterOSDI '20Juncheng Yang, Yao Yue, K. V. Rashmi
    AIFM: High-Performance, Application-Integrated Far MemoryOSDI '20Zhenyuan Ruan, Malte Schwarzkopf, Marcos K. Aguilera, Adam Belay
    Performance-Optimal Read-Only TransactionsOSDI '20Haonan Lu, Siddhartha Sen, Wyatt Lloyd
    Fast RDMA-based Ordered Key-Value Store using Remote Learned CacheOSDI '20Xingda Wei, Rong Chen, Haibo Chen
    RedLeaf: Isolation and Communication in a Safe Operating SystemOSDI '20Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev
    A Simpler and Faster NIC Driver Model for Network FunctionsOSDI '20Solal Pirelli, George Candea
    Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data QueriesOSDI '20Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar
    From WiscKey to Bourbon: A Learned Index for Log-Structured Merge TreesOSDI '20Yifan Dai, Yien Xu, Aishwarya Ganesan, Ramnatthan Alagappan, Brian Kroth, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau
    Storage Systems are Distributed Systems (So Verify Them That Way!)OSDI '20Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
    PANIC: A High-Performance Programmable NIC for Multi-tenant NetworksOSDI '20Jiaxin Lin, Kiran Patel, Brent E. Stephens, Anirudh Sivaraman, Aditya Akella
    Building Scalable and Flexible Cluster Managers Using Declarative ProgrammingOSDI '20Lalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch

Pages