Imagen de Portada

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Schwarz, Michael, Erhard, Julian
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
por: Stemmler, Fabian, et al.
Publicado: (2025)

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

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

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

Software Model Checking via Summary-Guided Search (Extended Version)
por: Fang, Ruijie, et al.
Publicado: (2025)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
por: Lauwaerts, Tom, et al.
Publicado: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
por: Mitchell, Jacqueline L., et al.
Publicado: (2025)

Context-Sensitive Abstract Interpretation of Dynamic Languages
por: Piszcz, Franciszek
Publicado: (2024)

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

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
por: Yrievich, Petro Baran
Publicado: (2026)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
por: Deng, Haotian, et al.
Publicado: (2025)

Local Software Buildability across Java Versions (Registered Report)
por: Sulír, Matúš, et al.
Publicado: (2024)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
por: Wang, Yongpan, et al.
Publicado: (2025)

Runtime Verification on Abstract Finite State Models
por: Jevitha, KP, et al.
Publicado: (2024)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
por: Song, Yewei, et al.
Publicado: (2024)

The Case for Multi-Version Experimental Evaluation (MVEE)
por: Jörz, Simon, et al.
Publicado: (2026)

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

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
por: Steffen, Bernhard, et al.
Publicado: (2024)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
por: Li, Ao, et al.
Publicado: (2025)

AI-Assisted Modeling: DSL-Driven AI Interactions
por: Smyth, Steven, et al.
Publicado: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
por: Cui, Baoquan, et al.
Publicado: (2025)

Assessing the Interpretability of Programmatic Policies with Large Language Models
por: Bashir, Zahra, et al.
Publicado: (2023)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
por: Shree, Iti, et al.
Publicado: (2025)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
por: Chen, Zhiyang, et al.
Publicado: (2022)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
por: Cai, Jianfeng, et al.
Publicado: (2026)

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

PoTo: A Hybrid Andersen's Points-to Analysis for Python
por: Rak-amnouykit, Ingkarat, et al.
Publicado: (2024)

Understanding and Detecting Platform-Specific Violations in Android Auto Apps
por: Fakorede, Moshood, et al.
Publicado: (2025)

AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
por: Zenkner, Janis, et al.
Publicado: (2024)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
por: Heinze, Thomas S.
Publicado: (2026)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
por: Bhatia, Rishipal Singh
Publicado: (2026)

Inferring Non-Failure Conditions for Declarative Programs
por: Hanus, Michael
Publicado: (2024)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
por: Yu, Hao, et al.
Publicado: (2025)

Constant Optimization Driven Database System Testing
por: Zhang, Chi, et al.
Publicado: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
por: Liu, Peipei, et al.
Publicado: (2025)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
por: Odyurt, Uraz, et al.
Publicado: (2025)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
por: Xie, Xiaoheng, et al.
Publicado: (2024)

MapReplay: Trace-Driven Benchmark Generation for Java HashMap
por: Schiavio, Filippo, et al.
Publicado: (2026)

GitChameleon 2.0: Evaluating AI Code Generation Against Python Library Version Incompatibilities
por: Misra, Diganta, et al.
Publicado: (2025)