Automatic code distribution, Third Workshop on Compilers for Parallel Computers (CPC'92) ,
Scanning polyhedra with do loops, Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming, PPOPP '91, 1991. ,
URL : https://hal.archives-ouvertes.fr/hal-00752774
A Linear Algebra Framework for Static High Performance Fortran Code Distribution, Scientific Programming, pp.3-27, 1997. ,
DOI : 10.1155/1997/195689
A Modular Static Analysis Approach to Affine Loop Invariants Detection, Electronic Notes in Theoretical Computer Science, vol.267, issue.1, 2010. ,
DOI : 10.1016/j.entcs.2010.09.002
URL : https://hal.archives-ouvertes.fr/hal-00586338
A compiler framework for optimization of affine loop nests for gpgpus, Proceedings of the 22nd annual international conference on Supercomputing , ICS '08, 2008. ,
DOI : 10.1145/1375527.1375562
Code generation in the polyhedral model is easier than you think, Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004., 2004. ,
DOI : 10.1109/PACT.2004.1342537
URL : https://hal.archives-ouvertes.fr/hal-00017260
Compiler and System Techniques for soc Distributed Reconfigurable Accelerators, SAMOS IV, 2004. ,
DOI : 10.1007/978-3-540-27776-7_31
URL : https://hal.archives-ouvertes.fr/hal-00083035
Compilation of I/O communications for HPF, Proceedings Frontiers '95. The Fifth Symposium on the Frontiers of Massively Parallel Computation, 1995. ,
DOI : 10.1109/FMPC.1995.380458
Optimal Compilation of HPF Remappings, Journal of Parallel and Distributed Computing, vol.38, issue.2, 1996. ,
DOI : 10.1006/jpdc.1996.0143
URL : https://hal.archives-ouvertes.fr/hal-00752603
Compiling for a heterogeneous vector image processor, Workhop on Optimizations for DSP and Embedded Systems (ODES'9), 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00744076
Data and Process Abstraction in PIPS Internal Representation, Workshop on Internal Representations (WIR), 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00744291
Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, 1978. ,
DOI : 10.1145/512760.512770
Interprocedural Array Region Analyses, International Journal of Parallel Programming, vol.2, issue.3, pp.513-546, 1996. ,
DOI : 10.1007/BF03356758
URL : https://hal.archives-ouvertes.fr/hal-00752611
Exact versus approximate array region analyses, Languages and Compilers for Parallel Computing, 1997. ,
DOI : 10.1007/BFb0017247
Rose: Compiler support for object-oriented frameworks . Parallel Processing Letters, 2000. ,
GASPARD: a visual parallel programming environment, Proceedings. International Conference on Parallel Computing in Electrical Engineering, 2002. ,
DOI : 10.1109/PCEE.2002.1115225
Toward automatic partitioning of arrays on distributed memory computers, Proceedings of the 7th international conference on Supercomputing , ICS '93 ,
DOI : 10.1145/165939.165968
SAC : An Efficient Retargetable Source-to-Source Compiler for Multimedia Instruction Sets, 2010. ,
Verification of realtime systems using linear relation analysis. Formal Methods in System Design, 1997. ,
Maximizing multiprocessor performance with the SUIF compiler, Computer, vol.29, issue.12, 1996. ,
DOI : 10.1109/2.546613
Co-design of massively parallel embedded processor architectures, ReCoSoC'05 ,
URL : https://hal.archives-ouvertes.fr/hal-00083717
Par4All initiative for automatic parallelization, 2010. ,
Interprocedural analyses for programming environments, Workshop on Environments and Tools For Parallel Scientific Computing . CNRS-NSF, 1992. ,
Semantical interprocedural parallelization: An overview of the PIPS project, p.91 ,
URL : https://hal.archives-ouvertes.fr/hal-00984684
NewGen: A Language-Independent Program Generator, 1989. ,
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
An industrial perspective: A pragmatic high end signal processing design environment at THALES, SAMOS, 2003. ,
Effective source-tosource outlining to support whole program empirical optimization, Languages and Compilers for Parallel Computing, 2009. ,
From OpenMP to MPI : first experiments of the STEP source-to-source transformation, ParCO -PARMA, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01368936
Efficient and effective array bound checking, ACM Transactions on Programming Languages and Systems, vol.27, issue.3, 2005. ,
DOI : 10.1145/1065887.1065893
Introduction to signal processing, 1995. ,
GRAPHITE Two Years After: First Lessons Learned From Real-World Polyhedral Compilation, GCC Research Opportunities Workshop (GROW'10) ,
URL : https://hal.archives-ouvertes.fr/inria-00551516
Direct parallelization of call statement, SIGPLAN '86 Symposium on Compiler Construction ,
Minimal data dependence abstractions for loop transformations: Extended version, International Journal of Parallel Programming, vol.20, issue.1, 1995. ,
DOI : 10.1007/BF02577771
Complexity estimation in the pips parallel programming environment, Parallel Processing: CONPAR 92?VAPP V, 1992. ,
DOI : 10.1007/3-540-55895-0_518