Predicting and preventing inconsistencies in deployed distributed systems

No abstract is available for this paper.

• Publication year

  2009

• Venue

  TOCS

• Publication date

  2009-04-22

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1731060.1731062
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• QVM: An Efficient Runtime for Detecting Defects in Deployed Systems

  2011cited by this paper
• Live Debugging of Distributed Systems

  2009cited by this paper
• Operating System Transactions

  2009cited by this paper
• Simplifying Distributed System Development

  2009cited by this paper
• Opis: reliable distributed systems in OCaml

  2009cited by this paper
• MODIST: Transparent Model Checking of Unmodified Distributed Systems

  2009cited by this paper
• Network Imprecision: A New Consistency Metric for Scalable Monitoring

  2008cited by this paper
• Bouncer: securing software by blocking bad input

  2008cited by this paper
• Consensus Routing: The Internet as a Distributed System. (Best Paper)

  2008cited by this paper
• QVM: an efficient runtime for detecting defects in deployed systems

  2008cited by this paper
• D3S: Debugging Deployed Distributed Systems

  2008cited by this paper
• Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs

  2008cited by this paper
• Finding and Reproducing Heisenbugs in Concurrent Programs

  2008cited by this paper
• Mace: language support for building distributed systems

  2007influential reference
• WiDS Checker: Combating Bugs in Distributed Systems

  2007influential reference
• Friday: Global Comprehension for Distributed Replay

  2007cited by this paper
• X-Trace: A Pervasive Network Tracing Framework

  2007cited by this paper
• Iterative context bounding for systematic testing of multithreaded programs

  2007cited by this paper
• ACM Transactions on Computer Systems

  2007cited by this paper
• Paxos made live: an engineering perspective

  2007cited by this paper
• EXPLODE: a lightweight, general system for finding serious storage system errors

  2006cited by this paper
• Automated Systematic Testing of Open Distributed Programs

  2006cited by this paper
• Using queries for distributed monitoring and forensics

  2006cited by this paper
• Using queries for distributed monitoring and forensics

  2006cited by this paper
• Pip: Detecting the Unexpected in Distributed Systems

  2006cited by this paper
• Vigilante: end-to-end containment of internet worms

  2005cited by this paper
• Speculative execution in a distributed file system

  2005cited by this paper
• Maintaining High-Bandwidth Under Dynamic Network Conditions

  2005cited by this paper
• OpenDHT: a public DHT service and its uses

  2005cited by this paper
• Dynamic partial-order reduction for model checking software

  2005cited by this paper
• Rx: treating bugs as allergies---a safe method to survive software failures

  2005cited by this paper
• Program Repair as a Game

  2005cited by this paper
• Complementary use of runtime validation and model checking

  2005cited by this paper
• Using model checking to find serious file system errors

  2004cited by this paper
• Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging

  2004cited by this paper
• MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks

  2004cited by this paper
• Using Magpie for Request Extraction and Workload Modelling

  2004cited by this paper
• Enhancing Server Availability and Security Through Failure-Oblivious Computing

  2004cited by this paper
• Modular verification of software components in C

  2004cited by this paper
• FUSE: Lightweight Guaranteed Distributed Failure Notification

  2004cited by this paper
• Model Checking Large Network Protocol Implementations

  2004cited by this paper
• Using Random Subsets to Build Scalable Network Services

  2003cited by this paper
• SplitStream: high-bandwidth multicast in cooperative environments

  2003cited by this paper
• Automatic detection and repair of errors in data structures

  2003cited by this paper
• Chord: a scalable peer-to-peer lookup protocol for internet applications

  2003influential reference
• Modular verification of software components in C

  2003cited by this paper
• SplitStream: High-Bandwidth Content Distribution in Cooperative Environments

  2003cited by this paper
• Asynchronous recovery without using vector timestamps

  2002cited by this paper
• The SLAM project: debugging system software via static analysis

  2002cited by this paper
• Towards capturing representative AS-level Internet topologies

  2002cited by this paper
• CMC: a pragmatic approach to model checking real code

  2002cited by this paper
• Lazy abstraction

  2002cited by this paper
• Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility

  2001cited by this paper
• Boolean and Cartesian abstraction for model checking C programs

  2001cited by this paper
• Chord: A scalable peer-to-peer lookup service for internet applications

  2001cited by this paper
• Snapshots : Determining Global States of Distributed Systems

  1999cited by this paper
