Image de couverture de livre

RaceFixer -- An Automated Data Race Fixer

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Malakar, Sanjay, Haider, Tameem Bin, Shahriar, Rifat
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

RacerF: Lightweight Static Data Race Detection for C Code
par: Dacík, Tomáš, et autres
Publié: (2025)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
par: Schwarz, Michael, et autres
Publié: (2025)

RacerF: Data Race Detection with Frama-C (Competition Contribution)
par: Dacík, Tomáš, et autres
Publié: (2025)

React-tRace: A Semantics for Understanding React Hooks
par: Lee, Jay, et autres
Publié: (2025)

Compiling Away the Overhead of Race Detection
par: Paznikov, Alexey, et autres
Publié: (2025)

FastFixer: An Efficient and Effective Approach for Repairing Programming Assignments
par: Liu, Fang, et autres
Publié: (2024)

Enhanced Data Race Prediction Through Modular Reasoning
par: Ang, Zhendong, et autres
Publié: (2025)

AccessFixer: Enhancing GUI Accessibility for Low Vision Users With R-GCN Model
par: Zhang, Mengxi, et autres
Publié: (2025)

CrashFixer: A crash resolution agent for the Linux kernel
par: Mathai, Alex, et autres
Publié: (2025)

Fast Deterministic Black-box Context-free Grammar Inference
par: Arefin, Mohammad Rifat, et autres
Publié: (2023)

Who Wins the Race? (R Vs Python) - An Exploratory Study on Energy Consumption of Machine Learning Algorithms
par: Chattaraj, Rajrupa, et autres
Publié: (2025)

DR.FIX: Automatically Fixing Data Races at Industry Scale
par: Behrang, Farnaz, et autres
Publié: (2025)

Automated Insertion of Flushes and Fences for Persistency
par: Guo, Yutong, et autres
Publié: (2025)

HardRace: A Dynamic Data Race Monitor for Production Use
par: Sun, Xudong, et autres
Publié: (2024)

Mica: Automated Differential Testing for OCaml Modules
par: Ng, Ernest, et autres
Publié: (2024)

Automated Code Editing with Search-Generate-Modify
par: Liu, Changshu, et autres
Publié: (2023)

ProDebug: An Automated Debugging System for Prolog
par: Brancas, Ricardo, et autres
Publié: (2026)

A Unified Framework for Automated Code Transformation and Pragma Insertion
par: Pouget, Stéphane, et autres
Publié: (2024)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
par: Rho, Sanghoon, et autres
Publié: (2024)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
par: Gorna, Karolina, et autres
Publié: (2025)

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
par: Yao, Bingkun, et autres
Publié: (2025)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
par: Ke, Kaiyao, et autres
Publié: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
par: Svoboda, David, et autres
Publié: (2025)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
par: Erata, Ferhat, et autres
Publié: (2024)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
par: Karapetyan, Daniel
Publié: (2025)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
par: Zhang, Weixing, et autres
Publié: (2024)

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
par: Si, Yuan, et autres
Publié: (2025)

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
par: Erata, Ferhat, et autres
Publié: (2024)

Automated Test Data Generation for Enterprise Protobuf Systems: A Metaclass-Enhanced Statistical Approach
par: Du, Y.
Publié: (2025)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
par: Mang, Qiuyang, et autres
Publié: (2025)

Optimistic Prediction of Synchronization-Reversal Data Races
par: Shi, Zheng, et autres
Publié: (2024)

Towards an Accurate GPU Data Race Detector
par: Nayak, Ajay, et autres
Publié: (2026)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
par: Liu, Peipei, et autres
Publié: (2025)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
par: Xie, Xiaoheng, et autres
Publié: (2024)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
par: Odyurt, Uraz, et autres
Publié: (2025)

Constrained Decoding for Fill-in-the-Middle Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars
par: Melcer, Daniel, et autres
Publié: (2024)

Program Skeletons for Automated Program Translation
par: Wang, Bo, et autres
Publié: (2025)

Tunable Automation in Automated Program Verification
par: Bai, Alexander Y., et autres
Publié: (2025)

Automated Computer Program Evaluation and Projects -- Our Experiences
par: Srinivasan, Bama, et autres
Publié: (2024)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
par: Li, Zhuohao, et autres
Publié: (2025)