Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
Tue 3 Dec 2019 15:30 - 15:45 at Bali Room - Verification Chair(s): Zhilin Wu

MapReduce framework for data-parallel computation was first proposed by Google and later implemented in the Apache Hadoop project. Under the MapReduce framework, a reducer computes output values from a sequence of input values transmitted over the network. Due to the non-determinism in data transmission, the order of input values arrives at the reducer is not fixed. The commutativity problem of reducers asks if the output of a reducer is independent of the order of its inputs. There are several advantages for a reducer being commutative, e.g., the verification problem of a MapReduce program can be reduced to the problem of verifying a sequential program. In this paper, we present a tool J-ReCoVer (Java Reducer Commutativity Verifier) that implements effective heuristics for reducer commutativity analysis. J-ReCoVer is the first tool that is specialized in checking reducer commutativity. Experimental results over 118 benchmark examples collected from open repositories are very positive; J-ReCoVer correctly handles over 97% of them.

Tue 3 Dec
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

15:30 - 17:15: VerificationResearch Papers at Bali Room
Chair(s): Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
15:30 - 15:45
Talk
Research Papers
Yu-Fang ChenAcademia Sinica, Chang-Yi ChiangGraduate Institute of Information Management, National Taipei University, Taiwan, Lukáš HolíkBrno University of Technology, Wei-Tsung KaoInstitute of Information Science, Academia Sinica, Taiwan, Hsin-Hung LinInstitute of Information Science, Academia Sinica, Taiwan, Yean-Fu WenGraduate Institute of Information Management, National Taipei University, Taiwan, Tomáš VojnarBrno University of Technology, Wei-Cheng WuInstitute of Information Science, Academia Sinica, Taiwan
15:45 - 16:15
Talk
Research Papers
Wenbo Zhang, Huan LongShanghai Jiao Tong University, Xian XuEast China University of Science and Technology
16:15 - 16:45
Talk
Research Papers
Makoto TatsutaNational Institute of Informatics, Koji NakazawaGraduate School of Informatics, Nagoya University, Daisuke KimuraToho University
16:45 - 17:15
Talk
Research Papers
Long H. PhamSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Quang Loc LeTeesside University