Search results
-
Dissent in Numbers: Making Strong Anonymity Scale
David Isaac Wolinsky, Henry Corrigan-Gibbs, and Bryan Ford, Yale University; Aaron Johnson, U.S. Naval Research Laboratory Current anonymous communication systems make a trade-off between weak anonymity among many nodes, via onion routing, and strong anon ...arnold - December 16, 2021 - 4:52 pm
-
Efficient Patch-based Auditing for Web Application Vulnerabilities
Taesoo Kim, Ramesh Chandra, and Nickolai Zeldovich, MIT CSAIL POIROT is a system that, given a patch for a newly discovered security vulnerability in a web application, helps administrators detect past intrusions that exploited the vulnerability. POIROT ...arnold - December 16, 2021 - 4:52 pm
-
Experiences from a Decade of TinyOS Development
Philip Levis, Stanford University When first written in 2000, TinyOS’s users were a handful of academic computer science researchers. A decade later, TinyOS averages 25,000 downloads a year, is in many commercial products, and remains a platform used for ...arnold - December 16, 2021 - 4:52 pm
-
Automated Concurrency-Bug Fixing
Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, and Shan Lu, University of Wisconsin—Madison Concurrency bugs are widespread in multithreaded programs. Fixing them is time-consuming and error-prone. We present CFix, a system that automates the repair ...arnold - December 16, 2021 - 4:52 pm
-
All about Eve: Execute-Verify Replication for Multi-Core Servers
Clement, MPI-SWS; Lorenzo Alvisi and Mike Dahlin, University of Texas at Austin This paper presents Eve, ...arnold - December 16, 2021 - 4:52 pm
-
Spanner: Google’s Globally-Distributed Database
Google, Inc. Awarded Jay Lepreau Best Paper! Spanner is Google’s scalable, multi-version, globally ... and support externally-consistent distributed transactions. This paper describes how Spanner is ...arnold - December 16, 2021 - 4:52 pm
-
Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary
Cheng Li, Max Planck Institute for Software Systems; Daniel Porto, CITI/Universidade Nova de Lisboa and Max Planck Institute for Software Systems; Allen Clement, Max Planck Institute for Software Systems; Johannes Gehrke, Cornell University; Nuno Preguiça ...arnold - December 16, 2021 - 4:52 pm
-
SymDrive: Testing Drivers without Devices
Matthew J. Renzelmann, Asim Kadav, and Michael M. Swift, University of Wisconsin—Madison Device-driver development and testing is a complex and error-prone undertaking. For example, testing errorhandling code requires simulating faulty inputs from the dev ...arnold - December 16, 2021 - 4:52 pm
-
Be Conservative: Enhancing Failure Diagnosis with Proactive Logging
Ding Yuan, University of Illinois at Urbana-Champaign and University of California, San Diego; Soyeon Park, Peng Huang, Yang Liu, Michael M. Lee, Xiaoming Tang, Yuanyuan Zhou, and Stefan Savage, University of California, San Diego When systems fail in the ...arnold - December 16, 2021 - 4:52 pm
-
X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software
Michigan Awarded Jay Lepreau Best Student Paper! Troubleshooting the performance of production ... beyond system administrators and end users. This paper introduces performance summarization, a technique ...arnold - December 16, 2021 - 4:52 pm
-
Pasture: Secure Offline Data Access Using Commodity Trusted Hardware
Stuedi, IBM Research; Benjamin Wester, Facebook This paper presents Pasture, a secure messaging and ...arnold - December 16, 2021 - 5:52 pm
-
Dune: Safe User-level Access to Privileged CPU Features
Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazières, and Christos Kozyrakis, Stanford University Dune is a system that provides applications with direct but safe access to hardware features such as ring protection, page tables, and tag ...arnold - December 16, 2021 - 5:52 pm
-
Performance Isolation and Fairness for Multi-Tenant Cloud Storage
performance and violating SLAs. This paper presents Pisces, a system for achieving datacenter-wide per-tenant ...arnold - December 16, 2021 - 5:52 pm
-
Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms
microkernel, a runtime environment and a replication manager. In this paper we state and justify assumptions ...arnold - December 16, 2021 - 5:52 pm
-
Collaborative Energy Debugging for Mobile Devices
diagnose code misbehavior that wastes energy, which we call energy bugs. This paper describes a method and ...arnold - December 16, 2021 - 5:52 pm
-
Automatic Undo for Cloud Management via AI Planning
recognised as valuable support for dependability [3, 5, 10]. This paper considers the particular needs ...arnold - December 16, 2021 - 5:52 pm
-
ABHRANTA: Locating Bugs that Manifest at Large System Scales
correct behavior at that scale. However, that work cannot localize bugs automatically. In this paper, we extend ...arnold - December 16, 2021 - 5:52 pm
-
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability
Reinhard Tartler, Friedrich-Alexander University Erlangen-Nuremberg; Anil Kurmus, IBM Research—Zurich; Bernhard Heinloth, Valentin Rothberg, and Andreas Ruprecht, Friedrich-Alexander University Erlangen-Nuremberg; Daniela Dorneanu, IBM Research—Zuri ...arnold - December 16, 2021 - 5:52 pm
-
ShadowDB: A Replicated Database on a Synthesized Consensus Core
Cornell University This paper describes ShadowDB, a replicated version of the BerkeleyDB database. ...arnold - December 16, 2021 - 5:52 pm
-
CORD: A Collaborative Framework for Distributed Data Race Detection
Baris Kasikci, Cristian Zamfir, and George Candea, École Polytechnique Fédérale de Lausanne Modern concurrent software is riddled with data races and these races constitute the source of many problems. Data races are hard to detect accurately before soft ...arnold - December 16, 2021 - 5:52 pm
-
Toward a Principled Framework for Benchmarking Consistency
paper, we take the position that a consistency benchmark should paint a comprehensive picture of ...arnold - December 16, 2021 - 6:52 pm
-
Is Linux Kernel Oops Useful or Not?
how reliable Linux is after a kernel oops in this paper. To investigate the reliability after a kernel ...arnold - December 16, 2021 - 6:52 pm
-
Programming Model Support for Dependable, Elastic Cloud Applications
restricted domains, such as MapReduce, we argue in this paper that adding elasticity to general distributed ...arnold - December 16, 2021 - 6:52 pm
-
Towards a Data Analysis Recommendation System
ad hoc. In this paper, we examine the analytics process undertaken by users to mine large data sets, and ...michele - December 16, 2021 - 6:52 pm
-
Vayu: Learning to Control the Cloud
paper we describe Vayu, a system for managing cloud applications from the performance, availability and ...michele - December 16, 2021 - 6:52 pm