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.
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.
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.
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.
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.
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.
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.
Calvin Smith & Aws Albarghouthi (2016):
MapReduce Program Synthesis.
SIGPLAN Not. 51(6),
pp. 326–340,
doi:10.1145/2980983.2908102.
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.
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.
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.