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