LiteRace: effective sampling for lightweight data-race detection

No abstract is available for this paper.

• Publication year

  2009

• Venue

  ACM-SIGPLAN Symposium on Programming Language Design and Implementation

• Publication date

  2009-06-15

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1542476.1542491
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On-the-fly detection of access anomalies

  2018cited by this paper
• An empirical comparison of monitoring algorithms for access anomaly detection

  2011cited by this paper
• QVM: An Efficient Runtime for Detecting Defects in Deployed Systems

  2011influential reference
• Foundations of the C++ concurrency memory model

  2008cited by this paper
• The PARSEC benchmark suite: Characterization and architectural implications

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

  2007cited by this paper
• A query language for data parallel programming: invited talk

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

  2007cited by this paper
• Accurate and efficient filtering for the Intel thread checker race detector

  2006cited by this paper
• Effective static race detection for Java

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

  2006cited by this paper
• The Java memory model

  2005cited by this paper
• RaceTrack: efficient detection of data race conditions via adaptive tracking

  2005cited by this paper
• Automated type-based analysis of data races and atomicity

  2005influential reference
• Detecting Data Races Using Dynamic Escape Analysis Based on Read Barrier

  2004cited by this paper
• Low-overhead memory leak detection using adaptive statistical profiling

  2004cited by this paper
• KISS: keep it simple and sequential

  2004influential reference
• Race checking by context inference

  2004influential reference
• RacerX: effective, static detection of race conditions and deadlocks

  2003influential reference
• Hybrid dynamic data race detection

  2003cited by this paper
• Efficient on-the-fly data race detection in multithreaded C++ programs

  2003cited by this paper
• Efficient and precise datarace detection for multithreaded object-oriented programs

  2002cited by this paper
• Ownership types for safe programming: preventing data races and deadlocks

  2002cited by this paper
• Object race detection

  2001cited by this paper
• A framework for reducing the cost of instrumented code

  2001cited by this paper
• TRaDe: A Topological Approach to On-the-Fly Race Detection in Java Programs

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

  2000cited by this paper
• Non-intrusive on-the-fly data race detection using execution replay

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

  1997cited by this paper
• Online data-race detection via coherency guarantees

  1996cited by this paper
• Shared Memory Consistency Models: A Tutorial

  1996cited by this paper
• WARLOCK - A Static Data Race Analysis Tool

  1993influential reference
• Optimal tracing and replay for debugging shared-memory parallel programs

  1993influential reference
• An efficient cache-based access anomaly detection scheme

  1991cited by this paper
• Techniques for debugging parallel programs with flowback analysis

  1991cited by this paper
• On-the-fly detection of data races for programs with nested fork-join parallelism

  1991influential reference
• Detecting access anomalies in programs with critical sections

  1991cited by this paper
• Detecting data races on weak memory systems

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

  1978cited by this paper

• Efficient Dynamic Algorithms to Predict Short Races

  2026cites this paper
• ThreadMonitor: Low‐Overhead Data Race Detection Using Intel Processor Trace

  2026cites this paper
• Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)

  2025cites this paper
• Data Race Detection through Vibe Translation

  2025cites this paper
• Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests

  2025cites this paper
• Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection

  2025cites this paper
• DR.FIX: Automatically Fixing Data Races at Industry Scale

  2025cites this paper
• Efficient Timestamping for Sampling-Based Race Detection

  2025influential citation
• Compiling Away the Overhead of Race Detection

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

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

  2024cites this paper
• Arterial Pulse Wave Velocity Signal Reconstruction Using Low Sampling Rates

  2024cites this paper
• A Binary-level Thread Sanitizer or Why Sanitizing on the Binary Level is Hard

  2024cites this paper
• RaceHunter Dynamic Data Race Detector

  2024cites this paper
• HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection

  2024cites this paper
• SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk

  2023cites this paper
• SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing

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

  2023cites this paper
• Dynamic Race Detection with O(1) Samples

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

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

  2023cites this paper
• A study of real-world data races in Golang

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

  2022influential citation
• Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators

  2022cites this paper
• The ThreadRadar visualization for debugging concurrent Java programs

  2022cites this paper
• Effective fault localization and context‐aware debugging for concurrent programs

  2021cites this paper
• Efficient data race detection of async-finish programs using vector clocks

  2021cites this paper
• System memory protection and vulnerability assessment in presence of software attacks

  2021cites this paper
• Cache abstraction for data race detection in heterogeneous systems with non-coherent accelerators

  2021cites this paper
