Search results
-
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
widespread, it is critical that these compilers be dependable. This paper considers the problem of finding ...admin - November 26, 2021 - 11:52 pm
-
Ansor: Generating High-Performance Tensor Programs for Deep Learning
Lianmin Zheng, UC Berkeley; Chengfan Jia, Minmin Sun, and Zhao Wu, Alibaba Group; Cody Hao Yu, Amazon Web Services; Ameer Haj-Ali, UC Berkeley; Yida Wang, Amazon Web Services; Jun Yang, Alibaba Group; Danyang Zhuo, UC Berkeley and Duke University; Koushik ...admin - November 26, 2021 - 11:52 pm
-
Assise: Performance and Availability via Client-local NVM in a Distributed File System
Thomas E. Anderson, University of Washington; Marco Canini, KAUST; Jongyul Kim, KAIST; Dejan Kostić, KTH Royal Institute of Technology; Youngjin Kwon, KAIST; Simon Peter, The University of Texas at Austin; Waleed Reda, KTH Royal Institute of Technology an ...admin - November 26, 2021 - 11:52 pm
-
Serving DNNs like Clockwork: Performance Predictability from the Bottom Up
Arpan Gujarati, Max Planck Institute for Software Systems; Reza Karimi, Emory University; Safya Alzayat, Wei Hao, and Antoine Kaufmann, Max Planck Institute for Software Systems; Ymir Vigfusson, Emory University; Jonathan Mace, Max Planck Institute for So ...admin - November 26, 2021 - 11:52 pm
-
RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers
Hang Zhu, Johns Hopkins University; Kostis Kaffes, Stanford University; Zixu Chen, Johns Hopkins University; Zhenming Liu, College of William and Mary; Christos Kozyrakis, Stanford University; Ion Stoica, UC Berkeley; Xin Jin, Johns Hopkins University Low ...admin - November 26, 2021 - 11:52 pm
-
CrossFS: A Cross-layered Direct-Access File System
Yujie Ren, Rutgers University; Changwoo Min, Virginia Tech; Sudarsun Kannan, Rutgers University We design CrossFS, a cross-layered direct-access file system disaggregated across user-level, firmware, and kernel layers for scaling I/O performance and impro ...admin - November 26, 2021 - 11:52 pm
-
Microsecond Consensus for Microsecond Applications
leaders, changing leaders, garbage collecting the logs, and more—challenges that we address in this paper ...admin - November 27, 2021 - 12:54 am
-
Aragog: Scalable Runtime Verification of Shardable Networked Systems
to their complex stateful, timed, and distributed behaviors. In this paper, we present the design and ...admin - November 27, 2021 - 12:54 am
-
Fault-tolerant and transactional stateful serverless workflows
Chen, Sebastian Angel, and Vincent Liu, University of Pennsylvania This paper introduces Beldi, ...admin - November 27, 2021 - 12:54 am
-
Cobra: Making Transactional Key-Value Stores Verifiably Serializable
Cheng Tan and Changgeng Zhao, NYU; Shuai Mu, Stony Brook University; Michael Walfish, NYU Today’s cloud databases offer strong properties, including serializability, sometimes called the gold standard database correctness property. But cloud databases are ...admin - November 27, 2021 - 12:54 am
-
Caladan: Mitigating Interference at Microsecond Timescales
attest to this belief. In this paper, we show that resource partitioning is neither necessary nor ...admin - November 27, 2021 - 12:54 am
-
Testing Database Engines via Pivoted Query Synthesis
Manuel Rigger and Zhendong Su, ETH Zurich Distinguished Artifact Award Winner Database Management Systems (DBMSs) are used widely, and have been extensively tested by fuzzers, which are successful in finding crash bugs. However, approaches to finding logi ...admin - November 27, 2021 - 12:54 am
-
Retiarii: A Deep Learning Exploratory-Training Framework
Quanlu Zhang, Zhenhua Han, Fan Yang, Yuge Zhang, Zhe Liu, Mao Yang, and Lidong Zhou, Microsoft Research Traditional deep learning frameworks such as TensorFlow and PyTorch support training on a single deep neural network (DNN) model, which involves comput ...admin - November 27, 2021 - 1:55 am
-
LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network
University; Henry Hoffmann and Haryadi S. Gunawi, University of Chicago This paper presents LinnOS, an ...admin - November 27, 2021 - 1:55 am
-
Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads
heterogeneity. In this paper, we propose Gavel, a heterogeneity-aware scheduler that systematically generalizes ...admin - November 27, 2021 - 1:55 am
-
SafetyPin: Encrypted Backups with Human-Memorable Secrets
Emma Dauterman, UC Berkeley; Henry Corrigan-Gibbs, EPFL and MIT CSAIL; David Mazières, Stanford University We present the design and implementation of SafetyPin, a system for encrypted mobile-device backups. Like existing cloud-based mobile-backup systems ...admin - November 27, 2021 - 1:55 am
-
DORY: An Encrypted Search System with Distributed Trust
Emma Dauterman, Eric Feng, Ellen Luo, Raluca Ada Popa, and Ion Stoica, University of California, Berkeley Efficient, leakage-free search on encrypted data has remained an unsolved problem for the last two decades; efficient schemes are vulnerable to leaka ...admin - November 27, 2021 - 1:55 am
-
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution
Yigong Hu, Gongqi Huang, and Peng Huang, Johns Hopkins University Misconfiguration is a major cause of system failures. Prior solutions focus on detecting invalid settings that are introduced by user mistakes. But another type of misconfiguration that con ...admin - November 27, 2021 - 1:55 am
-
KungFu: Making Training in Distributed Machine Learning Adaptive
Luo Mai, Guo Li, Marcel Wagenländer, Konstantinos Fertakis, Andrei-Octavian Brabete, and Peter Pietzuch, Imperial College London When using distributed machine learning (ML) systems to train models on a cluster of worker machines, users must configure a l ...admin - November 27, 2021 - 1:55 am
-
A Tensor Compiler for Unified Machine Learning Prediction Serving
as models are trained once but used many times. In this paper we propose Hummingbird, a novel ...admin - November 27, 2021 - 1:55 am
-
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer
Ko, and Yu-Fang Chen, Institute of Information Science, Academia Sinica, Taiwan This paper introduces ...admin - November 27, 2021 - 1:55 am
-
FIRM: An Intelligent Fine-grained Resource Management Framework for SLO-Oriented Microservices
user requests. This paper presents FIRM, an intelligent fine-grained resource management framework for ...admin - November 27, 2021 - 2:57 am
-
Theseus: an Experiment in Operating System Structure and State Management
Zhong, Yale University This paper describes an operating system (OS) called Theseus. Theseus is the ...admin - November 27, 2021 - 2:57 am
-
Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories
workloads. This paper introduces Pegasus, a new storage system that leverages new-generation programmable ...admin - November 27, 2021 - 2:57 am
-
Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks
overhead and often cannot fully utilize the available hardware resources. In this paper, we propose Rammer, ...admin - November 27, 2021 - 2:57 am