J-ReCoVer: Java Reducer Commutativity Verifier - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu. J-ReCoVer: Java Reducer Commutativity Verifier. In Anthony Widjaja Lin, editor, Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. Volume 11893 of Lecture Notes in Computer Science, pages 357-366, Springer, 2019. [doi]

This author has not been identified. It may be one of the following persons:

Yu-Fang Chen

Look up 'Yu-Fang Chen' in GoogleThis author has not been identified. Look up 'Chang-Yi Chiang' in GoogleThis author has not been identified. Look up 'Lukás Holík' in GoogleThis author has not been identified. Look up 'Wei-Tsung Kao' in GoogleThis author has not been identified. Look up 'Hsin-hung Lin' in GoogleThis author has not been identified. Look up 'Tomás Vojnar' in GoogleThis author has not been identified. Look up 'Yean-Fu Wen' in GoogleThis author has not been identified. Look up 'Wei-Cheng Wu' in Google

runs on WebDSL