Polyhedral Benchmark Suite. https://sourceforge ,
Bee+cl@k: An implementation of lattice-based array contraction in the source-to-source translator rose, Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES '07, pp.73-82, 2007. ,
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming, 2015 International Conference on Parallel Architecture and Compilation (PACT), 2015. ,
DOI : 10.1109/PACT.2015.17
URL : https://hal.archives-ouvertes.fr/hal-01257236
ompVerify: Polyhedral Analysis for the OpenMP Programmer, Proceedings of the 7th International Conference on OpenMP in the Petascale Era, pp.37-53, 2011. ,
DOI : 10.1007/978-3-642-13217-9_2
URL : https://hal.archives-ouvertes.fr/hal-00752626
VOBLA, ACM SIGPLAN Notices, vol.49, issue.5, pp.115-124, 2014. ,
DOI : 10.1145/2666357.2597818
URL : https://hal.archives-ouvertes.fr/hal-01508181
Smo: An integrated approach to intra-array and inter-array storage optimization, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '16, pp.526-538, 2016. ,
DOI : 10.1145/2837614.2837636
URL : https://hal.archives-ouvertes.fr/hal-01425888
Extending OpenMP for NUMA Machines, Proceedings of the 2000 ACM/IEEE Conference on Supercomputing, SC '00, 2000. ,
DOI : 10.1109/sc.2000.10019
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.6699
Compiling affine loop nests for distributed-memory parallel architectures, Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis on, SC '13, pp.1-33, 2013. ,
DOI : 10.1145/2503210.2503289
A practical automatic polyhedral program optimization system, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2008. ,
Static Data Race Detection for SPMD Programs via an Extended Polyhedral Representation, Proceedings of the Sixth International Workshop on Polyhedral Compilation Techniques, IMPACT '16, 2016. ,
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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.920
Static Analysis of OpenStream Programs, Proceedings of the Sixth International Workshop on Polyhedral Compilation Techniques, IMPACT '16, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01251845
Liveness Analysis in Explicitly Parallel Programs, Proceedings of the Sixth International Workshop on Polyhedral Compilation Techniques, IMPACT '16, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01251843
XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance, 2015 14th International Symposium on Parallel and Distributed Computing, pp.100-109 ,
DOI : 10.1109/ISPDC.2015.19
URL : https://hal.archives-ouvertes.fr/hal-01155144
INSPIRE: the insieme parallel intermediate representation, Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, pp.7-18, 2013. ,
DOI : 10.1109/PACT.2013.6618792
Automatic Resource-Constrained Static Task Parallelization, 2013. ,
URL : https://hal.archives-ouvertes.fr/pastel-00935483
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension, HiPEAC Computing Systems Week, 2013. ,
DOI : 10.1145/2833157.2833158
URL : https://hal.archives-ouvertes.fr/hal-00823324
LLVM parallel intermediate representation, Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, LLVM '15, pp.1-2, 2015. ,
DOI : 10.1145/2833157.2833158
URL : https://hal.archives-ouvertes.fr/hal-01254368
py: Transformation-based code generation for gpus and cpus, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, pp.82-82, 2014. ,
Data Layout Transformation for Enhancing Data Locality on NUCA Chip Multiprocessors, 2009 18th International Conference on Parallel Architectures and Compilation Techniques, pp.348-357, 2009. ,
DOI : 10.1109/PACT.2009.36
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.1156
A Library for Portable and Composable Data Locality Optimizations for NUMA Systems, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.227-238, 2015. ,
DOI : 10.1145/3040222
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.2687
Locality-Aware Task Scheduling and Data Distribution for OpenMP Programs on NUMA Systems and Manycore Processors, Scientific Programming, 2015. ,
DOI : 10.1145/1555815.1555779
URL : http://doi.org/10.1155/2015/981759
Polymage: Automatic optimization for image processing pipelines, Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, pp.429-443, 2015. ,
Exact Dependence Analysis for Increased Communication Overlap, Proceedings of the 19th European Conference on Recent Advances in the Message Passing Interface, EuroMPI'12, pp.89-99, 2012. ,
DOI : 10.1007/978-3-642-33518-1_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.8576
Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators, 2010. ,
URL : https://hal.archives-ouvertes.fr/tel-00544349
OpenStream, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4, pp.1-5325, 2013. ,
DOI : 10.1145/2400682.2400712
URL : https://hal.archives-ouvertes.fr/hal-00786675
Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, pp.519-530, 2013. ,
Polyhedral parallel code generation for CUDA, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4 ,
DOI : 10.1145/2400682.2400713
Array Dataflow Analysis for Polyhedral X10 Programs, Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '13, pp.23-34, 2013. ,
DOI : 10.1145/2442516.2442520
URL : https://hal.archives-ouvertes.fr/hal-00761537
Combining Polyhedral and AST Transformations in CHiLL, Proceedings of the Sixth International Workshop on Polyhedral Compilation Techniques, IMPACT '16, 2016. ,