Papertalk - the platform for scientific paper presentations

Home
Papertalks
About
Help
Improve
Upload
Login
Register

Login Required

You have to login to use this feature.

Title Abstract

Keywords Authors

exact

OSDI 2020

Hide

Hide

Hide

Sort by:

70 papertalks found

04/11/2020

Cobra: Making Transactional Key-Value Stores Verifiably Serializable

Cheng Tan, Changgeng Zhao, Shuai Mu, Michael Walfish

Keywords Paper

0

0

0

0

18:25

04/11/2020

A Unified Architecture for Accelerating Distributed DNN Training in Heterogeneous GPU/CPU Clusters

Yimin Jiang, Yibo Zhu, Chang Lan and
Bairen Yi, Yong Cui, Chuanxiong Guo

Keywords Paper

0

0

0

0

19:36

04/11/2020

Persistent State Machines for Recoverable In-memory Storage Systems with NVRam

Wen Zhang, Scott Shenker, Irene Zhang

Keywords Paper

0

0

0

0

20:04

04/11/2020

Building Scalable and Flexible Cluster Managers Using Declarative Programming

Lalith Suresh, João Loff, Faria Kalim and
Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch

Keywords Paper

0

0

0

0

18:32

04/11/2020

PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancy

Saurabh Kadekodi, Francisco Maturana, Suhas Jayaram Subramanya and
Juncheng Yang, K. V. Rashmi, Gregory R. Ganger

Keywords Paper

0

0

0

0

19:08

04/11/2020

From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes

Florian Rommel, Christian Dietrich, Daniel Friesel and
Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann

Keywords Paper

0

0

0

0

18:59

04/11/2020

Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer

Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin and
Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen

Keywords Paper

0

0

0

0

19:48

04/11/2020

Serving DNNs like Clockwork: Performance Predictability from the Bottom Up

Arpan Gujarati, Reza Karimi, Safya Alzayat and
Wei Hao, Antoine Kaufmann, Ymir Vigfusson, Jonathan Mace

Keywords Paper

0

0

0

0

20:17

04/11/2020

AGAMOTTO: How Persistent is your Persistent Memory Application?

Ian Neal, Ben Reeves, Ben Stoler and
Andrew Quinn, Youngjin Kwon, Simon Peter, Baris Kasikci

Keywords Paper

0

0

0

0

18:32

04/11/2020

Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries

Partho Sarthi, Kaushik Rajan, Akash Lal and
Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar

Keywords Paper

0

0

0

0

19:05

04/11/2020

A Simpler and Faster NIC Driver Model for Network Functions

Solal Pirelli, George Candea

Keywords Paper

0

0

0

0

15:25

04/11/2020

PANIC: A High-Performance Programmable NIC for Multi-tenant Networks

Jiaxin Lin, Kiran Patel, Brent E. Stephens and
Anirudh Sivaraman, Aditya Akella

Keywords Paper

0

0

0

0

20:07

04/11/2020

Achieving 100Gbps Intrusion Prevention on a Single Server

Zhipeng Zhao, Hugo Sadok, Nirav Atre and
James C. Hoe, Vyas Sekar, Justine Sherry

Keywords Paper

0

0

0

0

19:15

04/11/2020

Kvell+: Snapshot Isolation without Snapshots

Baptiste Lepers, Oana Balmau, Karan Gupta, Willy Zwaenepoel

Keywords Paper

0

0

0

0

15:15

04/11/2020

Sundial: Fault-tolerant Clock Synchronization for Datacenters

Yuliang Li, Gautam Kumar, Hema Hariharan and
Hassan Wassel, Peter Hochschild, Dave Platt, Simon Sabato, Minlan Yu, Nandita Dukkipati, Prashant Chandra, Amin Vahdat

Keywords Paper

0

0

0

0

19:22

04/11/2020

Testing Database Engines via Pivoted Query Synthesis

Manuel Rigger, Zhendong Su

Keywords Paper

0

0

0

0

19:42

04/11/2020

KungFu: Making Training in Distributed Machine Learning Adaptive

Luo Mai, Guo Li, Marcel Wagenländer and
Konstantinos Fertakis, Andrei-Octavian Brabete, Peter Pietzuch

Keywords Paper

0

0

0

0

20:14

04/11/2020

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Emma Dauterman, Henry Corrigan-Gibbs, David Mazières

Keywords Paper

0

0

0

0

18:27

04/11/2020

Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories

Jialin Li, Jacob Nelson, Ellis Michael and
Xin Jin, Dan R. K. Ports

Keywords Paper

0

0

0

0

17:53

04/11/2020

DORY: An Encrypted Search System with Distributed Trust

Emma Dauterman, Eric Feng, Ellen Luo and
Raluca Ada Popa, Ion Stoica

Keywords Paper

0

0

0

0

19:28

04/11/2020

Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing

Fabian Ruffy, Tao Wang, Anirudh Sivaraman

Keywords Paper

0

0

0

0

20:09

04/11/2020

Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale

Shaohong Li, Xi Wang, Xiao Zhang and
Vasileios Kontorinis, Sreekumar Kodakara, David Lo, Parthasarathy Ranganathan

Keywords Paper

0

0

0

0

19:41

04/11/2020

FVM: FPGA-assisted Virtual Device Emulation for Fast, Scalable, and Flexible Storage Virtualization

Dongup Kwon, Junehyuk Boo, Dongryeong Kim, Jangwoo Kim

