A study of the internal and external effects of concurrency bugs

No abstract is available for this paper.

• Publication year

  2010

• Venue

  Dependable Systems and Networks

• Publication date

  2010-08-09

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/DSN.2010.5544315
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• An empirical study of reported bugs in server software with implications for automated bug diagnosis

  2010cited by this paper
• Eliminating Concurrency Bugs with Control Engineering

  2009cited by this paper
• Parallel programming must be deterministic by default

  2009cited by this paper
• CTrigger: exposing atomicity violation bugs from their hiding places

  2009cited by this paper
• Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

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

  2008cited by this paper
• Deadlock Immunity: Enabling Systems to Defend Against Deadlocks

  2008cited by this paper
• Predicting vulnerable software components

  2007cited by this paper
• Understanding MySQL internals

  2007cited by this paper
• Tolerating byzantine faults in transaction processing systems using commit barrier scheduling

  2007influential reference
• How do changes in buggy Mozilla files propagate?

  2006cited by this paper
• Producing scheduling that causes concurrent programs to fail

  2006cited by this paper
• Have things changed now?: an empirical study of bug characteristics in modern open source software

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

  2005cited by this paper
• Predicting the location and number of faults in large software systems

  2005cited by this paper
• Finding latent code errors via machine learning over program executions

  2004cited by this paper
• Microreboot - A Technique for Cheap Recovery

  2004cited by this paper
• Finding bugs is easy

  2004cited by this paper
• RacerX: effective, static detection of race conditions and deadlocks

  2003cited by this paper
• Characterization of linux kernel behavior under errors

  2003cited by this paper
• Concurrent bug patterns and how to test them

  2003cited by this paper
• The World's Most Popular Open Source Database

  2003influential reference
• An empirical study of operating systems errors

  2001cited by this paper
• Whither generic recovery from application faults? A fault study using open-source software

  2000cited by this paper
• Practical Byzantine fault tolerance

  1999cited by this paper
• On-Line Monitoring: A Tutorial

  1995cited by this paper
• Transactional Memory: Architectural Support For Lock-free Data Structures

  1993cited by this paper
• A comparison of software defects in database management systems and operating systems

  1992cited by this paper
• Why Do Computers Stop and What Can Be Done About It?

  1986cited by this paper

• Identifying Concurrency Bug Reports via Linguistic Patterns

  2026cites this paper
• JDala - A Simple Capability System for Java

  2025cites this paper
• A Comprehensive Study of Bugs in Relational DBMS

  2025influential citation
• Symbol Resolution MatRs: Make it Fast and Observable with Stable Linking

  2025cites this paper
• Cloud Uptime Archive: Open-Access Availability Data of Web, Cloud, and Gaming Services

  2025cites this paper
• Cross-project concurrency bug prediction using domain-adversarial neural network

  2024cites this paper
• ROBUST: 221 bugs in the Robot Operating System

  2024cites this paper
• Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor

  2023cites this paper
• Going through the Life Cycle of Faults in Clouds: Guidelines on Fault Handling

  2022cites this paper
• Reflections on software failure analysis

  2022cites this paper
• A Deep Study of the Effects and Fixes of Server-Side Request Races in Web Applications

  2022influential citation
• The Security War in File Systems: An Empirical Study from A Vulnerability-centric Perspective

  2022cites this paper
• Execution reconstruction: harnessing failure reoccurrences for failure reproduction

  2021cites this paper
• Kard: lightweight data race detection with per-thread memory protection

  2021cites this paper
• A Characteristic Study of Deadlocks in Database-Backed Web Applications

  2021cites this paper
• Characterizing User and Provider Reported Cloud Failures

  2021cites this paper
• Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis

  2021cites this paper
• Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing

  2021cites this paper
• Understanding and detecting server-side request races in web applications

  2021cites this paper
• Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

  2020cites this paper
• Stress Testing With Influencing Factors to Accelerate Data Race Software Failures

  2020cites this paper
• Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications

  2020cites this paper
• GoPi: Compiling Linear and Static Channels in Go

  2020cites this paper
• Understanding Security Vulnerabilities in File Systems

  2019cites this paper
• Research of NOSQL and SQL and Designing a Better Database Schema for Databases

  2019cites this paper
• Understanding and Statically Detecting Synchronization Performance Bugs in Distributed Cloud Systems

  2019cites this paper
• Towards implicit parallel programming for systems

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

  2018cites this paper
• Towards Developing a Repository of Logical Errors Observed in Parallel Code for Teaching Code Correctness

  2018cites this paper
