Generating Data Race Witnesses by an SMT-Based Analysis

No abstract is available for this paper.

• Publication year

  2011

• Venue

  NASA Formal Methods

• Publication date

  2011-04-18

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-20398-5_23
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Using Runtime Analysis to Guide Model Checking of Java Programs

  2013cited by this paper
• Coverage guided systematic concurrency testing

  2011cited by this paper
• 2010 CWE/SANS Top 25 Most Dangerous Programming Errors

  2010cited by this paper
• 2010 CWE/SANS Top 25 Most Dangerous Software Errors

  2010cited by this paper
• FastTrack: efficient and precise dynamic race detection

  2009cited by this paper
• Symbolic Predictive Analysis for Concurrent Programs

  2009cited by this paper
• Maximal Causal Models for Multithreaded Systems

  2008cited by this paper
• Conditional must not aliasing for static race detection

  2007cited by this paper
• CHESS: A Systematic Testing Tool for Concurrent Software

  2007cited by this paper
• Parametric and Sliced Causality

  2007cited by this paper
• Goldilocks: a race and transaction-aware java runtime

  2007cited by this paper
• RELAY: static race detection on millions of lines of code

  2007cited by this paper
• Fast and Accurate Static Data-Race Detection for Concurrent Programs

  2007cited by this paper
• A Fast Linear-Arithmetic Solver for DPLL(T)

  2006influential reference
• Using model checking with symbolic execution to verify parallel numerical programs

  2006cited by this paper
• LOCKSMITH: context-sensitive correlation analysis for race detection

  2006cited by this paper
• Reasoning About Threads Communicating via Locks

  2005cited by this paper
• The Java memory model

  2005cited by this paper
• Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

  2005cited by this paper
• Static Detection of Atomicity Violations in Object-Oriented Programs

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

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

  2003cited by this paper
• A parameterized type system for race-free Java programs

  2001cited by this paper
• Model checking JAVA programs using JAVA PathFinder

  2000cited by this paper
• Type-based race detection for Java

  2000cited by this paper
• SPIN Model Checking and Software Verification

  2000cited by this paper
• Parallel and Distributed Processing

  1998cited by this paper
• Eraser: a dynamic data race detector for multi-threaded programs

  1997cited by this paper
• Principles of programming languages

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

  1978cited by this paper
• Programming Languages: Design and Implementation

  1975cited by this paper

• Efficient Timestamping for Sampling-Based Race Detection

  2025cites this paper
• Enhanced Data Race Prediction Through Modular Reasoning

  2025cites this paper
• The Complexity of Testing Message-Passing Concurrency

  2025cites this paper
• Reduce Dependence for Sound Concurrency Bug Prediction

  2025cites this paper
• Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction

  2025cites this paper
• Constraint Based Program Repair for Persistent Memory Bugs

  2024cites this paper
• Optimistic Prediction of Synchronization-Reversal Data Races

  2024cites this paper
• Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning

  2024cites this paper
• Predictive Monitoring with Strong Trace Prefixes

  2024cites this paper
• IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications

  2024cites this paper
• Sound Dynamic Deadlock Prediction in Linear Time

  2023cites this paper
• When Memory Corruption Met Concurrency: Vulnerabilities in Concurrent Programs

  2023cites this paper
• Sound Dynamic Deadlock Prediction in Linear Time

  2023cites this paper
• Achieving High MAP-Coverage Through Pattern Constraint Reduction

  2023cites this paper
• Predictive Monitoring against Pattern Regular Languages

  2023influential citation
• Dynamic Race Detection with O(1) Samples

  2023cites this paper
• Sound Predictive Fuzzing for Multi-threaded Programs

  2023cites this paper
• Cross-thread critical sections and efficient dynamic race prediction methods

  2023cites this paper
• Tolerate Control-Flow Changes for Sound Data Race Prediction

  2023cites this paper
• RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms

  2023cites this paper
• Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis

  2023cites this paper
• Peahen: fast and precise static deadlock detection via context reduction

  2022cites this paper
• Coarser Equivalences for Causal Concurrency

  2022cites this paper
• ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs

  2022cites this paper
• A novel approach of data race detection based on CNN-BiLSTM hybrid neural network

  2022influential citation
• Symbolic Predictive Cache Analysis for Out-of-Order Execution

  2022cites this paper
• Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers

  2022cites this paper
• Context-Sensitive Data Race Detection for Concurrent Programs

  2021cites this paper
• Dynamic Data-Race Detection through the Fine-Grained Lens

  2021cites this paper
• Optimal Prediction of Synchronization-Reversal Free Races

  2020cites this paper
• Parallel determinacy race detection for futures

  2020cites this paper
• The Complexity of Dynamic Data Race Prediction

  2020cites this paper
• Root Causing Linearizability Violations

  2020cites this paper
• Optimal prediction of synchronization-preserving races

  2020cites this paper