Keywords Paper

0

0

0

0

19:20

04/11/2020

Assise: Performance and Availability via Client-local NVM in a Distributed File System

Thomas E. Anderson, Marco Canini, Jongyul Kim and
Dejan Kostić, Youngjin Kwon, Simon Peter, Waleed Reda, Henry N. Schuh, Emmett Witchel

Keywords Paper

0

0

0

0

20:41

04/11/2020

The CacheLib Caching Engine: Design and Experiences at Scale

Benjamin Berg, Daniel S. Berger, Sara McAllister and
Isaac Grosof, Sathya Gunasekar, Jimmy Lu, Michael Uhlar, Jim Carrig, Nathan Beckmann, Mor Harchol-Balter, Gregory R. Ganger

Keywords Paper

0

0

0

0

18:30

04/11/2020

PipeSwitch: Fast Pipelined Context Switching for Deep Learning Applications

Zhihao Bai, Zhen Zhang, Yibo Zhu, Xin Jin

Keywords Paper

0

0

0

0

19:44

04/11/2020

Toward a Generic Fault Tolerance Technique for Partial Network Partitioning

Mohammed Alfatafta, Basil Alkhatib, Ahmed Alquraan, Samer Al-Kiswany

Keywords Paper

0

0

0

0

18:11

04/11/2020

Twine: A Unified Cluster Management System for Shared Infrastructure

Chunqiang Tang, Kenny Yu, Kaushik Veeraraghavan and
Jonathan Kaldor, Scott Michelson, Thawan Kooburat, Aravind Anbudurai, Matthew Clark, Kabir Gogia, Long Cheng, Ben Christensen, Alex Gartrell, Maxim Khutornenko, Sachin Kulkarni, Marcin Pawlowski, Tuomas Pelkonen, Andre Rodrigues, Rounak Tibrewal, Vaishnavi Venkatesan, Peter Zhang

Keywords Paper

0

0

0

0

18:52

04/11/2020

LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network

Mingzhe Hao, Levent Toksoz, Nanqinqin Li and
Edward Edberg Halim, Henry Hoffmann, Haryadi S. Gunawi

Keywords Paper

0

0

0

0

20:11

04/11/2020

FlightTracker: Consistency across Read-Optimized Online Stores at Facebook

Xiao Shi, Scott Pruett, Kevin Doherty and
Jinyu Han, Dmitri Petrov, Jim Carrig, John Hugg, Nathan Bronson

Keywords Paper

0

0

0

0

17:57

04/11/2020

RedLeaf: Isolation and Communication in a Safe Operating System

Vikram Narayanan, Tianjiao Huang, David Detweiler and
Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev

Keywords Paper

0

0

0

0

21:37

04/11/2020

Semeru: A Memory-Disaggregated Managed Runtime

Chenxi Wang, Haoran Ma, Shi Liu and
Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu

Keywords Paper

0

0

0

0

18:04

04/11/2020

Aragog: Scalable Runtime Verification of Shardable Networked Systems

Nofel Yaseen, Behnaz Arzani, Ryan Beckett and
Selim Ciraci, Vincent Liu

Keywords Paper

0

0

0

0

18:49

04/11/2020

Predictive and Adaptive Failure Mitigation to Avert Production Cloud VM Interruptions

Sebastien Levy, Randolph Yao, Youjiang Wu and
Yingnong Dang, Peng Huang, Zheng Mu, Pu Zhao, Tarun Ramani, Naga Govindaraju, Xukun Li, Qingwei Lin, Gil Lapid Shafriri, Murali Chintalapati

Keywords Paper

0

0

0

0

18:04

04/11/2020

Byzantine Ordered Consensus without Byzantine Oligarchy

Yunhao Zhang, Srinath Setty, Qi Chen and
Lidong Zhou, Lorenzo Alvisi

Keywords Paper

0

0

0

0

19:20

04/11/2020

CrossFS: A Cross-layered Direct-Access File System

Yujie Ren, Changwoo Min, Sudarsun Kannan

Keywords Paper

0

0

0

0

19:45

04/11/2020

Storage Systems are Distributed Systems (So Verify Them That Way!)

Travis Hance, Andrea Lattuada, Chris Hawblitzel and
Jon Howell, Rob Johnson, Bryan Parno

Keywords Paper

0

0

0

0

18:50

04/11/2020

From WiscKey to Bourbon: A Learned Index for Log-Structured Merge Trees

Yifan Dai, Yien Xu, Aishwarya Ganesan and
Ramnatthan Alagappan, Brian Kroth, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau

Keywords Paper

0

0

0

0

19:04

04/11/2020

Providing SLOs for Resource-Harvesting VMs in Cloud Platforms

Pradeep Ambati, Íñigo Goiri, Felipe Frujeri and
Alper Gun, Ke Wang, Brian Dolan, Brian Corell, Sekhar Pasupuleti, Thomas Moscibroda, Sameh Elnikety, Marcus Fontoura, Ricardo Bianchini

Keywords Paper

0

0

0

0

17:53

04/11/2020

Blockene: A High-throughput Blockchain Over Mobile Devices

Sambhav Satija, Apurv Mehra, Sudheesh Singanamalla and
Karan Grover, Muthian Sivathanu, Nishanth Chandran, Divya Gupta, Satya Lokam

Keywords Paper

0

0

0

0

18:56

«
1
2
»

About · Contact · Privacy Policy · Legal Notice