Algorithm Recognition based on Demand-Driven Data-flow Analysis. - Christophe Alias; Denis Barthou (WCRE, 2003)

On the Recognition of Algorithm Templates. - Christophe Alias; Denis Barthou (COCV@ETAPS, 2003)

Deciding Where to Call Performance Libraries. - Christophe Alias; Denis Barthou (Euro-Par, 2005)

On Domain-Specific Languages Reengineering. - Christophe Alias; Denis Barthou (GPCE, 2005)

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

Region array SSA. - Silvius Vasile Rus; Guobin He; Christophe Alias; Lawrence Rauchwerger (PACT, 2006)

Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose. - Christophe Alias; Fabrice Baray; Alain Darte (LCTES, 2007)

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 (PACT, 2009)

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 (ASAP, 2010)

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. - Christophe Alias; Alain Darte; Paul Feautrier; Laure Gonnord (SAS, 2010)

Automatic Generation of FPGA-Specific Pipelined Accelerators. - Christophe Alias; Bogdan Pasca 001; Alexandru Plesco (ARC, 2011)

Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA. - Christophe Alias; Alain Darte; Alexandru Plesco (PPoPP, 2012)

FPGA-specific synthesis of loop-nests with pipelined computational cores. - Christophe Alias; Bogdan Pasca 001; Alexandru Plesco (Microprocess. Microsystems, 2012)

Rank: A Tool to Check Program Termination and Computational Complexity. - Christophe Alias; Alain Darte; Paul Feautrier; Laure Gonnord (ICST Workshops, 2013)

On Program Equivalence with Reductions. - Guillaume Iooss; Christophe Alias; Sanjay V. Rajopadhye (SAS, 2014)

Optimizing Affine Control With Semantic Factorizations. - Christophe Alias; Alexandru Plesco (ACM Trans. Archit. Code Optim., 2017)

Improving Communication Patterns in Polyhedral Process Networks. - Christophe Alias (CoRR, 2018)

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

Fkcc: The Farkas Calculator. - Christophe Alias (FM Workshops (2), 2019)

Data-aware process networks. - Christophe Alias; Alexandru Plesco (CC, 2021)

Monoparametric Tiling of Polyhedral Programs. - Guillaume Iooss; Christophe Alias; Sanjay V. Rajopadhye (Int. J. Parallel Program., 2021)

Lightweight Array Contraction by Trace-Based Polyhedral Analysis. - Hugo Thievenaz; Keiji Kimura; Christophe Alias (ISC Workshops, 2022)