- titre
- Partial Evaluation of Dense Code on Sparse Structures
- auteur
- Gabriel Dehame, Christophe Alias, Alec Sadler
- article
- RR-9534, INRIA Lyon; CNRS; ENS de Lyon; Université de Lyon. 2023, pp.16
- Accès au texte intégral et bibtex
-
- titre
- A Polyhedral Approach for Scalar Promotion
- auteur
- Alec Sadler, Christophe Alias, Hugo Thievenaz
- article
- Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS'22), Jul 2022, Amiens, France
- Accès au texte intégral et bibtex
-
- titre
- Rephrasing Polyhedral Optimizations with Trace Analysis
- auteur
- Hugo Thievenaz, Keiji Kimura, Christophe Alias
- article
- 12th International Workshop on Polyhedral Compilation Techniques (IMPACT'22), Jun 2022, Budapest, Hungary
- Accès au texte intégral et bibtex
-
- titre
- Affine Multibanking for High-Level Synthesis
- auteur
- Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu, Alexis Carré
- article
- IMPACT'22 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary
- Accès au texte intégral et bibtex
-
- titre
- Lightweight Array Contraction by Trace-Based Polyhedral Analysis
- auteur
- Hugo Thievenaz, Keiji Kimura, Christophe Alias
- article
- C3PO 2022 - International Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC, Jun 2022, Hamburg, Germany
- Accès au texte intégral et bibtex
-
- titre
- Affine Multibanking for High-Level Synthesis
- auteur
- Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu, Alexis Carré
- article
- [Research Report] RR-9440, Inria - Research Centre Grenoble – Rhône-Alpes. 2021
- Accès au texte intégral et bibtex
-
- titre
- Towards Trace-Based Array Contraction
- auteur
- Hugo Thievenaz, Keiji Kimura, Christophe Alias
- article
- [Research Report] RR-9442, Inria; Waseda University. 2021, pp.20
- Accès au texte intégral et bibtex
-
- titre
- A Polyhedral Approach for Scalar Promotion
- auteur
- Alec Sadler, Christophe Alias, Hugo Thievenaz
- article
- 2021
- Accès au texte intégral et bibtex
-
- titre
- FADAlib: an open source C++ library for fuzzy array dataflow analysis
- auteur
- Marouane Belaoucha, Christophe Alias, Denis Barthou, Sid Touati
- article
- 2021, ⟨swh:1:dir:fc7481ee438316b9ce5b273ca894114bf658d3d9;origin=https://hal.archives-ouvertes.fr/hal-03445991;visit=swh:1:snp:518f2d28a2d2a1ad15ee2f630b40be3e24a0f8b1;anchor=swh:1:rel:488f5aa5aaa21fc92f24f0f7c9b571e56f1325ec;path=/⟩
- Accès au texte intégral et bibtex
-
- titre
- A Polyhedral Approach for Auto-Parallelization using a Distributed Virtual Machine
- auteur
- Damien de Montis, Jean-Baptiste Besnard, Christophe Alias
- article
- [Research Report] RR-9432, INRIA LIP - ENS Lyon; Paratools. 2021, pp.25
- Accès au texte intégral et bibtex
-
- titre
- Monoparametric Tiling of Polyhedral Programs
- auteur
- Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
- article
- International Journal of Parallel Programming, 2021, 49, pp.376-409. ⟨10.1007/s10766-021-00694-2⟩
- Accès au texte intégral et bibtex
-
- titre
- Data-Aware Process Networks
- auteur
- Christophe Alias, Alexandru Plesco
- article
- CC 2021 - 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.1-11, ⟨10.1145/3446804.3446847⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Verification of Polyhedral Program Transformations
- auteur
- Christophe Alias, Guillaume Iooss, Sanjay Rajopadhye
- article
- HPCS 2020 - 18th International Conference on High Performance Computing & Simulation, CADO 2020 - 3rd Special Session on Compiler Architecture, Design and Optimization, Oct 2020, Barcelona, Spain. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Farkas Lemma made easy
- auteur
- Christophe Alias
- article
- 10th International Workshop on Polyhedral Compilation Techniques (IMPACT 2020), Jan 2020, Bologna, Italy. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- A Compiler Algorithm to Guide Runtime Scheduling
- auteur
- Christophe Alias, Samuel Thibault, Laure Gonnord
- article
- [Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019
- Accès au texte intégral et bibtex
-
- titre
- Pipeline-aware Scheduling of Polyhedral Process Networks
- auteur
- Christophe Alias, Julien Rudeau
- article
- [Research Report] RR-9314, INRIA Grenoble - Rhone-Alpes. 2019
- Accès au texte intégral et bibtex
-
- titre
- fkcc: the Farkas Calculator
- auteur
- Christophe Alias
- article
- [Research Report] RR-9313, Inria. 2019
- Accès au texte intégral et bibtex
-
- titre
- On Channel Restructuring for Complete FIFO Recovery
- auteur
- Christophe Alias
- article
- ICCD 2019 - 37th IEEE International Conference on Computer Design, Nov 2019, Abu Dhabi, United Arab Emirates
- Accès au texte intégral et bibtex
-
- titre
- fkcc: the Farkas Calculator
- auteur
- Christophe Alias
- article
- TAPAS 2019 - 10th Workshop on Tools for Automatic Program Analysis, Oct 2019, Porto, Portugal. pp.526-536
- Accès au texte intégral et bibtex
-
- titre
- Contributions to Program Optimization and High-Level Synthesis
- auteur
- Christophe Alias
- article
- Hardware Architecture [cs.AR]. ENS de Lyon, 2019
- Accès au texte intégral et bibtex
-
- titre
- Monoparametric Tiling of Polyhedral Programs
- auteur
- Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
- article
- [Research Report] RR-9233, INRIA Grenoble - Rhone-Alpes. 2018, pp.1-28
- Accès au texte intégral et bibtex
-
- titre
- FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks
- auteur
- Christophe Alias
- article
- [Research Report] RR-9187, INRIA Grenoble - Rhone-Alpes. 2018
- Accès au texte intégral et bibtex
-
- titre
- Improving Communication Patterns in Polyhedral Process Networks
- auteur
- Christophe Alias
- article
- HIP3ES 2018 - Sixth International Workshop on High Performance Energy Efficient Embedded Systems, Jan 2018, Manchester, United Kingdom. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- Improving Communication Patterns in Polyhedral Process Networks
- auteur
- Christophe Alias
- article
- [Research Report] RR-9131, INRIA Grenoble - Rhône-Alpes. 2017, pp.1-13
- Accès au texte intégral et bibtex
-
- titre
- Optimizing Affine Control with Semantic Factorizations
- auteur
- Christophe Alias, Alexandru Plesco
- article
- ACM Transactions on Architecture and Code Optimization, 2017, 14 (4), pp.27
- Accès au texte intégral et bibtex
-
- titre
- Estimation of Parallel Complexity with Rewriting Techniques
- auteur
- Christophe Alias, Carsten Fuhs, Laure Gonnord
- article
- Workshop on Termination, Sep 2016, Obergurgl, Austria
- Accès au texte intégral et bibtex
-
- titre
- High-Level Synthesis of Pipelined FSM from Loop Nests
- auteur
- Christophe Alias, Fabrice Rastello, Alexandru Plesco
- article
- [Research Report] 8900, INRIA. 2016, pp.18
- Accès au texte intégral et bibtex
-
- titre
- Mono-parametric Tiling is a Polyhedral Transformation
- auteur
- Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias, Yun Zou
- article
- [Research Report] RR-8802, INRIA Grenoble - Rhône-Alpes; CNRS. 2015, pp.40
- Accès au texte intégral et bibtex
-
- titre
- Data-aware Process Networks
- auteur
- Christophe Alias, Alexandru Plesco
- article
- [Rapport de recherche] RR-8735, Inria - Research Centre Grenoble – Rhône-Alpes; INRIA. 2015, pp.32
- Accès au texte intégral et bibtex
-
- titre
- On Program Equivalence with Reductions
- auteur
- Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
- article
- 21st International Static Analysis Symposium (SAS'14), Sep 2014, Munich, Germany
- Accès au texte intégral et bibtex
-
- titre
- Procédé de synthèse de circuits, dispositif et programme d’ordinateur associés
- auteur
- Christophe Alias, Alexandru Plesco
- article
- France, N° de brevet: FR1453308. 2014
- Accès au bibtex
-
- titre
- CART: Constant Aspect Ratio Tiling
- auteur
- Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias, Yun Zou
- article
- 4th International Workshop on Polyhedral Compilation Techniques (IMPACT’14), Jan 2014, Vienna, Austria
- Accès au texte intégral et bibtex
-
- titre
- Semantic Tiling
- auteur
- Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias
- article
- Workshop on Leveraging Abstractions and Semantics in High-performance Computing (LASH-C'13), Aug 2013, Shenzhen, China
- Accès au texte intégral et bibtex
-
- titre
- Rank: a tool to check program termination and computational complexity
- auteur
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
- article
- Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
- Accès au bibtex
-
- titre
- Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
- auteur
- Christophe Alias, Alain Darte, Alexandru Plesco
- article
- Design, Automation, and Test in Europe (DATE'13), Mar 2013, Grenoble, France
- Accès au bibtex
-
- titre
- Modular termination of C programs
- auteur
- Guillaume Andrieu, Christophe Alias, Laure Gonnord
- article
- [Research Report] RR-8166, INRIA. 2012
- Accès au texte intégral et bibtex
-
- titre
- SToP : Scalable Termination analysis of (C) Programs (tool presentation)
- auteur
- Guillaume Andrieu, Christophe Alias, Laure Gonnord
- article
- Tapas 2012, Sep 2012, Deauville, France
- Accès au bibtex
-
- titre
- Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
- auteur
- Christophe Alias, Alain Darte, Alexandru Plesco
- article
- 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12), Feb 2012, New Orleans, United States. pp.285--286, ⟨10.1145/2145816.2145856⟩
- Accès au bibtex
-
- titre
- Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
- auteur
- Christophe Alias, Alain Darte, Alexandru Plesco
- article
- 2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), held with HIPEAC'12, Jan 2012, Paris, France
- Accès au bibtex
-
- titre
- FPGA-Specific Synthesis of Loop Nests with Pipelined Computational Cores
- auteur
- Christophe Alias, Bogdan Pasca, Alexandru Plesco
- article
- Microprocessors and Microsystems: Embedded Hardware Design , 2012, 36 (8), pp.606-619. ⟨10.1016/j.micpro.2012.06.009⟩
- Accès au bibtex
-
- titre
- Kernel Offloading with Optimized Remote Accesses
- auteur
- Christophe Alias, Alain Darte, Alexandru Plesco
- article
- [Research Report] RR-7697, INRIA. 2011, pp.29
- Accès au texte intégral et bibtex
-
- titre
- FPGA-Specific Synthesis of Loop-Nests with Pipelined Computational Cores
- auteur
- Christophe Alias, Bogdan Pasca, Alexandru Plesco
- article
- [Research Report] RR-7674, INRIA. 2011, pp.33
- Accès au texte intégral et bibtex
-
- titre
- Program Analysis and Source-Level Communication Optimizations for High-Level Synthesis
- auteur
- Christophe Alias, Alain Darte, Alexandru Plesco
- article
- [Research Report] RR-7648, INRIA. 2011, pp.16
- Accès au texte intégral et bibtex
-
- titre
- Automatic Generation of FPGA-Specific Pipelined Accelerators
- auteur
- Christophe Alias, Bogdan Pasca, Alexandru Plesco
- article
- International Symposium on Applied Reconfigurable Computing (ARC'11), Mar 2011, Belfast, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
- auteur
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
- article
- Static Analysis Symposium, Sep 2010, Perpignan, France. ⟨10.1007/978-3-642-15769-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators
- auteur
- Christophe Alias, Alain Darte, Alexandru Plesco
- article
- IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'10), Jul 2010, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators. An Experience with the Altera C2H HLS Tool.
- auteur
- Christophe Alias, Alain Darte, Alexandru Plesco
- article
- [Research Report] RR-7281, INRIA. 2010, pp.19
- Accès au texte intégral et bibtex
-
- titre
- Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings
- auteur
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
- article
- [Research Report] RR-7235, INRIA. 2010, pp.32
- Accès au texte intégral et bibtex
-
- titre
- Data Layout Transformation for Enhancing Data Locality on NUCA Chip Multiprocessors
- auteur
- Qingda Lu, Christophe Alias, Uday Bondhugula, Thomas Henretty, Sriram Krishnamoorthy, Jagannathan Ramanujam, Atanas Rountev, P. Sadayappan, Yongjian Chen, Haibo Lin
- article
- IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT'09), Sep 2009, Raleigh, United States
- Accès au texte intégral et bibtex
-
- titre
- Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions
- auteur
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord, Clément Quinson
- article
- [Research Report] 2009, pp.31
- Accès au texte intégral et bibtex
-
- titre
- Lattice-Based Array Contraction: From Theory to Practice
- auteur
- Christophe Alias, Alain Darte, Fabrice Baray
- article
- [Research Report] LIP RR-2007-44, LIP - Laboratoire de l’Informatique du Parallélisme. 2007
- Accès au texte intégral et bibtex
-
- titre
- Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE
- auteur
- Christophe Alias, Fabrice Baray, Alain Darte
- article
- ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩
- Accès au texte intégral et bibtex
-
- titre
- Region Array SSA
- auteur
- Silvius Rus, Guobin He, Christophe Alias, Lawrence Rauchwerger
- article
- ACM/IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT'06), Sep 2006, Seattle, United States
- Accès au texte intégral et bibtex
-
- titre
- Optimisation de programmes par reconnaissance de templates
- auteur
- Christophe Alias
- article
- Calcul parallèle, distribué et partagé [cs.DC]. Université de Versailles Saint-Quentin-en-Yvelines, 2005. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- On Domain Specific Language Re-Engineering
- auteur
- Christophe Alias, Denis Barthou
- article
- Sep 2005
- Accès au bibtex
-
- titre
- Deciding Where to Call Performance Libraries
- auteur
- Christophe Alias, Denis Barthou
- article
- Aug 2005
- Accès au bibtex
-
- titre
- TeMa : an Efficient Tool to find High-Performance Library Patterns in Source Code
- auteur
- Christophe Alias
- article
- International Workshop on Patterns in High-Performance Computing (PatHPC'05), May 2005, Urbana Champaign, United States
- Accès au texte intégral et bibtex
-
- titre
- Algorithm Recognition based on Demand-Driven Dataflow Analysis
- auteur
- Christophe Alias, Denis Barthou
- article
- 10th Working Conference on Reverse Engineering (WCRE 2003), Nov 2003, Victoria, Canada
- Accès au texte intégral et bibtex
-