Publications

Habilitation Thesis

• Contributions to Program Optimization and High-Level Synthesis.
  Christophe Alias, ENS de Lyon, May 2019.
  

PhD Thesis

• Program Optimization by Template Recognition and Replacement.
  Christophe Alias, University of Versailles, December 2005.
  

Articles & preprints

• Partial Evaluation of Dense Code on Sparse Structures
  Gabriel Dehame, Christophe Alias and Alec Sadler.
  RR-9534, Inria, December 2023.
  
• A Polyhedral Approach for Scalar Promotion
  Alec Sadler, Christophe Alias and Hugo Thievenaz.
  Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS), 2022.
  
• Rephrasing Polyhedral Optimizations with Trace Analysis
  Hugo Thievenaz, Keiji Kimura and Christophe Alias.
  12th International Workshop on Polyhedral Compilation Techniques (IMPACT), 2022.
  
• Affine Multibanking for High-Level Synthesis
  Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu and Alexis Carré.
  12th International Workshop on Polyhedral Compilation Techniques (IMPACT), 2022.
  
• Lightweight Array Contraction by Trace-Based Polyhedral Analysis
  Hugo Thievenaz, Keiji Kimura and Christophe Alias.
  International Workshop of Compiler-assisted Correctness Checking and Performance Optimization for HPC (C3PO), 2022.
  
• Monoparametric Tiling of Polyhedral Programs
  Guillaume Iooss, Christophe Alias and Sanjay Rajopadhye.
  International Journal of Parallel Programming (IJPP), 49(3), 2021.
  
• Data-aware Process Networks
  Christophe Alias and Alexandru Plesco.
  In ACM SIGPLAN International Conference on Compiler Construction (CC), 2021.
  
