-
1Conference
Authors: Sampaio, Diogo, Pouchet, Louis-Noël, Rastello, Fabrice
Contributors: Compiler Optimization and Run-time Systems (CORSE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Department of Computer Science Colorado State University, Colorado State University Fort Collins (CSU), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011)
Source: ICS 2017 - International Conference on Supercomputing ; https://inria.hal.science/hal-01653819 ; ICS 2017 - International Conference on Supercomputing, Jun 2017, Chicago, United States. pp.1-11, ⟨10.1145/3079079.3079098⟩
Subject Terms: Quantifier Elimination, Loop optimization, Polynomials, Polyhedral Transformation, May-alias, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.3: Incremental compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.7: Nonlinear programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
Subject Geographic: Chicago, United States
-
2Conference
Authors: Sampaio, Diogo, Pouchet, Louis-Noël, Rastello, Fabrice
Contributors: Compiler Optimization and Run-time Systems (CORSE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Department of Computer Science Colorado State University, Colorado State University Fort Collins (CSU), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011)
Source: ICS 2017 - International Conference on Supercomputing ; https://hal.inria.fr/hal-01653819 ; ICS 2017 - International Conference on Supercomputing, Jun 2017, Chicago, United States. pp.1-11, ⟨10.1145/3079079.3079098⟩
Subject Terms: Polyhedral Transformation, Loop optimization, May-alias, Polynomials, Quantifier Elimination, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.3: Incremental compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.7: Nonlinear programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]
Subject Geographic: Chicago, United States
Relation: hal-01653819; https://hal.inria.fr/hal-01653819; https://hal.inria.fr/hal-01653819/document; https://hal.inria.fr/hal-01653819/file/ics17.pdf
-
3Conference
Authors: Sampaio, Diogo, Pouchet, Louis-Noël, Rastello, Fabrice
Contributors: Compiler Optimization and Run-time Systems (CORSE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Department of Computer Science Colorado State University, Colorado State University Fort Collins (CSU), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011)
Source: ICS 2017 - International Conference on Supercomputing ; https://inria.hal.science/hal-01653819 ; ICS 2017 - International Conference on Supercomputing, Jun 2017, Chicago, United States. pp.1-11, ⟨10.1145/3079079.3079098⟩
Subject Terms: Polyhedral Transformation, Polynomials, Loop optimization, May-alias, Quantifier Elimination, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.3: Incremental compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.7: Nonlinear programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
Subject Geographic: Chicago, United States