@InProceedings{BeckertBingmannEtAl2018, author = {Bernhard Beckert and Timo Bingmann and Moritz Kiefer and Peter Sanders and Mattias Ulbrich and Alexander Weigl}, title = {Relational Equivalence Proofs Between Imperative and MapReduce Algorithms}, booktitle = {10th Working Conference on Verified Software: Theories, Tools, and Experiments ({VSTTE} 2018)}, year = {2018}, month = jul, editor = {Ruzica Piskac, Philipp Rümmer}, series = {LNCS}, publisher = {Springer}, note = {To appear.} }