• Dependence-Aware, Unbounded Sound Predictive Race Detection

  2019influential citation
• Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers

  2019cites this paper
• Chapter Five - Advances in Symbolic Execution

  2019cites this paper
• Practical Predictive Race Detection

  2019cites this paper
• Data Race Prediction for Inaccurate Traces

  2019cites this paper
• Efficient race detection with futures

  2019cites this paper
• Runtime Verification Past Experiences and Future Projections

  2019cites this paper
• Dependence-aware, unbounded sound predictive race detection

  2019cites this paper
• Online Set-Based Dynamic Analysis for Sound Predictive Race Detection

  2019cites this paper
• SmartTrack: efficient predictive race detection

  2019cites this paper
• Fast, sound, and effectively complete dynamic race prediction

  2019cites this paper
• Fast, Sound and Effectively Complete Dynamic Race Detection

  2019cites this paper
• High-coverage, unbounded sound predictive race detection

  2018influential citation
• Scalable concurrency debugging with distributed graph processing

  2018influential citation
• Practical detection of concurrency issues at coding time

  2018cites this paper
• Data race detection on compressed traces

  2018cites this paper
• JBench: A Dataset of Data Races for Concurrency Testing

  2018cites this paper
• What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection

  2018cites this paper
• Debugging Multithreaded Programs as if They Were Sequential

  2018cites this paper
• Analysis of GPGPU Programs for Data-race and Barrier Divergence

  2018cites this paper
• Towards concurrency race debugging: an integrated approach for constraint solving and dynamic slicing

  2018influential citation
• Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation

  2018cites this paper
• Sound deadlock prediction

  2018influential citation
• Can We Monitor All Multithreaded Programs?

  2018cites this paper
• Runtime Verification of Hierarchical Decentralized Specifications

  2018cites this paper
• Predicting Errors in Concurrent Systems

  2017cites this paper
• A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques

  2017cites this paper
• Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers

  2017cites this paper
• Experimental Performance Comparison of Dynamic Data Race Detection Techniques

  2017cites this paper
• Dynamic race prediction in linear time

  2017cites this paper
• RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay

  2017cites this paper
• Thread-modular static analysis for relaxed memory models

  2017cites this paper
• SpaceSearch: a library for building and verifying solver-aided tools

  2017cites this paper
• FAST AND PRECISE ON-THE-FLY DATA RACE DETECTION A Thesis by ARUN

  2016cites this paper
• Precise and maximal race detection from incomplete traces

  2016cites this paper
• IPA: improving predictive analysis with pointer analysis

  2016influential citation
• Runtime Verification and Debugging of Concurrent Software

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

  2016cites this paper
• Python predictive analysis for bug detection

  2016cites this paper
• Bagpipe : Verified BGP Configuration Checking

  2016cites this paper
• Succinct Representation of Concurrent Trace Sets

  2015cites this paper
• Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures

  2015cites this paper
• Dynamic Generation of Likely Invariants for Multithreaded Programs

  2015cites this paper
• Interleaving generation for data race and deadlock reproduction

  2015cites this paper
• Hyperconcolic Finding parallel bugs in Java programs , using concolic execution

  2015influential citation
• Assertion guided symbolic execution of multithreaded programs

  2015cites this paper
• GPredict: Generic Predictive Concurrency Analysis

  2015cites this paper
• Predicting and Witnessing Data Races Using CSP

  2015cites this paper
• SMT Solving for the Theory of Ordering Constraints

  2015cites this paper
• Stateless model checking concurrent programs with maximal causality reduction

  2015cites this paper
• Runtime prevention of concurrency related type-state violations in multithreaded applications

  2014cites this paper
• Algorithmic techniques for predictive testing of concurrent programs and distributed systems

  2014cites this paper
• Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability

  2014cites this paper
• Race directed scheduling of concurrent programs

  2014influential citation
• Directed Testing of Event-Driven and Parallel Programs

  2014influential citation
• Maximal sound predictive race detection with control flow abstraction

  2014influential citation
• Generating effective tests for concurrent programs via AI automated planning techniques

  2014cites this paper
• Sherlock: scalable deadlock detection for concurrent programs

  2014influential citation
• Verifying a quantitative relaxation of linearizability via refinement

  2013cites this paper
• Round-up: Runtime checking quasi linearizability of concurrent data structures

  2013cites this paper
• Symbolic Analysis of Concurrency Errors in OpenMP Programs

  2013cites this paper
• A SURVEY ON TESTING CONCURRENT AND MULTI-THREADED APPLICATIONS TOOLS AND METHODOLOGIES

  2012cites this paper
• Maximal Causal Models for Sequentially Consistent Systems

  2012cites this paper
• Dynamic Prediction of Concurrency Errors

  2012cites this paper
• Predicting null-pointer dereferences in concurrent programs

  2012cites this paper
• Sound predictive race detection in polynomial time

  2012influential citation