Copertina

Efficient Timestamping for Sampling-based Race Detection

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Minjian, Lim, Daniel Wee Soong, Thokair, Mosaad Al, Mathur, Umang, Viswanathan, Mahesh
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Dynamic Race Detection With O(1) Samples
di: Thokair, Mosaad Al, et al.
Pubblicazione: (2025)

Efficient Dynamic Algorithms to Predict Short Races
di: Zhang, Minjian, et al.
Pubblicazione: (2026)

The Decision Problem for Regular First-Order Theories
di: Mathur, Umang, et al.
Pubblicazione: (2024)

State Space Estimation for DPOR-based Model Checkers(Extended Version)
di: Balasubramanian, A. R., et al.
Pubblicazione: (2025)

Compiling Away the Overhead of Race Detection
di: Paznikov, Alexey, et al.
Pubblicazione: (2025)

Enhanced Data Race Prediction Through Modular Reasoning
di: Ang, Zhendong, et al.
Pubblicazione: (2025)

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
di: Mathur, Umang, et al.
Pubblicazione: (2022)

Predictive Monitoring with Strong Trace Prefixes
di: Ang, Zhendong, et al.
Pubblicazione: (2024)

Predictive Monitoring against Pattern Regular Languages
di: Ang, Zhendong, et al.
Pubblicazione: (2023)

Counting and Sampling Traces in Regular Languages
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Parametrizing Reads-From Equivalence for Predictive Monitoring
di: Farzan, Azadeh, et al.
Pubblicazione: (2026)

Fixed Parameter Tractable Linearizability Monitoring
di: Han, Lee Zheng, et al.
Pubblicazione: (2025)

Efficient Decrease-and-Conquer Linearizability Monitoring
di: Han, Lee Zheng, et al.
Pubblicazione: (2024)

A faster FPRAS for #NFA
di: Meel, Kuldeep S., et al.
Pubblicazione: (2023)

Program Skeletons for Automated Program Translation
di: Wang, Bo, et al.
Pubblicazione: (2025)

The Complexity of Testing Message-Passing Concurrency
di: Shi, Zheng, et al.
Pubblicazione: (2025)

RaceFixer -- An Automated Data Race Fixer
di: Malakar, Sanjay, et al.
Pubblicazione: (2024)

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
di: Bhusal, Bishnu, et al.
Pubblicazione: (2025)

Anvil: A General-Purpose Timing-Safe Hardware Description Language
di: Yu, Jason Zhijingcheng, et al.
Pubblicazione: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
di: Dacík, Tomáš, et al.
Pubblicazione: (2025)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
di: Schwarz, Michael, et al.
Pubblicazione: (2025)

RacerF: Data Race Detection with Frama-C (Competition Contribution)
di: Dacík, Tomáš, et al.
Pubblicazione: (2025)

Correcting Selection Bias in Sparse User Feedback for Large Language Model Quality Estimation: A Multi-Agent Hierarchical Bayesian Approach
di: Morandi, Andrea, et al.
Pubblicazione: (2026)

Deciding branching hyperproperties for real time systems
di: Deka, Nabarun, et al.
Pubblicazione: (2024)

Optimistic Prediction of Synchronization-Reversal Data Races
di: Shi, Zheng, et al.
Pubblicazione: (2024)

React-tRace: A Semantics for Understanding React Hooks
di: Lee, Jay, et al.
Pubblicazione: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
di: Lim, Sangho, et al.
Pubblicazione: (2025)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
di: Serebryany, Kostya, et al.
Pubblicazione: (2023)

An Optimizing Framework on MLIR for Efficient FPGA-based Accelerator Generation
di: Zhang, Weichuang, et al.
Pubblicazione: (2024)

Efficient decomposition of unitary matrices in quantum circuit compilers
di: Krol, A. M., et al.
Pubblicazione: (2021)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2022)

CF-GKAT: Efficient Validation of Control-Flow Transformations
di: Zhang, Cheng, et al.
Pubblicazione: (2024)

Pattern Matching in AI Compilers and its Formalization (Extended Version)
di: Cutler, Joseph W., et al.
Pubblicazione: (2024)

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
di: Jung, Christoph, et al.
Pubblicazione: (2025)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
di: Randone, Francesca, et al.
Pubblicazione: (2026)

Rubato: Transcribing Piano Music with Timestamps
di: Tamer, Nazif Can, et al.
Pubblicazione: (2026)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
di: Böck, Markus, et al.
Pubblicazione: (2025)

Efficient Linearizability Monitoring
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2025)

Denotation-based Compositional Compiler Verification
di: Cheng, Zhang, et al.
Pubblicazione: (2024)

Efficient Cost Bounds with Linear Maps
di: Kahn, David M, et al.
Pubblicazione: (2025)