Christophe Alias

According to our database, Christophe Alias authored at least 22 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Lightweight Array Contraction by Trace-Based Polyhedral Analysis.

Hugo Thievenaz, Keiji Kimura, Christophe Alias

Proceedings of the High Performance Computing. ISC High Performance 2022 International Workshops - Hamburg, Germany, May 29, 2022

2021

Monoparametric Tiling of Polyhedral Programs.

Guillaume Iooss, Christophe Alias, Sanjay V. Rajopadhye

Int. J. Parallel Program., 2021

Data-aware process networks.

Christophe Alias, Alexandru Plesco

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2019

Fkcc: The Farkas Calculator.

Christophe Alias

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Contributions to Program Optimization and High-Level Synthesis. (Contributions à l'optimisation de programmes et à la synthèse de circuits haut-niveau).

Christophe Alias

, 2019

2018

Improving Communication Patterns in Polyhedral Process Networks.

Christophe Alias

CoRR, 2018

2017

Optimizing Affine Control With Semantic Factorizations.

Christophe Alias, Alexandru Plesco

ACM Trans. Archit. Code Optim., 2017

2014

On Program Equivalence with Reductions.

Guillaume Iooss, Christophe Alias, Sanjay V. Rajopadhye

Proceedings of the Static Analysis - 21st International Symposium, 2014

2013

Rank: A Tool to Check Program Termination and Computational Complexity.

Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA.

Christophe Alias, Alain Darte, Alexandru Plesco

Proceedings of the Design, Automation and Test in Europe, 2013

2012

FPGA-specific synthesis of loop-nests with pipelined computational cores.

Christophe Alias, Bogdan Pasca, Alexandru Plesco

Microprocess. Microsystems, 2012

2011

Automatic Generation of FPGA-Specific Pipelined Accelerators.

Christophe Alias, Bogdan Pasca, Alexandru Plesco

Proceedings of the Reconfigurable Computing: Architectures, Tools and Applications, 2011

2010

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs.

Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord

Proceedings of the Static Analysis - 17th International Symposium, 2010

Optimizing DDR-SDRAM communications at C-level for automatically-generated hardware accelerators an experience with the Altera C2H HLS tool.

Christophe Alias, Alain Darte, Alexandru Plesco

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

2009

Data Layout Transformation for Enhancing Data Locality on NUCA Chip Multiprocessors.

Qingda Lu, Christophe Alias, Uday Bondhugula, Thomas Henretty, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan, Yongjian Chen, Haibo Lin, Tin-Fook Ngai

Proceedings of the PACT 2009, 2009

2007

Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose.

Christophe Alias, Fabrice Baray, Alain Darte

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

2006

Region array SSA.

Silvius Vasile Rus, Guobin He, Christophe Alias, Lawrence Rauchwerger

Proceedings of the 15th International Conference on Parallel Architectures and Compilation Techniques (PACT 2006), 2006

2005

Optimisation de programmes par reconnaissance de templates. (Program Optimization by Template Recognition and Replacement).

Christophe Alias

PhD thesis, 2005

On Domain-Specific Languages Reengineering.

Christophe Alias, Denis Barthou

Proceedings of the Generative Programming and Component Engineering, 2005

Deciding Where to Call Performance Libraries.

Christophe Alias, Denis Barthou

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2003

On the Recognition of Algorithm Templates.

Christophe Alias, Denis Barthou

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

Algorithm Recognition based on Demand-Driven Data-flow Analysis.

Christophe Alias, Denis Barthou

Proceedings of the 10th Working Conference on Reverse Engineering, 2003