Copertina

HardRace: A Dynamic Data Race Monitor for Production Use

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sun, Xudong, Chen, Zhuo, Shi, Jingyang, Zhang, Yiyu, Di, Peng, Zhao, Jianhua, Li, Xuandong, Zuo, Zhiqiang
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
di: Zhang, Yiyu, et al.
Pubblicazione: (2024)

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

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

Towards an Accurate GPU Data Race Detector
di: Nayak, Ajay, et al.
Pubblicazione: (2026)

Scalable Supervisory Architecture for Autonomous Race Cars
di: Demeter, Zalán, et al.
Pubblicazione: (2024)

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)

Racing Against the Clock: Exploring the Impact of Scheduled Deadlines on Technical Debt
di: Edbert, Joshua Aldrich, et al.
Pubblicazione: (2025)

Racing the Market: An Industry Support Analysis for Pricing-Driven DevOps in SaaS
di: Garcia-Fernández, Alejandro, et al.
Pubblicazione: (2024)

AROLA: A Modular Layered Architecture for Scaled Autonomous Racing
di: Shihata, Fam, et al.
Pubblicazione: (2026)

ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
di: Baumann, Nicolas, et al.
Pubblicazione: (2024)

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

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

Fast and Modular Autonomy Software for Autonomous Racing Vehicles
di: Saba, Andrew, et al.
Pubblicazione: (2024)

Scaling Inter-procedural Dataflow Analysis on the Cloud
di: Sun, Zewen, et al.
Pubblicazione: (2024)

Evaluation of Local Planner-Based Stanley Control in Autonomous RC Car Racing Series
di: Fazekas, Máté, et al.
Pubblicazione: (2024)

DR.FIX: Automatically Fixing Data Races at Industry Scale
di: Behrang, Farnaz, et al.
Pubblicazione: (2025)

AUTOVR: Automated UI Exploration for Detecting Sensitive Data Flow Exposures in Virtual Reality Apps
di: Kim, John Y., et al.
Pubblicazione: (2025)

A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions
di: Dossche, Niels, et al.
Pubblicazione: (2024)

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

Diversity's Double-Edged Sword: Analyzing Race's Effect on Remote Pair Programming Interactions
di: Mason, Shandler A., et al.
Pubblicazione: (2024)

REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
di: Chi, Jianlei, et al.
Pubblicazione: (2024)

Fast and Realistic Automated Scenario Simulations and Reporting for an Autonomous Racing Stack
di: Lambertini, Giovanni, et al.
Pubblicazione: (2025)

Beyond C/C++: Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering
di: Zhuo, Zhuo, et al.
Pubblicazione: (2025)

Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-Task Learning
di: Zhang, Xiaoling, et al.
Pubblicazione: (2024)

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification
di: Li, Jingyang, et al.
Pubblicazione: (2026)

Predictive Monitoring of Business Processes
di: Maggi, Fabrizio Maria, et al.
Pubblicazione: (2013)

UCRBench: Benchmarking LLMs on Use Case Recovery
di: Xiao, Shuyuan, et al.
Pubblicazione: (2025)

Teaching Code LLMs to Use Autocompletion Tools in Repository-Level Code Generation
di: Wang, Chong, et al.
Pubblicazione: (2024)

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
di: Yuan, Zhiqiang, et al.
Pubblicazione: (2025)

Code Membership Inference for Detecting Unauthorized Data Use in Code Pre-trained Language Models
di: Zhang, Sheng, et al.
Pubblicazione: (2023)

Who Wins the Race? (R Vs Python) - An Exploratory Study on Energy Consumption of Machine Learning Algorithms
di: Chattaraj, Rajrupa, et al.
Pubblicazione: (2025)

Improving Code Search with Hard Negative Sampling Based on Fine-tuning
di: Dong, Hande, et al.
Pubblicazione: (2023)

A Microservice Graph Generator with Production Characteristics
di: Du, Fanrong, et al.
Pubblicazione: (2024)

StmtTree: An Easy-to-Use yet Versatile Fortran Transformation Toolkit
di: Lin, Jingbo, et al.
Pubblicazione: (2024)

Fixseeker: An Empirical Driven Graph-based Approach for Detecting Silent Vulnerability Fixes in Open Source Software
di: Cheng, Yiran, et al.
Pubblicazione: (2025)

PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
di: Liu, Xiting, et al.
Pubblicazione: (2026)

Efficient Function Orchestration for Large Language Models
di: Liu, Xiaoxia, et al.
Pubblicazione: (2025)

No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation
di: Yuan, Zhiqiang, et al.
Pubblicazione: (2023)