Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations

Bernhard Beckert, Timo Bingmann, Moritz Kiefer +3

Distributed programs are often formulated in popular functional frameworks like MapReduce, Spark and Thrill, but writing efficient algorithms for such frameworks is usually a non-t…