Papers

Search results

    ConferenceTitleAuthor(s)
    OSDI '20Persistent State Machines for Recoverable In-memory Storage Systems with NVRamWen Zhang, Scott Shenker, Irene Zhang
    OSDI '20Fault-tolerant and transactional stateful serverless workflowsHaoran Zhang, Adney Cardoza, Peter Baile Chen, Sebastian Angel, Vincent Liu
    OSDI '20Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernelLuke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang
    OSDI '20Toward a Generic Fault Tolerance Technique for Partial Network PartitioningMohammed Alfatafta, Basil Alkhatib, Ahmed Alquraan, Samer Al-Kiswany
    OSDI '20CrossFS: A Cross-layered Direct-Access File SystemYujie Ren, Changwoo Min, Sudarsun Kannan
    OSDI '20Cobra: Making Transactional Key-Value Stores Verifiably SerializableCheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish
    OSDI '20Caladan: Mitigating Interference at Microsecond TimescalesJoshua Fried, Zhenyuan Ruan, Amy Ousterhout, Adam Belay
    OSDI '20LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural NetworkMingzhe Hao, Levent Toksoz, Nanqinqin Li, Edward Edberg Halim, Henry Hoffmann, Haryadi S. Gunawi
    OSDI '20Theseus: an Experiment in Operating System Structure and State ManagementKevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong
    OSDI '20Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence DirectoriesJialin Li, Jacob Nelson, Ellis Michael, Xin Jin, Dan R. K. Ports
    OSDI '20Overload Control for µs-scale RPCs with BreakwaterInho Cho, Ahmed Saeed, Joshua Fried, Seo Jin Park, Mohammad Alizadeh, Adam Belay
    OSDI '20A large scale analysis of hundreds of in-memory cache clusters at TwitterJuncheng Yang, Yao Yue, K. V. Rashmi
    OSDI '20Performance-Optimal Read-Only TransactionsHaonan Lu, Siddhartha Sen, Wyatt Lloyd
    OSDI '20A Simpler and Faster NIC Driver Model for Network FunctionsSolal Pirelli, George Candea
    OSDI '20From WiscKey to Bourbon: A Learned Index for Log-Structured Merge TreesYifan Dai, Yien Xu, Aishwarya Ganesan, Ramnatthan Alagappan, Brian Kroth, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau
    OSDI '20PANIC: A High-Performance Programmable NIC for Multi-tenant NetworksJiaxin Lin, Kiran Patel, Brent E. Stephens, Anirudh Sivaraman, Aditya Akella
    OSDI '20Gauntlet: Finding Bugs in Compilers for Programmable Packet ProcessingFabian Ruffy, Tao Wang, Anirudh Sivaraman
    OSDI '20Aragog: Scalable Runtime Verification of Shardable Networked SystemsNofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu
    OSDI '20Testing Database Engines via Pivoted Query SynthesisManuel Rigger, Zhendong Su
    OSDI '20Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning WorkloadsDeepak Narayanan, Keshav Santhanam, Fiodar Kazhamiaka, Amar Phanishayee, Matei Zaharia
    OSDI '20Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic ExecutionYigong Hu, Gongqi Huang, Peng Huang
    OSDI '20FIRM: An Intelligent Fine-grained Resource Management Framework for SLO-Oriented MicroservicesHaoran Qiu, Subho S. Banerjee, Saurabh Jha, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer
    OSDI '20Byzantine Ordered Consensus without Byzantine OligarchyYunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
    OSDI '20Write Dependency Disentanglement with HORAEXiaojian Liao, Youyou Lu, Erci Xu, Jiwu Shu
    OSDI '20AntMan: Dynamic Scaling on GPU Clusters for Deep LearningWencong Xiao, Shiru Ren, Yong Li, Yang Zhang, Pengyang Hou, Zhi Li, Yihui Feng, Wei Lin, Yangqing Jia

Pages