Buchumschlag

Optimistic Prediction of Synchronization-Reversal Data Races

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Shi, Zheng, Mathur, Umang, Pavlogiannis, Andreas
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Enhanced Data Race Prediction Through Modular Reasoning
von: Ang, Zhendong, et al.
Veröffentlicht: (2025)

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
von: Mathur, Umang, et al.
Veröffentlicht: (2022)

Compiling Away the Overhead of Race Detection
von: Paznikov, Alexey, et al.
Veröffentlicht: (2025)

Efficient Decrease-and-Conquer Linearizability Monitoring
von: Han, Lee Zheng, et al.
Veröffentlicht: (2024)

HardRace: A Dynamic Data Race Monitor for Production Use
von: Sun, Xudong, et al.
Veröffentlicht: (2024)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
von: Chakraborty, Soham, et al.
Veröffentlicht: (2025)

Towards an Accurate GPU Data Race Detector
von: Nayak, Ajay, et al.
Veröffentlicht: (2026)

Program Skeletons for Automated Program Translation
von: Wang, Bo, et al.
Veröffentlicht: (2025)

RaceFixer -- An Automated Data Race Fixer
von: Malakar, Sanjay, et al.
Veröffentlicht: (2024)

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
von: Li, Tianyu, et al.
Veröffentlicht: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
von: Dacík, Tomáš, et al.
Veröffentlicht: (2025)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
von: Schwarz, Michael, et al.
Veröffentlicht: (2025)

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

Racing Against the Clock: Exploring the Impact of Scheduled Deadlines on Technical Debt
von: Edbert, Joshua Aldrich, et al.
Veröffentlicht: (2025)

Scalable Supervisory Architecture for Autonomous Race Cars
von: Demeter, Zalán, et al.
Veröffentlicht: (2024)

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

Understanding by Reconstruction: Reversing the Software Development Process for LLM Pretraining
von: Zeng, Zhiyuan, et al.
Veröffentlicht: (2026)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
von: Zhao, Jianhong, et al.
Veröffentlicht: (2024)

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
von: Castro, Pablo F., et al.
Veröffentlicht: (2025)

Context-Adaptive Requirements Defect Prediction through Human-LLM Collaboration
von: Unterbusch, Max, et al.
Veröffentlicht: (2026)

The Complexity of Testing Message-Passing Concurrency
von: Shi, Zheng, et al.
Veröffentlicht: (2025)

MBTModelGenerator: Automated Reverse Engineering of Test Models from Clickstream Data for Model-Based Testing of Web Applications
von: Garousi, Vahid, et al.
Veröffentlicht: (2025)

ICCheck: A Portable, Language-Agnostic Tool for Synchronizing Code Clones
von: Abe, Motoki, et al.
Veröffentlicht: (2025)

AROLA: A Modular Layered Architecture for Scaled Autonomous Racing
von: Shihata, Fam, et al.
Veröffentlicht: (2026)

Empirical Studies on Adversarial Reverse Engineering with Students
von: Tab, et al.
Veröffentlicht: (2026)

reAnalyst: Scalable Annotation of Reverse Engineering Activities
von: Zhang, Tab, et al.
Veröffentlicht: (2024)

R2ComSync: Improving Code-Comment Synchronization with In-Context Learning and Reranking
von: Yang, Zhen, et al.
Veröffentlicht: (2025)

Generating Software Architecture Description from Source Code using Reverse Engineering and Large Language Model
von: Hatahet, Ahmad, et al.
Veröffentlicht: (2025)

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

React-tRace: A Semantics for Understanding React Hooks
von: Lee, Jay, et al.
Veröffentlicht: (2025)

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

HyLiMo: A Hybrid Live-Synchronized Modular Diagramming Editor as IDE Extension for Technical and Scientific Publications
von: Krieger, Niklas, et al.
Veröffentlicht: (2024)

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

You Augment Me: Exploring ChatGPT-based Data Augmentation for Semantic Code Search
von: Wang, Yanlin, et al.
Veröffentlicht: (2024)

Research on Mobile Network High-precision Absolute Time Synchronization based on TAP
von: Zhang, Chenyu, et al.
Veröffentlicht: (2024)

Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-Task Learning
von: Zhang, Xiaoling, et al.
Veröffentlicht: (2024)

Knowledge-Graph-Driven Data Synthesis for Low-Resource Software Development: A HarmonyOS Case Study
von: Liu, Mingwei, et al.
Veröffentlicht: (2025)

SeeAction: Towards Reverse Engineering How-What-Where of HCI Actions from Screencasts for UI Automation
von: Zhao, Dehai, et al.
Veröffentlicht: (2025)

HumanEvo: An Evolution-aware Benchmark for More Realistic Evaluation of Repository-level Code Generation
von: Zheng, Dewu, et al.
Veröffentlicht: (2024)

Fast and Modular Autonomy Software for Autonomous Racing Vehicles
von: Saba, Andrew, et al.
Veröffentlicht: (2024)