-
IR_Based_高级泛型函数IR稀疏矩阵向量乘法代码生成优化数据
2026年1月27日 30 200 96
数据集概述 本数据集围绕高级泛型函数IR生成高效稀疏矩阵向量乘法(SpMV)代码展开,通过扩展泛型IR、用依赖类型建模CSR格式稀疏矩阵,实现比低级别库更高的性能,在Nvidia GPU上对28个不同稀疏度矩阵的SpMV计算平均优于cuSparse 1.7倍,助力开发者以高级描述提升效率。 文件详解 文件名称:artifact.zip 文件格式:ZIP...
-
vstte21_Artifact_LLVM区域内存模型抽象解释实验复现数据
2026年1月21日 30 39 11
数据集概述 本数据集为论文“Abstract Interpretation of LLVM with a Region-Based Memory Model”的实验复现工件,包含复现论文表1结果所需的全部脚本,支持验证LLVM区域内存模型抽象解释的实验结论,是程序分析领域研究的重要辅助材料。 文件详解 文件名称:vstte21-artifact.zip...
-
LLM_Based_伦敦国王学院AI驱动Python编译器测试增强数据集2024
2026年1月15日 30 1 0
数据集概述 本数据集通过整合大语言模型(LLM)与AFL++模糊测试技术生成,用于增强CPython编译器测试。包含由Mistral 7B、Codellama 7B、Gemma 7B等LLM创建的原始Python测试脚本,覆盖多种编译器功能;经模糊测试得到丰富测试用例,可选AFL-...



