GURAR-Experiment

Figshare2019-08-23 更新2026-04-29 收录

并发程序分析

数据竞争检测

数据链接：

https://figshare.com/articles/dataset/GURAR-Experiment/9724055 数据链接链接失效反馈

官方服务：

资源简介：

This is a data race detection result from the paper: Efficient, context-sensitive and guarded data race detection.

创建时间：

2019-08-23

Data for 'Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA'

静态分析

数据竞争检测

This is the Dataset corresponding to "Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA" (RWTH-2023-05106). Most notably, this includes the source code for the optimi

DataCite Commons2023-05-23 更新110

GURAR-Experiment

数据竞争检测

多线程编程

This is a data race detection result from the paper: Efficient, context-sensitive and guarded data race detection.

DataCite Commons2020-08-26 更新60

GURAR-Experiment

数据竞争检测

并发程序分析

This is a data race detection result from the paper: Efficient, context-sensitive and guarded data race detection.

NIAID Data Ecosystem40

DataRaceBench V1.4.1 and DataRaceBench-ML V0.1

数据竞争检测

机器学习

DataRaceBench V1.4.1和DataRaceBench-ML V0.1是由爱荷华州立大学和劳伦斯利弗莫尔国家实验室的研究人员创建的数据集，旨在评估数据竞争检测工具。DataRaceBench包含181个微基准测试，而DataRaceBench-ML V0.1则专注于机器学习方法，特别是大型语言模型(LLMs)的微调。数据集通过详细的标签和代码示例，支持机器学习模型在数据竞争检测中的应

arXiv2023-08-17 更新90

Artifact for 'Modeling Synchronization and Consistency for Data Race Detection in Remote Memory Access Programs'

并行计算

数据竞争检测

This is the artifact of the dissertation 'Modeling Synchronization and Consistency for Data Race Detection in Remote Memory Access Programs'. In the dissertation, a generalized data race detector for

DataCite Commons2025-04-25 更新50

GURAR-Experiment

资源简介：

相关数据集