CLAP: recording local executions to reproduce concurrency failures

No abstract is available for this paper.

• Publication year

  2013

• Venue

  ACM-SIGPLAN Symposium on Programming Language Design and Implementation

• Publication date

  2013-06-16

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2491956.2462167
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Stride: Search-based deterministic replay in polynomial time via bounded linkage

  2012influential reference
• LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction

  2012cited by this paper
• Chimera: hybrid program analysis for determinism

  2012influential reference
• Tracking Conflicting Accesses Efficiently for Software Record and Replay

  2012cited by this paper
• An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs

  2011cited by this paper
• Partial replay of long-running applications

  2011cited by this paper
• Offline symbolic analysis to infer Total Store Order

  2011influential reference
• DoublePlay: parallelizing sequential logging and replay

  2011influential reference
• Automated atomicity-violation fixing

  2011cited by this paper
• Accentuating the positive: atomicity inference and enforcement using correct executions

  2011cited by this paper
• Respec: efficient online multiprocessor replayvia speculation and external determinism

  2010cited by this paper
• A trace simplification technique for effective debugging of concurrent programs

  2010influential reference
• Instrumentation and sampling strategies for cooperative concurrency bug isolation

  2010cited by this paper
• MemSAT: checking axiomatic specifications of memory models

  2010influential reference
• Trace-Based Symbolic Analysis for Atomicity Violations

  2010cited by this paper
• LEAP: lightweight deterministic multi-processor replay of concurrent java programs

  2010influential reference
• Adversarial memory for detecting destructive races

  2010cited by this paper
• Analyzing multicore dumps to facilitate concurrency bug reproduction

  2010influential reference
• Execution synthesis: a technique for automated software debugging

  2010influential reference
• PRES: probabilistic replay with execution sketching on multiprocessors

  2009cited by this paper
• A case for an interleaving constrained shared-memory multi-processor

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

  2009cited by this paper
• ODR: output-deterministic replay for multicore debugging

  2009influential reference
• Offline symbolic analysis for multi-processor execution replay

  2009influential reference
• Z3: An Efficient SMT Solver

  2008influential reference
• Finding and Reproducing Heisenbugs in Concurrent Programs

  2008cited by this paper
• Efficient program execution indexing

  2008cited by this paper
• KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

  2008influential reference
• Rerun: Exploiting Episodes for Lightweight Memory Race Recording

  2008cited by this paper
• DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Ef?ciently

  2008cited by this paper
• A study of interleaving coverage criteria

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

  2007influential reference
• A Decision Procedure for Bit-Vectors and Arrays

  2007influential reference
• LOCKSMITH: context-sensitive correlation analysis for race detection

  2006influential reference
• The YICES SMT Solver

  2006influential reference
• A programmable hardware path profiler

  2005cited by this paper
• JaRec: a portable record/replay environment for multi‐threaded Java applications

  2004cited by this paper
• A "flight data recorder" for enabling full-system multiprocessor deterministic replay

  2003cited by this paper
• The SPARC Architecture Manual

  2003cited by this paper
• Fast path-based neural branch prediction

  2003cited by this paper
• Whole program paths

  1999influential reference
• Testing Shared Memories

  1997cited by this paper
• Efficient path profiling

  1996cited by this paper

• Compiler Optimization-Based SMT Simplifications: An In-Depth Study

  2026cites this paper
• Gender Dynamics in Software Engineering: Insights from Research on Concurrency Bug Reproduction

  2025cites this paper
• Detecting Lifecycle-Related Concurrency Bugs in ROS Programs via Coverage-Guided Fuzzing

  2025cites this paper
• Triggering Data Races in Multi-Threaded Programs Using Enhanced S2E

  2025cites this paper
• VeriFix: Verifying Your Fix Towards An Atomicity Violation

  2025cites this paper
• Aligned Better, Listen Better for Audio-Visual Large Language Models

  2025cites this paper
• How Well Industry-Level Cause Bisection Works in Real-World: A Study on Linux Kernel

  2024cites this paper
• OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering

  2024cites this paper
• HardRace: A Dynamic Data Race Monitor for Production Use

  2024cites this paper
• Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection

  2024cites this paper
• Generator-Based Fuzzers with Type-Based Targeted Mutation

  2024influential citation
• SyzRetrospector: A Large-Scale Retrospective Study of Syzbot

  2024cites this paper
• Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information

  2024cites this paper
• Minimal Context-Switching Data Race Detection with Dataflow Tracking

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

  2024cites this paper
• Enhancing S2E to Analyze Multi-Thread Programs

  2023cites this paper
• AudioFormer: Audio Transformer learns audio feature representations from discrete acoustic codes

  2023cites this paper
• Enhanced S2E for Analysis of Multi-Thread Software

  2023cites this paper
• Vidi: Record Replay for Reconfigurable Hardware

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

  2023cites this paper
• Understanding Concurrency Vulnerabilities in Linux Kernel

  2022cites this paper
• Understanding and Reaching the Performance Limit of Schedule Tuning on Stable Synchronization Determinism

  2022cites this paper
• An empirical characterization of software bugs in open-source Cyber-Physical Systems

  2022cites this paper
• RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis

  2021cites this paper
• Canary: practical static detection of inter-thread value-flow bugs

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

  2021cites this paper
• STRAB: state recovery using reverse execution at IR level for concurrent programs

  2021influential citation
• Automatically detecting and fixing concurrency bugs in go software systems

  2021cites this paper
