T. Akidau and A. Balikov, MillWheel, Proceedings of the VLDB Endowment, vol.6, issue.11, p.VLDB, 2013.
DOI : 10.14778/2536222.2536229

G. Amdahl, Validity of the single processor approach to achieving large scale computing capabilities, Proceedings of the April 18-20, 1967, spring joint computer conference on, AFIPS '67 (Spring), 1967.
DOI : 10.1145/1465482.1465560

U. Banerjee, Loop parallelization, 2013.
DOI : 10.1007/978-1-4757-5676-0

T. Bartenstein and Y. Liu, Rate Types for Stream Programs, p.OOPSLA, 2014.

E. Brodu, F. Frénot, and . Oblé, Toward automatic update from callbacks to promises, Proceedings of the 1st Workshop on All-Web Real-Time Systems, AWeS '15, p.AWeS, 2015.
DOI : 10.1145/2749215.2749216

URL : https://hal.archives-ouvertes.fr/hal-01132776

A. Clements, . Kaashoek, . Zeldovich, E. Morris, and . Kohler, The scalable commutativity rule, p.SOSP, 2013.

J. Dean and S. Ghemawat, MapReduce, Communications of the ACM, vol.51, issue.1, p.OSDI, 2004.
DOI : 10.1145/1327452.1327492

C. Elliott and P. Hudak, Functional reactive animation, In: SIGPLAN, 1997.
DOI : 10.1145/258948.258973

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7696

R. Fernandez, . Migliavacca, P. Kalyvianaki, and . Pietzuch, Making state explicit for imperative big data processing, p.USENIX ATC, 2014.

A. Fox, Y. Gribble, . Chawathe, P. Brewer, and . Gauthier, Cluster-based scalable network services, p.SOSP, 1997.
DOI : 10.1145/269005.266662

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.2034

N. Gunther, A general theory of computational scalability based on rational functions, pp.ArXiv e-prints, 2008.

J. Hughes, Why Functional Programming Matters, The computer journal, 1989.
DOI : 10.1093/comjnl/32.2.98

F. Li, A. Pop, and . Cohen, Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs, IEEE Micro, vol.32, issue.4, 2012.
DOI : 10.1109/MM.2012.49

URL : https://hal.archives-ouvertes.fr/hal-00906099

N. Matsakis, Parallel Closures A new twist on an old idea, p.HotPar, 2012.

F. Mcsherry, . Isaacs, D. Isard, and . Murray, Composable Incremental and Iterative Data-Parallel Computation with Naiad, In: Microsoft Research, 2012.

D. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, 1972.

R. Power and J. Li, Piccolo: Building Fast, Distributed Programs with Partitioned Tables, p.OSDI, 2010.

C. Radoi, . Fink, M. Rabbah, and . Sridharan, Translating imperative code to MapReduce, p.OOPSLA, 2014.

A. Toshniwal, . Donham, . Bhagat, . Mittal, . Ryaboy et al., Storm@twitter, Proceedings of the 2014 ACM SIGMOD international conference on Management of data, SIGMOD '14, p.SIGMOD, 2014.
DOI : 10.1145/2588555.2595641

M. Welsh, . Gribble, D. Brewer, and . Culler, A design framework for highly concurrent systems, 2000.

M. Zaharia, . Das, . Li, I. Shenker, and . Stoica, Discretized streams: an efficient and fault-tolerant model for stream processing on large clusters, Proceedings of the 4th USENIX conference on Hot Topics in Cloud Ccomputing, 2012.