Search results
-
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels
Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, and David Costanzo; Yale University Complete formal verification of a non-trivial concurrent OS kernel is widely considered a grand challenge. We present a novel composit ...[email protected] - December 9, 2021 - 12:09 pm
-
Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications
for programmers. This paper presents the first reactive data management service, called Diamond, which ...[email protected] - December 9, 2021 - 12:09 pm
-
Coordinated and Efficient Huge Page Management with Ingens
Youngjin Kwon, Hangchen Yu, and Simon Peter, The University of Texas at Austin; Christopher J. Rossbach, The University of Texas at Austin and VMware; Emmett Witchel, The University of Texas at Austin Modern computing is hungry for RAM, with today’s enorm ...[email protected] - December 9, 2021 - 12:09 pm
-
Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent
Srinath Setty, Microsoft Research; Chunzhi Su, The University of Texas at Austin and Microsoft Research; Jacob R. Lorch and Lidong Zhou, Microsoft Research; Hao Chen, Shanghai Jiao Tong University and Microsoft Research; Parveen Patel and Jinglei Ren, Mic ...[email protected] - December 9, 2021 - 12:09 pm
-
NetBricks: Taking the V out of NFV
performance overheads. In this paper we describe NetBricks, a new NFV framework that tackles both these ...[email protected] - December 9, 2021 - 12:09 pm
-
EC-Cache: Load-Balanced, Low-Latency Cluster Caching with Online Erasure Coding
replicas of an object is proportional to its popularity. In this paper, we explore an alternative approach ...[email protected] - December 9, 2021 - 12:09 pm
-
Simplifying Datacenter Network Debugging with PathDump
paper calls for a radically different approach to network management and debugging: in contrast to ...[email protected] - December 9, 2021 - 12:09 pm
-
Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data
Austin Awarded Best Paper Users of modern data-processing services such as tax preparation or genomic ...[email protected] - December 9, 2021 - 12:09 pm
-
Fast and Concurrent RDF Queries with RDMA-Based Distributed Graph Exploration
Jiaxin Shi, Youyang Yao, Rong Chen, and Haibo Chen, Shanghai Jiao Tong University; Feifei Li, University of Utah Many public knowledge bases are represented and stored as RDF graphs, where users can issue structured queries on such graphs using SPARQL. Wi ...[email protected] - December 9, 2021 - 12:09 pm
-
Machine-Aware Atomic Broadcast Trees for Multicores
Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, and Timothy Roscoe, ETH Zurich The performance of parallel programs on multicore machines often critically depends on group communication operations like barriers and reductions ...[email protected] - December 9, 2021 - 12:09 pm
-
SCONE: Secure Linux Containers with Intel SGX
Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, and Andre Martin, Technische Universität Dresden; Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'Keeffe, and Mark L Stillwell, Imperial College London; David Goltzsche, Technische ...[email protected] - December 9, 2021 - 1:09 pm
-
Incremental Consistency Guarantees for Replicated Objects
Rachid Guerraoui, Matej Pavlovic, and Dragos-Adrian Seredinschi, École Polytechnique Fédérale de Lausanne (EPFL) Programming with replicated objects is difficult. Developers must face the fundamental trade-off between consistency and performance head on, ...[email protected] - December 9, 2021 - 1:09 pm
-
Correlated Crash Vulnerabilities
storage systems employ complex protocols to update replicated data. In this paper, we study whether such ...[email protected] - December 9, 2021 - 1:09 pm
-
REX: A Development Platform and Online Learning Approach for Runtime Emergent Software Systems
Barry Porter, Matthew Grieves, Roberto Rodrigues Filho, and David Leslie, Lancaster University Conventional approaches to self-adaptive software architectures require human experts to specify models, policies and processes by which software can adapt to i ...[email protected] - December 9, 2021 - 1:09 pm
-
Big Data Analytics over Encrypted Datasets with Seabed
involve terabytes of data or more. This paper presents Seabed, a system that enables efficient analytics ...[email protected] - December 9, 2021 - 1:09 pm
-
CLARINET: WAN-Aware Optimization for Analytics Queries
Raajay Viswanathan, University of Wisconsin—Madison; Ganesh Ananthanarayanan, Microsoft; Aditya Akella, University of Wisconsin—Madison Recent work has made the case for geo-distributed analytics, where data collected and stored at multiple datacenters an ...[email protected] - December 9, 2021 - 1:09 pm
-
Kraken: Leveraging Live Traffic Tests to Identify and Resolve Resource Utilization Bottlenecks in Large Scale Web Services
Kaushik Veeraraghavan, Justin Meza, David Chou, Wonho Kim, Sonia Margulis, Scott Michelson, Rajesh Nishtala, Daniel Obenshain, Dmitri Perelman, and Yee Jiun Song, Facebook Inc. Modern web services such as Facebook are made up of hundreds of systems runnin ...[email protected] - December 9, 2021 - 1:09 pm
-
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation
Seyed K. Fayaz and Tushar Sharma, Carnegie Mellon University; Ari Fogel, Intentionet; Ratul Mahajan, Microsoft Research; Todd Millstein, University of California, Los Angeles; Vyas Sekar, Carnegie Mellon University; George Varghese, University of Californ ...[email protected] - December 9, 2021 - 1:09 pm
-
EbbRT: A Framework for Building Per-Application Library Operating Systems
meet the needs of an application. This paper describes the design and implementation of the Elastic ...[email protected] - December 9, 2021 - 1:09 pm
-
Non-Intrusive Performance Profiling for Entire Software Stacks Based on the Flow Reconstruction Principle
that are the culprits. This paper describes Stitch, a non-intrusive tool capable of profiling the ...[email protected] - December 9, 2021 - 1:09 pm
-
Early Detection of Configuration Errors to Reduce Failure Damage
Inc. Awarded Best Paper Early detection is the key to minimizing failure damage induced by ...[email protected] - December 9, 2021 - 2:09 pm
-
Consolidating Concurrency Control and Consensus for Commits under Conflicts
paper, we make the key observation that the coordination required for concurrency control and consensus ...[email protected] - December 9, 2021 - 2:09 pm
-
Altruistic Scheduling in Multi-Resource Clusters
Robert Grandl, University of Wisconsin—Madison; Mosharaf Chowdhury, University of Michigan; Aditya Akella, University of Wisconsin—Madison; Ganesh Ananthanarayanan, Microsoft Given the well-known tradeoffs between fairness, performance, and efficiency, mo ...[email protected] - December 9, 2021 - 2:09 pm
-
Firmament: Fast, Centralized Cluster Scheduling at Scale
reduces cluster utilization. This paper describes Firmament, a centralized scheduler that scales to over ...[email protected] - December 9, 2021 - 2:09 pm
-
Don’t Get Caught in the Cold, Warm-up Your JVM: Understand and Eliminate JVM Warm-up Overhead in Data-Parallel Systems
Virtual Machine (JVM), despite debate on the overhead of doing so. This paper analyzes the extent and ...[email protected] - December 9, 2021 - 2:09 pm