• Holzmann의 ˝The Model Checker SPIN˝에 대하여

  1998cited by this paper
• The part-time parliament

  1998cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• Implementing Fault-tolerant Services Using the State Machine Approach: a Tutorial

  1994cited by this paper
• A partial approach to model checking

  1991cited by this paper
• Symbolic Model Checking: 10^20 States and Beyond

  1990cited by this paper
• Implementing fault-tolerant services using the state machine approach: a tutorial

  1990cited by this paper
• Symbolic model checking: 1020 states and beyond

  1989cited by this paper
• Impossibility of distributed consensus with one faulty process

  1985cited by this paper
• Time, clocks, and the ordering of events in a distributed system

  1978cited by this paper
• Proceedings of the 5th Symposium on Operating Systems Design and Implementation Scalability and Accuracy in a Large-scale Network Emulator *

  year unknowncited by this paper
• 1 A Case for End System Multicast

  year unknowncited by this paper

• Arsc: Automated Reconciliation for State Correctness of Cluster Management

  2025cites this paper
• Model Checking Guided Incremental Testing for Distributed Systems

  2025cites this paper
• Enhancing cloud block storage volumes throughput provisioned for virtual server instances via I/O thread

  2025cites this paper
• ER-π: Exhaustive Interleaving Replay for Testing Replicated Data Library Integration

  2025cites this paper
• An Empirical Study on Kubernetes Operator Bugs

  2024cites this paper
• Survey of fault management techniques for edge-enabled distributed metaverse applications

  2024cites this paper
• Multi-Grained Specifications for Distributed System Model Checking and Verification

  2024cites this paper
• SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration

  2024cites this paper
• Autonomic Testing: Testing with Scenarios from Production

  2024cites this paper
• Compiling Distributed System Models with PGo

  2023cites this paper
• Distributed System Fuzzing

  2023cites this paper
• Model Checking Guided Testing for Distributed Systems

  2023cites this paper
• A Domain Specific Language for Testing Consensus Implementations

  2023cites this paper
• Micro Replication

  2023cites this paper
• Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models

  2022cites this paper
• Automatic Reliability Testing For Cluster Management Controllers

  2022cites this paper
• FlakeRepro: automated and efficient reproduction of concurrency-related flaky tests

  2022cites this paper
• Gemini: BFT Systems Made Robust

  2021cites this paper
• Tardis: A Fault-Tolerant Design for Network Control Planes

  2021cites this paper
• Nyx-net: network fuzzing with incremental snapshots

  2021cites this paper
• Reasoning about modern datacenter infrastructures using partial histories

  2021cites this paper
• Avis: In-Situ Model Checking for Unmanned Aerial Vehicles

  2021cites this paper
• TLC: temporal logic of distributed components

  2020cites this paper
• Aragog: Scalable Runtime Verification of Shardable Networked Systems

  2020cites this paper
• Impact of etcd deployment on Kubernetes, Istio, and application performance

  2020cites this paper
• Temporal Logic of Composable Distributed Components

  2020cites this paper
• Check before You Change: Preventing Correlated Failures in Service Updates

  2020cites this paper
• Twins: White-Glove Approach for BFT Testing

  2020cites this paper
• Dara the explorer : coverage based exploration for model checking of distributed systems in Go

  2020cites this paper
• Twins: BFT Systems Made Robust

  2020cites this paper
• Towards a Library for Deterministic Failure Testing of Distributed Systems

  2019cites this paper
• Retroscope: Retrospective Monitoring of Distributed Systems

  2019cites this paper
• FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems

  2019influential citation
• Teaching Rigorous Distributed Systems With Efficient Model Checking

  2019cites this paper
• Fixed It For You: Protocol Repair Using Lineage Graphs

  2019cites this paper
• Verification of the Chord protocol in TLA

  2019cites this paper
• On the Application of Formal Techniques for Dependable Concurrent Systems

  2019cites this paper
• Dara: hybrid model checking of distributed systems

  2018cites this paper
• SpecRPC: A General Framework for Performing Speculative Remote Procedure Calls

  2018cites this paper
• A Survey of Recent Trends in Testing Concurrent Software Systems

  2018cites this paper
• Growing a protocol

  2017cites this paper
• Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification

  2017cites this paper
• Building Evolvable Distributed Systems for Dynamic Data Center Environments

  2017cites this paper
• Stick a fork in it: Analyzing the Ethereum network partition

  2017cites this paper
