TACAS2019 Artifact Evaluation for paper "J-ReCoVer: Java Reducer Commutativity Verifier"

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.