• ProRace: Practical Data Race Detection for Production Use

  2017cites this paper
• Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure

  2017cites this paper
• From object-oriented code with assertions to behavioural types

  2017cites this paper
• Concurrency bugs in open source software: a case study

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

  2017cites this paper
• Characterizing non-deadlock concurrency bug fixes in open-source Java programs

  2016cites this paper
• 10 Years of research on debugging concurrent and multicore software: a systematic mapping study

  2016cites this paper
• Improving software fault injection

  2016influential citation
• Reproducibility of Software Bugs

  2016cites this paper
• Reproducibility of Software Bugs Basic Concepts and Automatic Classification

  2016cites this paper
• A Study of Concurrency Bugs in an Open Source Software

  2016cites this paper
• Understanding and generating high quality patches for concurrency bugs

  2016cites this paper
• TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems

  2016cites this paper
• Slider: an online and active deadlock avoider by serial execution of critical sections

  2016cites this paper
• Understanding issue correlations: a case study of the Hadoop system

  2015cites this paper
• Predicting concurrency bugs: how many, what kind and where are they?

  2015influential citation
• Unlocking Blocked Communicating Processes

  2015cites this paper
• Effective testing for concurrency bugs

  2015cites this paper
• What change history tells us about thread synchronization

  2015cites this paper
• What Is Wrong with the Transmission? A Comprehensive Study on Message Passing Related Bugs

  2015cites this paper
• A study and toolkit of CHECK‐THEN‐ACT idioms of Java concurrent collections

  2015cites this paper
• Conception et implémentation d'un langage de programmation concurrente modulaire. (Design and implementation of a modular concurrent programming language)

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

  2015cites this paper
• Empirical characterization of faults in complex software systems, and strategies to mitigate them

  2015cites this paper
• CONCEPTION ET IMPLÉMENTATION D’UN LANGAGEDE PROGRAMMATION CONCURRENTE MODULAIRE

  2015cites this paper
• An exploratory study on exception handling bugs in Java programs

  2015influential citation
• Reproducibility of Environment-Dependent Software Failures: An Experience Report

  2014cites this paper
• Understanding, detecting, and repairing performance bugs

  2014cites this paper
• On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments

  2014cites this paper
• PAD: Performance Anomaly Detection in Multi-server Distributed Systems

  2014cites this paper
• Design and implementation of a distributed back-up system. (Conception et implémentation d'un système de sauvegarde distribué)

  2014cites this paper
• On Mining Concurrency Defect-Related Reports from Bug Repositories

  2013cites this paper
• Fault triggers in open-source software: An experience report

  2013cites this paper
• Which compiler optimization options should I use for detecting data races in multithreaded programs?

  2013influential citation
• Discovering, reporting, and fixing performance bugs

  2013influential citation
• Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?

  2013cites this paper
• On Detecting Concurrency Defects Automatically at the Design Level

  2013cites this paper
• A Study of Linux File System Evolution

  2013influential citation
• Analysis and Prediction of Mandelbugs in an Industrial Software System

  2013cites this paper
• Regular Paper Online Kernel Log Analysis for Robotics Application

  2013cites this paper
• A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective

  2013cites this paper
• On the Benefits of Abstraction in Concurrent Haskell

  2012cites this paper
• Online Kernel Log Analysis for Robotics Application

  2012cites this paper
• All about Eve: Execute-Verify Replication for Multi-Core Servers

  2012cites this paper
• Lightweight cooperative logging for fault replication in concurrent programs

  2012cites this paper
• Fault Replication in Concurrent Programs

  2011cites this paper
• An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs

  2011cites this paper
• Efficient middleware for byzantine fault tolerant database replication

  2011cites this paper
• Are Java programmers transitioning to multicore?: a large scale study of java FLOSS

  2011cites this paper
• A Formal Methodology for Concurrent Componentwise Development of Rich Internet Applications

  2011cites this paper
• Threader: A Constraint-Based Verifier for Multi-threaded Programs

  2011cites this paper
• Efficiency Optimizations for Implementations of Deadlock Immunity

  2011cites this paper
• Finding complex concurrency bugs in large multi-threaded applications

  2011influential citation
• A Comprehensive Study of Concurrency Bugs in the Linux Kernel

  year unknowninfluential citation
• Progress Report of the Max Planck Institute for Software Systems (mpi-sws)

  year unknowncites this paper
• Purdue e-Pubs Purdue e-Pubs

  year unknowncites this paper