• An Empirical Study on the Correctness of Formally Verified Distributed Systems

  2017cites this paper
• Minimizing Faulty Executions of Distributed Systems

  2016cites this paper
• Ovid: A Software-Defined Distributed Systems Framework to support Consistency and Change

  2016cites this paper
• Chapar: certified causally consistent distributed key-value stores

  2016cites this paper
• Correlated Crash Vulnerabilities

  2016cites this paper
• Making Lock-free Data Structures Verifiable with Artificial Transactions

  2016cites this paper
• Formal Verification of Multi-Paxos for Distributed Consensus

  2016cites this paper
• Reasoning About Identifier Spaces: How to Make Chord Correct

  2016cites this paper
• Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!)

  2016cites this paper
• Scalable techniques for analysing and testing asynchronous software systems

  2016cites this paper
• Effective testing for concurrency bugs

  2015cites this paper
• Verdi: a framework for implementing and formally verifying distributed systems

  2015cites this paper
• SAMC: a fast model checker for finding heisenbugs in distributed systems (demo)

  2015cites this paper
• Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles. (Dynamic formal verification of temporal properties on legacy distributed applications)

  2015cites this paper
• Hansel: diagnosing faults in openStack

  2015cites this paper
• Doctor of Engineering Science of the Faculties of Natural Science and Technology I of Saarland University

  2015cites this paper
• How to Make Chord Correct

  2015cites this paper
• A Complete Bibliography of ACM Transactions on Computer Systems

  2015cites this paper
• Lineage-driven Fault Injection

  2015cites this paper
• How to Make Chord Correct (Using a Stable Base)

  2015cites this paper
• Gatling

  2015influential citation
• Verifying distributed system implementations ( Description ) 1

  2015cites this paper
• Reliable testing: detecting state-polluting tests to prevent test dependency

  2015cites this paper
• Making lock-free data structures verifiable with artificial transactions

  2015cites this paper
• Systematically Exploring the Behavior of Control Programs

  2015cites this paper
• Data-centric Programming for Distributed Systems

  2015cites this paper
• SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

  2014cites this paper
• A practical comparison of Alloy and Spin

  2014cites this paper
• Inferring models of concurrent systems from logs of their behavior with CSight

  2014cites this paper
• SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems

  2014influential citation
• Arming Cloud Services with Task Aspects

  2014cites this paper
• Turret: A Platform for Automated Attack Finding in Unmodified Distributed System Implementations

  2014cites this paper
• The Case for Drill-Ready Cloud Computing

  2014cites this paper
• Verifying and Synthesizing Software with Recursive Functions - (Invited Contribution)

  2014cites this paper
• SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics

  2014cites this paper
• Automated performance attack discovery in distributed system implementations

  2014influential citation
• Verifying and Synthesizing Software with

  2014cites this paper
• Towards Reliable Cloud Systems

  2014cites this paper
• Modeling Systems from Logs of their Behavior

  2013cites this paper
• Formal analysis of pure-join model of chord using alloy

  2013cites this paper
• Diagnosing Data Center Behavior Flow by Flow

  2013cites this paper
• Computational Science of Computer Systems

  2013cites this paper
• Efficient Verification of Distributed Protocols Using Stateful Model Checking

  2013cites this paper
• Efficient mutation testing of multithreaded code

  2013cites this paper
• Enabling richer insight into runtime executions of systems

  2013cites this paper
• From software verification to ‘everyware’ verification

  2013cites this paper
• Verifying systems rules using rule-directed symbolic execution

  2013cites this paper
• Modelling Message-Oriented-Middleware Brokers using Autoregressive Models for Bottleneck Prediction.

  2013cites this paper
• On the detection and prevention of consistency anomalies in multi-tier and cloud platforms

  2013cites this paper
• Leveraging SDN layering to systematically troubleshoot networks

  2013cites this paper
• Safety Verification of Asynchronous Consensus Algorithms with Model Checking

  2012cites this paper
• Using lightweight modeling to understand chord

  2012cites this paper
• Mining temporal invariants from partially ordered logs

  2012cites this paper
• Structured Comparative Analysis of Systems Logs to Diagnose Performance Problems

  2012cites this paper
• Gatling: Automatic Attack Discovery in Large-Scale Distributed Systems

  2012cites this paper
• Towards Communication-Based Steering of Complex Distributed Systems

  2012cites this paper