TACAS2019 Artifact Evaluation for paper "J-ReCoVer: Java Reducer Commutativity Verifier"
收藏DataCite Commons2020-08-28 更新2024-07-27 收录
下载链接:
https://figshare.com/articles/TACAS2019_Artifact_Evaluation_for_paper_J-ReCoVer_Java_Reducer_Commutativity_Verifier_/7333616
下载链接
链接失效反馈官方服务:
资源简介:
This archive is for the artifact evaluation for the paper "J-ReCoVer: Java Reducer Commutativity Verifier". In this paper, we propose effective heuristics for reducer commutativity analysis and implement them as a tool named J-ReCoVer (Java Reducer Commutativity Verifier). To our knowledge, J-ReCoVer is the first tool specialized in checking reducer commutativity.<br><br>The archive contains the scripts and the benchmarks used to replicate the results showed in the paper, more specifically, to redo the experiments and produce the three result tables and the diagram that we showed in the evaluation chapter of the paper. There are step-by-step instructions included in the README file for how to run the scripts.
提供机构:
figshare
创建时间:
2018-11-13



