U. Banerjee, Loop Transformations for Restructuring Compilers -The Foundations, 1993.
DOI : 10.1007/b102311

O. A. Board, Openmp application program interface, version 3, 2011.

C. Cascaval, C. Blundell, M. Michael, H. W. Cain, P. Wu et al., Software transactional memory, Communications of the ACM, vol.51, issue.11, pp.46-58, 2008.
DOI : 10.1145/1400214.1400228

I. Christadler, G. Erbacci, and A. D. Simpson, Facing the multicore-challenge ii. chapter Performance and productivity of new programming languages, pp.24-35, 2012.

P. Clauss and B. Meister, Automatic memory layout transformations to optimize spatial locality in parameterized loop nests, ACM SIGARCH Computer Architecture News, vol.28, issue.1, pp.11-19, 2000.
DOI : 10.1145/346023.346031

M. Herlihy, V. Luchangco, M. Moir, W. N. Scherer, and I. , Software transactional memory for dynamic-sized data structures, Proceedings of the twenty-second annual symposium on Principles of distributed computing , PODC '03, pp.92-101, 2003.
DOI : 10.1145/872035.872048

A. Ketterlin and P. Clauss, Prediction and trace compression of data access addresses through nested loop recognition, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization , CGO '08, pp.94-103, 2008.
DOI : 10.1145/1356058.1356071

URL : https://hal.archives-ouvertes.fr/inria-00504597

C. E. Leiserson, The cilk++ concurrency platform, Proceedings of the 46th Annual Design Automation Conference, DAC '09, pp.522-527, 2009.

V. Loechner, B. Meister, and P. Clauss, Precise data locality optimization of nested loops, The Journal of Supercomputing, vol.21, issue.1, pp.37-76, 2002.
DOI : 10.1023/A:1013535431127

URL : https://hal.archives-ouvertes.fr/inria-00534831

S. Marlow, P. Maier, H. Loidl, M. K. Aswad, and P. Trinder, Seq no more: Better strategies for parallel haskell, Proceedings of the 3rd ACM SIGPLAN symposium on Haskell, pp.91-102, 2010.

M. Odersky, L. Spoon, and B. Venners, Programming in Scala. Artima Series, 2011.

L. Pouchet, U. Bondhugula, C. Bastoul, A. Cohen, J. Ramanujam et al., Loop transformations: convexity, pruning and optimization, Proc. of the 38th annual ACM SIGPLAN-SIGACT symp. on Principles of programming languages, pp.549-562, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00551077

K. F. Sagonas, Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs, FLOPS, pp.13-18, 2010.
DOI : 10.1007/978-3-642-12251-4_2

B. Saha, A. Adl-tabatabai, R. L. Hudson, C. C. Minh, and B. Hertzberg, McRT-STM, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '06, pp.187-197, 2006.
DOI : 10.1145/1122971.1123001

N. Shavit and D. Touitou, Software transactional memory, Proc. of the 14th annual ACM symp. on Principles of distributed computing, PODC '95, pp.204-213, 1995.

M. J. Wolfe, High Performance Compilers for Parallel Computing, 1995.