• On the Verification of Polyhedral Program Transformations
  Christophe Alias, Guillaume Iooss and Sanjay Rajopadhye.
  In 18th International Conference on High Performance Computing & Simulation (HPCS'20), 3rd Special Session on Compiler Architecture, Design and Optimization (CADO), 2020. [tool]
  
• Farkas Lemma made easy
  Christophe Alias.
  In 10th International Workshop on Polyhedral Compilation Techniques (IMPACT'20), Bologna, Italy, Januray 2020. [tool]
  
• On Channel Restructuring for Complete FIFO Recovery
  Christophe Alias.
  In 37th IEEE International Conference on Computer Design (ICCD'19), Poster, Abu Dhabi, United Arab Emirates, November 2019.
  
• fkcc: the Farkas Calculator
  Christophe Alias.
  In 10th International Workshop on Tools for Automatic Program Analysis (TAPAS'19), Porto, Portugal, October 2019. [tool]
  
• Pipeline-aware Scheduling of Polyhedral Process Networks
  Christophe Alias and Julien Rudeau.
  RR-9314, Inria, December 2019.
  
• A Compiler Algorithm to Guide Runtime Scheduling
  Christophe Alias, Samuel Thibault and Laure Gonnord.
  RR-9315, Inria, December 2019. [tool]
  
• Monoparametric Tiling of Polyhedral Programs
  Guillaume Iooss, Christophe Alias and Sanjay Rajopadhye.
  RR-9233, Inria, December 2018. [tool]
  
• FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks
  Christophe Alias.
  RR-9187, Inria, June 2018.
  
• Improving Communication Patterns in Polyhedral Process Networks
  Christophe Alias.
  In Sixth International Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES'18), Manchester, UK, January 2018.
  
• Optimizing Affine Control with Semantic Factorizations
  Christophe Alias and Alexandru Plesco.
  In ACM Transactions on Architecture and Code Optimization (TACO), 14(4), December 2017.
  
• High-Level Synthesis of Pipelined FSM from Loop Nests
  Christophe Alias, F. Rastello and Alexandru Plesco.
  RR-8900, Inria, April 2016.
  
• Estimation of Parallel Complexity with Rewriting Techniques
  Christophe Alias, Carsten Fuhs and Laure Gonnord.
  In Workshop on Termination (WST'16), Obergürgl, Austria, September 2016.
  
• Data-aware Process Networks
  Christophe Alias and Alexandru Plesco.
  RR-8735, Inria, June 2015.
  
• Method of Automatic Synthesis of Circuits, Device and Computer Program associated therewith local version
  Christophe Alias and Alexandru Plesco.
  Patent FR1453308, April 2014.
• CART: Constant Aspect Ratio Tiling
  Guillaume Iooss, Sanjay Rajopadhye, Yun Zou and Christophe Alias.
  In 4th International Workshop on Polyhedral Compilation Techniques (IMPACT'14), Vienna, Austria, January 2014.
  
• On Program Equivalence with Reductions
  Guillaume Iooss, Christophe Alias and Sanjay Rajopadhye.
  In 21st International Static Analysis Symposium (SAS'14), Munich, Germany, September 2014.
• Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
  Christophe Alias, Alain Darte and Alexandru Plesco.
  In ACM SIGDA Intl. Conference on Design, Automation and Test in Europe (DATE'13), Grenoble, France, 2013.
• Semantic Tiling
  Guillaume Iooss, Sanjay Rajopadhye and Christophe Alias
  In Workshop on Leveraging Abstractions and Semantics in High-performance Computing (LASH-C'13), Shenzhen, China, February 2013.
• Rank: A Tool to Check Program Termination and Computational Complexity
  Christophe Alias, Paul Feautrier, Alain Darte and Laure Gonnord.
  In International Workshop on Constraints in Software Testing Verification and Analysis (CSTVA'13), page 238, Luxembourg, March 2013. [tool]
  
• FPGA-Specific Synthesis of Loop-Nests with Pipeline Computational Cores
  Christophe Alias, Bogdan Pasca and Alexandru Plesco.
  In Microprocessors and Microsystems (MICPRO), Volume 36 Issue 8, November, 2012.
• Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
  Christophe Alias, Alain Darte and Alexandru Plesco.
  In 2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), January 2012.
  
• Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
  Christophe Alias, Alain Darte and Alexandru Plesco.
  In 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12), February 2012.
• SToP : Scalable Termination analysis of (C) Programs
  G. Andrieu, Christophe Alias and Laure Gonnord.
  In International Workshop on Tools for Automatic Program Analysis (TAPAS'12), Deauville, France, September 2012.
• Automatic Generation of FPGA-Specific Pipelined Accelerators
  Christophe Alias, Bogdan Pasca and Alexandru Plesco.
  In International Symposium on Applied Reconfigurable Computing (ARC'11), March 2011.
• Kernel Offloading with Optimized Remote Accesses,
  Christophe Alias, Alain Darte and Alexandru Plesco.
  RR-7697, Inria July 2011.
  
• Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
  Christophe Alias, Alain Darte and Alexandru Plesco.
  In IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'10), July 2010.
• Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
  Christophe Alias, Alain Darte, Paul Feautrier and Laure Gonnord.
  In International Static Analysis Symposium (SAS'10), September 2010. [tool]
• Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions.
  Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord and Clement Quinson.
  RR-7037, Inria, November 2009.
  
• Data Layout Transformations 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 and Tin fook Ngai.
  In ACM/IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT'09), September 2009.
  
• Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE
  Christophe Alias, Fabrice Baray and Alain Darte.
  In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), June 2007. [tool]
  
• Region Array SSA
  Silvius Rus, Guobin He, Christophe Alias and Lawrence Rauchwerger.
  In ACM/IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT'06), September 2006.
  
• TeMa: an Efficient Tool to find High-Performance Library Patterns in Source Code
  Christophe Alias.
  In International Workshop on Patterns in High-Performance Computing (PatHPC'05), May 2005.
  
• Deciding Where to Call Performance Libraries
  Christophe Alias and Denis Barthou.
  In European Conference on Parallel Processing (Euro-Par'05), LNCS 3648, August 2005.
  
• On Domain Specific Languages Re-Engineering
  Christophe Alias and Denis Barthou.
  In IEEE/ACM International Conference on Generative Programming and Component Engineering (GPCE'05), LNCS 3676, September 2005.
  
• Algorithm Recognition based on Demand-Driven Data-flow Analysis
  Christophe Alias and Denis Barthou.
  In IEEE Working Conference on Reverse Engineering (WCRE'03), November 2003.
  
• On the Recognition of Algorithm Templates
  Christophe Alias and Denis Barthou.
  In International Workshop on Compiler Optimization meets Compiler Verification (COCV'03), ENTCS Vol. 82, N°2, April 2003.
  

Patent

• Method of Automatic Synthesis of Circuits, Device and Computer Program associated therewith local version
  Christophe Alias and Alexandru Plesco.
  Patent FR1453308, April 2014.