Optimizing Compilers for Modern Architectures: A Dependence-based Approach, 2001. ,
High Performance Compilers for Parallel Computing, 1996. ,
Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.47-57, 1988. ,
DOI : 10.1145/73560.73564
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.4916
Chapel (Cray Inc. HPCS Language), " in Encyclopedia of Parallel Computing, pp.249-256, 2011. ,
Static compilation analysis for host-accelerator communication optimization Building source-to-source compilers for heterogenous targets, International Workshop on Languages and Compilers for Parallel Computing (LCPC), Fort Collins, 2011. ,
C as an intermediate language Available: http://yosefk.com/blog/c-as-an-intermediate-language ,
Semantical interprocedural parallelization: an overview of the PIPS project, Proceedings of the 5th international conference on Supercomputing, ser. ICS '91, pp.244-251, 1991. ,
URL : https://hal.archives-ouvertes.fr/hal-00984684
PIPS, 1989. ,
The denotational description of programming languages -an introduction, 1979. ,
Poly??dres et compilation, Rencontres francophones du Parallélisme (RenPar'20), p.22, 2011. ,
DOI : 10.3166/tsi.31.987-1019
Analysis of Programs for Parallel Processing Electronic Computers, IEEE Transactions on, vol.15, issue.5, pp.757-763, 1966. ,
Array region analyses and applications, 1996. ,
DOI : 10.1007/bfb0014191
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.3352
Beyond Do Loops: Data Transfer Generation with Convex Array Regions, 25th International Workshop on Languages and Compilers for Parallel Computing, pp.249-263, 2012. ,
DOI : 10.1007/978-3-642-37658-0_17
URL : https://hal.archives-ouvertes.fr/hal-00742583
Automatic translation of FORTRAN programs to vector form, ACM Transactions on Programming Languages and Systems, vol.9, issue.4, pp.491-542, 1987. ,
DOI : 10.1145/29873.29875
Pluto+: Near-complete modeling of affine transformations for parallelism and locality, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.54-64, 2015. ,
Polyhedral parallel code generation for CUDA, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4, pp.1-5423, 2013. ,
DOI : 10.1145/2400682.2400713
URL : https://hal.archives-ouvertes.fr/hal-00786677
Code generation in the polyhedral model is easier than you think, Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004., pp.7-16, 2004. ,
DOI : 10.1109/PACT.2004.1342537
URL : https://hal.archives-ouvertes.fr/hal-00017260
The Polyhedral Model Is More Widely Applicable Than You Think, Proceedings of the 19th Joint European Conference on Theory and Practice of Software, International Conference on Compiler Construction, ser. CC'10/ETAPS'10, pp.283-303, 2010. ,
DOI : 10.1007/978-3-642-11970-5_16
URL : https://hal.archives-ouvertes.fr/inria-00551087
POLLY ??? PERFORMING POLYHEDRAL OPTIMIZATIONS ON A LOW-LEVEL INTERMEDIATE REPRESENTATION, Parallel Processing Letters, vol.22, issue.04, 2012. ,
DOI : 10.1142/S0129626412500107
XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance, 2015 14th International Symposium on Parallel and Distributed Computing, pp.100-109, 2015. ,
DOI : 10.1109/ISPDC.2015.19
URL : https://hal.archives-ouvertes.fr/hal-01155144
LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., 2004. ,
DOI : 10.1109/CGO.2004.1281665
Hierarchical Parallelism Control for Multigrain Parallel Processing, Languages and Compilers for Parallel Computing ,
DOI : 10.1007/11596110_3
Cetus ??? An Extensible Compiler Infrastructure for Source-to-Source Transformation, Languages and Compilers for Parallel Computing, 16th Intl. Workshop, pp.539-553, 2003. ,
DOI : 10.1007/978-3-540-24644-2_35