activity
20122019
most citedLessons Learned From Microkernel Verification -- Specification is the New Bottleneck

41 citations · 42 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2018

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…