References

1. Tyler Akidau, Robert Bradshaw, Craig Chambers, Slava Chernyak, Rafael J. Fernandez-Moctezuma, Reuven Lax, Sam McVeety, Daniel Mills, Frances Perry, Eric Schmidt & Sam Whittle (2015): The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing. Proceedings of the VLDB Endowment 8, pp. 1792–1803, doi:10.14778/2824032.2824076.
2. Apache Hadoop. http://hadoop.apache.org. Accessed: 2016-04-19.
3. Apache Hive. http://hive.apache.org. Accessed: 2016-04-20.
4. Apache Pig. http://tensorflow.org/. Accessed: 2016-05-01.
5. Apache Spark. https://spark.apache.org. Accessed: 2016-04-19.
6. Apache Storm. http://storm.apache.org. Accessed: 2016-04-19.
7. Alvin Cheung, Armando Solar-Lezama & Samuel Madden (2013): Optimizing Database-backed Applications with Query Synthesis. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13. ACM, New York, NY, USA, pp. 3–14, doi:10.1145/2491956.2462180.
8. Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz & Chen Xiao (2007): The Daikon System for Dynamic Detection of Likely Invariants. Sci. Comput. Program. 69(1-3), pp. 35–45, doi:10.1016/j.scico.2007.01.015.
9. GraphLab Create. https://dato.com/. Accessed: 2016-04-20.
10. C. A. R. Hoare (1969): An Axiomatic Basis for Computer Programming. Communications of the ACM 12(10), pp. 576–580, doi:10.1145/363235.363259.
11. Shoaib Kamil, Alvin Cheung, Shachar Itzhaky & Armando Solar-Lezama (2016): Verified Lifting of Stencil Computations. SIGPLAN Not. 51(6), pp. 711–726, doi:10.1145/2980983.2908117.
12. MongoDB 3.2. https://www.mongodb.org. Accessed: 2016-04-19.
13. Cedric Nugteren & Henk Corporaal (2012): Introducing 'Bones': A Parallelizing Source-to-source Compiler Based on Algorithmic Skeletons. In: Proceedings of the 5th Annual Workshop on General Purpose Processing with Graphics Processing Units, GPGPU-5. ACM, New York, NY, USA, pp. 1–10, doi:10.1145/2159430.2159431.
14. Polyglot. http://www.cs.cornell.edu/Projects/polyglot/. Accessed: 2016-05-01.
15. Cosmin Radoi, Stephen J. Fink, Rodric Rabbah & Manu Sridharan (2014): Translating Imperative Code to MapReduce. In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '14. ACM, New York, NY, USA, pp. 909–927, doi:10.1145/2660193.2660228.
16. Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand & Saman Amarasinghe (2013): Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13. ACM, New York, NY, USA, pp. 519–530, doi:10.1145/2491956.2462176.
17. Colby Ranger, Ramanan Raghuraman, Arun Penmetsa, Gary Bradski & Christos Kozyrakis (2007): Evaluating MapReduce for Multi-core and Multiprocessor Systems. In: Proceedings of the 2007 IEEE 13th International Symposium on High Performance Computer Architecture, HPCA '07. IEEE Computer Society, Washington, DC, USA, pp. 13–24, doi:10.1109/HPCA.2007.346181.
18. SKETCH. https://people.csail.mit.edu/asolar/. Accessed: 2016-05-01.
19. Calvin Smith & Aws Albarghouthi (2016): MapReduce Program Synthesis. SIGPLAN Not. 51(6), pp. 326–340, doi:10.1145/2980983.2908102.
20. Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat & Sanjit Seshia (2007): Sketching Stencils. In: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '07. ACM, New York, NY, USA, pp. 167–178, doi:10.1145/1273442.1250754.
21. Saurabh Srivastava & Sumit Gulwani (2009): Program Verification Using Templates over Predicate Abstraction. In: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '09. ACM, New York, NY, USA, pp. 223–234, doi:10.1145/1542476.1542501.
22. Arvind K. Sujeeth, Kevin J. Brown, Hyoukjoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky & Kunle Olukotun (2014): Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages. ACM Trans. Embed. Comput. Syst. 13(4s), pp. 134:1–134:25, doi:10.1145/2584665.
23. TensorFlow. http://tensorflow.org/. Accessed: 2016-04-20.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org