• Predictive Data Race Detection for GPUs

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

  2021cites this paper
• ExpRace: Exploiting Kernel Races through Raising Interrupts

  2021cites this paper
• On interleaving space exploration of multi-threaded programs

  2021cites this paper
• Human-centric verification for software safety and security

  2020cites this paper
• Low-Overhead Deadlock Prediction

  2020cites this paper
• Ready, set, Go!: Data-race detection and the Go language

  2020cites this paper
• Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems

  2020cites this paper
• BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs †

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

  2020cites this paper
• Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software

  2020cites this paper
• Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs

  2020cites this paper
• Krace: Data Race Fuzzing for Kernel File Systems

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

  2019cites this paper
• Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers

  2019influential citation
• High Performance Dynamic Threading Analysis for Hybrid Applications

  2019cites this paper
• Applying Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs

  2019cites this paper
• SmartTrack: efficient predictive race detection

  2019influential citation
• Fast, Sound and Effectively Complete Dynamic Race Detection

  2019cites this paper
• Ready, set, Go! Data-race detection and the Go language

  2019cites this paper
• Parallel algorithms for predicate detection

  2019cites this paper
• Method for Reducing Overhead of Shared Memory Access Instrumentation

  2019cites this paper
• Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing

  2019cites this paper
• Razzer: Finding Kernel Race Bugs through Fuzzing

  2019cites this paper
• Efficient noise injection for exposing hidden data races

  2019cites this paper
• Detecting concurrency memory corruption vulnerabilities

  2019cites this paper
• A bidirectional trace simplification approach based on a context switch linked list for concurrent programs

  2019cites this paper
• Efficient Precise Dynamic Data Race Detection for CPU and GPU

  2019cites this paper
• Practical Predictive Race Detection

  2019cites this paper
• Pinpoint Data Races via Testing and Classification

  2019cites this paper
• PUSh: Data Race Detection Based on Hardware-Supported Prevention of Unintended Sharing

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

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

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

  2018cites this paper
• Practical detection of concurrency issues at coding time

  2018cites this paper
• Race That Never Ends

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

  2018cites this paper
• Testing multithreaded programs via thread speed control

  2018cites this paper
• Hybrid Data Race Detection for Multicore Software

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

  2018influential citation
• High-coverage, unbounded sound predictive race detection

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

  2018cites this paper
• CURD: a dynamic CUDA race detector

  2018cites this paper
• SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection

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

  2018cites this paper
• Pinpointing and repairing performance bottlenecks in concurrent programs

  2018cites this paper
• HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection

  2018cites this paper
• What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective

  2017cites this paper
• Wireless protocol validation under uncertainty

  2017cites this paper
• Reproducing concurrency failures from crash stacks

  2017cites this paper
• AtexRace: across thread and execution sampling for in-house race detection

  2017influential citation
• A Case Study on Context Maintenance in Dynamic Hybrid Race Detectors

  2017cites this paper
• Systematic black-box analysis of collaborative web applications

  2017cites this paper
• SimEvo: Testing Evolving Multi-process Software Systems

  2017cites this paper
• Analysis of Super Fine-Grained Program Phases

  2017cites this paper
• Automatic detection and validation of race conditions in interrupt-driven embedded software

  2017cites this paper
• Dynamic race prediction in linear time

  2017cites this paper
• 2-2017 Lightweight data race detection for production runs

  2017influential citation
• A Parallel FastTrack Data Race Detector on Multi-core Systems

  2017cites this paper
• Lightweight data race detection for production runs

  2017influential citation
• Experimental Performance Comparison of Dynamic Data Race Detection Techniques

  2017influential citation
• Efficient Compiler and Runtime Support for Serializability and Strong Semantics on Commodity Hardware

  2017cites this paper
• CONTEXT-AWARE DEBUGGING FOR CONCURRENT PROGRAMS

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

  2017influential citation
• 10-2017 PARSNIP : Performant Architecture for Race Safety with No Impact on Precision Yuanfeng

  2017cites this paper
• Time-Aware Dynamic Binary Instrumentation

  2017cites this paper
• Software Analysis Techniques for Detecting Data Race

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

  2017cites this paper
• An automated framework to support testing for process‐level race conditions

  2017cites this paper
• PARSNIP: Performant Architecture for Race Safety with No Impact on Precision

  2017cites this paper
• Data Race Detection by Understanding Synchronization Relationships of Thread Segments

  2017cites this paper