Gilles Barthe
Juan Manuel Crespo
César Kunz
2011
Relational Verification Using Product Programs
200–214
Springer Berlin Heidelberg
10.1007/978-3-642-21437-0_17
B. Beckert
T. Bingmann
M. Kiefer
P. Sanders
M. Ulbrich
A. Weigl
2018
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
ArXiv e-prints
https://arxiv.org/abs/1801.08766
Timo Bingmann
Michael Axtmann
Emanuel Jöbstl
Sebastian Lamm
Huyen Chau Nguyen
Alexander Noe
Sebastian Schlag
Matthias Stumpp
Tobias Sturm
Peter Sanders
2016
Thrill: High-Performance Algorithmic Distributed Batch Data Processing with C++
IEEE International Conference on Big Data
IEEE
172–183
10.1109/BigData.2016.7840603
Preprint arXiv:1608.05634
Yu-Fang Chen
Chih-Duo Hong
Ondřej Lengál
Shin-Cheng Mu
Nishant Sinha
Bow-Yaw Wang
2017
An Executable Sequential Specification for Spark Aggregation
https://arxiv.org/abs/1702.02439
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
2016
Relational Verification Through Horn Clause Transformation
Xavier Rival
Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Lecture Notes in Computer Science
9837
Springer Berlin Heidelberg
147–169
10.1007/978-3-662-53413-7_8
Jeffrey Dean
Sanjay Ghemawat
2008
MapReduce: Simplified Data Processing on Large Clusters
Commun. ACM
51
1
107–113
10.1145/1327452.1327492
Dennis Felsing
Sarah Grebing
Vladimir Klebanov
Philipp Rümmer
Mattias Ulbrich
2014
Automating Regression Verification
Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
ASE '14
ACM
New York, NY, USA
349–360
10.1145/2642937.2642987
Benny Godlin
Ofer Strichman
2009
Regression Verification
Proceedings of the 46th Annual Design Automation Conference
DAC '09
ACM
New York, NY, USA
466–471
10.1145/1629911.1630034
Shelly Grossman
Sara Cohen
Shachar Itzhaky
Noam Rinetzky
Mooly Sagiv
2017
Verifying Equivalence of Spark Programs
282–300
Springer International Publishing
Cham
10.1007/978-3-319-63390-9_15
Chris Hawblitzel
Ming Kawaguchi
Shuvendu Lahiri
Henrique Rebêlo
2011
Mutual Summaries: Unifying Program Comparison Techniques
Informal proceedings of BOOGIE 2011 workshop
https://www.microsoft.com/en-us/research/publication/mutual-summaries-unifying-program-comparison-techniques/
Cosmin Radoi
Stephen J. Fink
Rodric Rabbah
Manu Sridharan
2014
Translating Imperative Code to MapReduce
SIGPLAN Not.
49
10
909–927
10.1145/2714064.2660228
The Coq development team
2004
The Coq proof assistant reference manual
LogiCal Project
http://coq.inria.fr
Version 8.6
Tom White
2012
Hadoop: The definitive guide
O'Reilly Media, Inc.
Matei Zaharia
Mosharaf Chowdhury
Michael J. Franklin
Scott Shenker
Ion Stoica
2010
Spark: Cluster Computing with Working Sets
Proceedings of the 2nd USENIX Conference on Hot Topics in Cloud Computing
HotCloud'10
USENIX Association
Berkeley, CA, USA
10–10
http://dl.acm.org/citation.cfm?id=1863103.1863113