• C^2SR: Cybercrime Scene Reconstruction for Post-mortem Forensic Analysis

  2021cites this paper
• Machine learning-based test selection for simulation-based testing of self-driving cars software

  2021cites this paper
• Postmortem accurate IR-level state recovery for deployed concurrent programs

  2021influential citation
• An Effective Parallel Program Debugging Approach Based on Timing Annotation

  2021cites this paper
• An exploratory study of autopilot software bugs in unmanned aerial vehicles

  2021cites this paper
• Testing for Race Conditions in Distributed Systems via SMT Solving

  2020cites this paper
• Designing Practical Software Bug Detectors Using Commodity Hardware and Common Programming Patterns

  2020cites this paper
• Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net

  2020cites this paper
• Symbolic Verification of Message Passing Interface Programs

  2020cites this paper
• ConTesa: Directed Test Suite Augmentation for Concurrent Software

  2020cites this paper
• Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling

  2020cites this paper
• WATCHER: in-situ failure diagnosis

  2020cites this paper
• Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

  2020cites this paper
• Empirical research on concurrent software testing: A systematic mapping study

  2019cites this paper
• Performance Evaluation of Data Race Detection Based on Thread Sharing Analysis With Different Granularities: An Empirical Study

  2019cites this paper
• DFix: automatically fixing timing bugs in distributed systems

  2019cites this paper
• Sparse record and replay with controlled scheduling

  2019cites this paper
• Genetic algorithm based test data generation for MPI parallel programs with blocking communication

  2019cites this paper
• RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis

  2019cites this paper
• Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs

  2019cites this paper
• CLOTHO: directed test generation for weakly consistent database systems

  2019cites this paper
• AggrePlay: efficient record and replay of multi-threaded programs

  2019cites this paper
• Concurrency Debugging with MaxSMT

  2019cites this paper
• Processor-Oblivious Record and Replay

  2019cites this paper
• Semantics-aware scheduling policies for synchronization determinism

  2019cites this paper
• A Quick Deterministic Replay Method Based on Dependence Pair

  2018cites this paper
• Scalable concurrency debugging with distributed graph processing

  2018influential citation
• Combining Symbolic Execution and Model Checking to Verify MPI Programs

  2018cites this paper
• iReplayer: in-situ and identical record-and-replay for multithreaded applications

  2018influential citation
• CoopREP: Cooperative record and replay of concurrency bugs

  2018cites this paper
• SWORD: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs

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

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

  2018cites this paper
• Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation

  2018cites this paper
• Using Local Clocks to Reproduce Concurrency Bugs

  2018influential citation
• DDS: Deadlock Detector and Solver

  2018cites this paper
• A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets

  2018cites this paper
• Efficient, Practical Dynamic Program Analyses for Concurrency Correctness

  2017cites this paper
• Easier Parallel Programming with Provably-Efficient Runtime Schedulers

  2017cites this paper
• RETRACTED ARTICLE: Facilitating debugging of web applications through recording reduction

  2017cites this paper
• SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code

  2017cites this paper
• Reproducing concurrency failures from crash stacks

  2017influential citation
• Speeding Up Maximal Causality Reduction with Static Dependency Analysis

  2017cites this paper
• Deterministic Replay for Multi-Core VxWorks Applications

  2017cites this paper
• Static deadlock detection for asynchronous C# programs

  2017cites this paper
• DESCRY: reproducing system-level concurrency failures

  2017cites this paper
• Towards Production-Run Heisenbugs Reproduction on Commercial Hardware

  2017influential citation
• Processor-Oblivious Record and Replay

  2017cites this paper
• Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets

  2017cites this paper
• Efficient Compiler and Runtime Support for Serializability and Strong Semantics on Commodity Hardware

  2017cites this paper
• ReSeer: Efficient search-based replay for multiprocessor virtual machines

  2017cites this paper
• Low Overhead Data Race Detection Techniques for Large OpenMP Applications

  2017cites this paper
• Automated Testing of Definition-Use Data Flow for Multithreaded Programs

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

  2017cites this paper
• Enabling Fine-Grained Reconstruction and Analysis of Web Attacks with In-Browser Recording Systems

  2017cites this paper
• Debugging Concurrent Software: Advances and Challenges

  2016cites this paper
• Shared Memory Dependence Reduction via Bisectional Coordination

  2016influential citation
• Hierarchical Program Paths

  2016cites this paper
• Online shared memory dependence reduction via bisectional coordination

  2016influential citation
• Production-guided concurrency debugging

  2016influential citation
• FAST AND PRECISE ON-THE-FLY DATA RACE DETECTION A Thesis by ARUN

  2016cites this paper
• Concurrency Debugging with Differential Schedule Projections

  2016influential citation
• PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment

  2016cites this paper
• Systematic detection of memory related performance bottlenecks in GPGPU programs

  2016cites this paper
• Isolating Graphical Failure-Inducing Input for Privacy Protection in Error Reporting Systems

  2016cites this paper
• Parallel data race detection for task parallel programs with locks

  2016cites this paper
• Directed synthesis of failing concurrent executions

  2016influential citation
• SReplay: Deterministic Sub-Group Replay for One-Sided Communication

  2016cites this paper
• Verifying Synchronization for Atomicity Violation Fixing

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

  2016cites this paper
• Principled workflow-centric tracing of distributed systems

  2016cites this paper
• RDE: Replay DEbugging for Diagnosing Production Site Failures

  2016cites this paper