Imagen de Portada

Optimistic Prediction of Synchronization-Reversal Data Races

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Shi, Zheng, Mathur, Umang, Pavlogiannis, Andreas
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

HardRace: A Dynamic Data Race Monitor for Production Use
por: Sun, Xudong, et al.
Publicado: (2024)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
por: Chakraborty, Soham, et al.
Publicado: (2025)

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

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

Program Skeletons for Automated Program Translation
por: Wang, Bo, et al.
Publicado: (2025)

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
por: Li, Tianyu, et al.
Publicado: (2025)

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

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

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

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

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

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

Understanding by Reconstruction: Reversing the Software Development Process for LLM Pretraining
por: Zeng, Zhiyuan, et al.
Publicado: (2026)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
por: Zhao, Jianhong, et al.
Publicado: (2024)

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
por: Castro, Pablo F., et al.
Publicado: (2025)

Context-Adaptive Requirements Defect Prediction through Human-LLM Collaboration
por: Unterbusch, Max, et al.
Publicado: (2026)

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

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

ICCheck: A Portable, Language-Agnostic Tool for Synchronizing Code Clones
por: Abe, Motoki, et al.
Publicado: (2025)

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

Empirical Studies on Adversarial Reverse Engineering with Students
por: Tab, et al.
Publicado: (2026)

reAnalyst: Scalable Annotation of Reverse Engineering Activities
por: Zhang, Tab, et al.
Publicado: (2024)

R2ComSync: Improving Code-Comment Synchronization with In-Context Learning and Reranking
por: Yang, Zhen, et al.
Publicado: (2025)

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

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

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

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

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

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

You Augment Me: Exploring ChatGPT-based Data Augmentation for Semantic Code Search
por: Wang, Yanlin, et al.
Publicado: (2024)

Research on Mobile Network High-precision Absolute Time Synchronization based on TAP
por: Zhang, Chenyu, et al.
Publicado: (2024)

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

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

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

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

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