J-ReCoVer: Java Reducer Commutativity Verifier.

Yu-Fang Chen, Chang-Yi Chiang, Luks Holk, Wei-Tsung Kao, Hsin-Hung Lin, Toms Vojnar, Yean-Fu Wen, Wei-Cheng Wu

Browse the full APLAS paper archive.