Gilles Barthe, Juan Manuel Crespo & César Kunz (2011):
Relational Verification Using Product Programs,
pp. 200–214.
Springer Berlin Heidelberg,
doi: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.
Available at 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++.
In: IEEE International Conference on Big Data.
IEEE,
pp. 172–183,
doi: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.
Available at https://arxiv.org/abs/1702.02439.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi & Maurizio Proietti (2016):
Relational Verification Through Horn Clause Transformation.
In: 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,
pp. 147–169,
doi:10.1007/978-3-662-53413-7_8.
Jeffrey Dean & Sanjay Ghemawat (2008):
MapReduce: Simplified Data Processing on Large Clusters.
Commun. ACM 51(1),
pp. 107–113,
doi:10.1145/1327452.1327492.
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer & Mattias Ulbrich (2014):
Automating Regression Verification.
In: Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering,
ASE '14.
ACM,
New York, NY, USA,
pp. 349–360,
doi:10.1145/2642937.2642987.
Benny Godlin & Ofer Strichman (2009):
Regression Verification.
In: Proceedings of the 46th Annual Design Automation Conference,
DAC '09.
ACM,
New York, NY, USA,
pp. 466–471,
doi:10.1145/1629911.1630034.
Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky & Mooly Sagiv (2017):
Verifying Equivalence of Spark Programs,
pp. 282–300.
Springer International Publishing,
Cham,
doi:10.1007/978-3-319-63390-9_15.
Cosmin Radoi, Stephen J. Fink, Rodric Rabbah & Manu Sridharan (2014):
Translating Imperative Code to MapReduce.
SIGPLAN Not. 49(10),
pp. 909–927,
doi:10.1145/2714064.2660228.
The Coq development team (2004):
The Coq proof assistant reference manual.
LogiCal Project.
Available at 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.
In: Proceedings of the 2nd USENIX Conference on Hot Topics in Cloud Computing,
HotCloud'10.
USENIX Association,
Berkeley, CA, USA,
pp. 10–10.
Available at http://dl.acm.org/citation.cfm?id=1863103.1863113.