arXiv (All)
open access
Instrumentation Optimization for Practical Dynamic Race Detection
Dynamic data race detectors are successful at flagging concurrency bugs, but their high runtime overhead limits adoption. This overhead stems primarily from pervasive instrumentation of memory accesses -- a significant fraction of which is for safe accesses. We address this inefficiency through a co
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- WarpGuard: Towards Control-Flow Attestation for Heterogeneous CPU-GPU Execution#370276
- A review of automated approaches to race condition detection#421885
- EmbedSanitizer: runtime race detection tool for 32-bit embedded ARM#955196
- NosRacer: Dynamic Detection of Race Conditions in On-Device Network Operating Systems#1257931
- NosRacer: Dynamic Detection of Race Conditions in On-Device Network Operating Systems#1249155
Record · ID 1400810
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive