Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, and Alexander Weigl
In:Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation (MARS/VPT@ETAPS 2018)
Publisher:Open Publishing Association
Series:Electronic Proceedings in Theoretical Computer Science
Volume:268
Year:2018
Pages:185-199
Preprint/PDF:MapReduce_VPT18.pdf
DOI:10.4204/EPTCS.268.7

BibTeX

@InProceedings{MapReduce_VPT18,
  author    = {Bernhard Beckert and Timo Bingmann and Moritz Kiefer and Peter
               Sanders and Mattias Ulbrich and Alexander Weigl},
  title     = {Proving Equivalence Between Imperative and MapReduce
               Implementations Using Program Transformations},
  booktitle = {Third Workshop on Models for Formal Analysis of Real Systems and
               Sixth International Workshop on Verification and Program Transformation
               ({MARS/VPT@ETAPS} 2018)},
  year      = {2018},
  month     = apr,
  editor    = {John P. Gallagher and Rob van Glabbeek and Wendelin Serwe},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {268},
  publisher = {Open Publishing Association},
  pages     = {185--199},
  doi       = {10.4204/EPTCS.268.7},
  venue     = {Thessaloniki, Greece},
  eventdate = {2018-04-20/2018-04-20}
}