Loop Transformations for Restructuring Compilers -The Foundations, 1993. ,
DOI : 10.1007/b102311
Openmp application program interface, version 3, 2011. ,
Software transactional memory, Communications of the ACM, vol.51, issue.11, pp.46-58, 2008. ,
DOI : 10.1145/1400214.1400228
Facing the multicore-challenge ii. chapter Performance and productivity of new programming languages, pp.24-35, 2012. ,
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
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
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
The cilk++ concurrency platform, Proceedings of the 46th Annual Design Automation Conference, DAC '09, pp.522-527, 2009. ,
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
Seq no more: Better strategies for parallel haskell, Proceedings of the 3rd ACM SIGPLAN symposium on Haskell, pp.91-102, 2010. ,
Programming in Scala. Artima Series, 2011. ,
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
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
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
Software transactional memory, Proc. of the 14th annual ACM symp. on Principles of distributed computing, PODC '95, pp.204-213, 1995. ,
High Performance Compilers for Parallel Computing, 1995. ,