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 '20Gauntlet: Finding Bugs in Compilers for Programmable Packet ProcessingFabian Ruffy, Tao Wang, Anirudh Sivaraman
    OSDI '20CrossFS: A Cross-layered Direct-Access File SystemYujie Ren, Changwoo Min, Sudarsun Kannan
    OSDI '20Aragog: Scalable Runtime Verification of Shardable Networked SystemsNofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu
    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 '20Testing Database Engines via Pivoted Query SynthesisManuel Rigger, Zhendong Su
    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 '20Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning WorkloadsDeepak Narayanan, Keshav Santhanam, Fiodar Kazhamiaka, Amar Phanishayee, Matei Zaharia
    OSDI '20SafetyPin: Encrypted Backups with Human-Memorable SecretsEmma Dauterman, Henry Corrigan-Gibbs, David Mazières
    OSDI '20Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic ExecutionYigong Hu, Gongqi Huang, Peng Huang
    OSDI '20KungFu: Making Training in Distributed Machine Learning AdaptiveLuo Mai, Guo Li, Marcel Wagenländer, Konstantinos Fertakis, Andrei-Octavian Brabete, Peter Pietzuch
    OSDI '20A Tensor Compiler for Unified Machine Learning Prediction ServingSupun Nakandala, Karla Saur, Gyeong-In Yu, Konstantinos Karanasos, Carlo Curino, Markus Weimer, Matteo Interlandi
    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 '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 '20Achieving 100Gbps Intrusion Prevention on a Single ServerZhipeng Zhao, Hugo Sadok, Nirav Atre, James C. Hoe, Vyas Sekar, Justine Sherry
    OSDI '20Do OS abstractions make sense on FPGAs?Dario Korolija, Timothy Roscoe, Gustavo Alonso
    OSDI '20Byzantine Ordered Consensus without Byzantine OligarchyYunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
    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

Pages