Christophe Alias

[Version Française]

Position

Faculty Research Scientist at INRIA

Co-founder and Chief Scientific Advisor of the XtremLogic start-up company

Cash group, Laboratoire de l'Informatique du Parallelisme, ENS-Lyon

Habilitation thesis

Research interests

• Automatic parallelization
• High-level synthesis for FPGAs
• Polyhedral compilation and extensions
• Tools for polyhedral compilation

PhD & Internship proposals

Publications

Community Service

Program Committee

• PPoPP 2023
• COMPAS (French Conférence d'informatique en Parallélisme, Architecture et Système): 2019, 2020 (PC track chair), 2021, 2024.
• HIP3ES (Workshop on High Performance Energy Efficient Embedded Systems): 2018, 2019.
• IMPACT: 2011 (co-founder, co-chair), 2012, 2013, 2014, 2016, 2018.
• ODES (Workshop on Optimizations for DSP and Embedded Systems): 2013.

Steering Committee

• IMPACT (Workshop on Polyhedral Compilation Techniques): 2011, 2012, 2013.

PhD Advising

• Grégoire Aubertin, "Detection of Regular Program Schemes with Machine Learning", started in 2025, with Sid Touati (Université Côte d'Azur).
• Vincent Mastain, "Scalable Translation Validation for High-Performance Computing and Machine Learning", started on 2025, with Ali Jannesari (Iowa State University, USA).
• Alec Sadler, "Automatic Parallelization of Sparse Computations", started on 2023, with Philippe Clauss (Université de Strasbourg), Thierry Gautier (Inria Lyon) and Xavier Rival (Inria Paris).
• Hugo Thievenaz, "Scalable Trace-based Array Contraction", with Prof. Keiji Kimura (Waseda University, Japan), manuscript.
• Guillaume Iooss, "Detection of Linear Algebra Operations in Polyhedral Programs", with Alain Darte (ENS Lyon) and Sanjay Rajopadhye (Colorado State University, USA), manuscript.
• Alexandru Plesco, "Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators", with Alain Darte (ENS Lyon) et Tanguy Risset (INSA Lyon), manuscript.

Software transfered to industry

• Bee. Array contraction under scheduling constraints.
• Dcc. Derivation of Data-aware process networks from annotated C programs. [patent].
• PoCo. Polyhedral compilation framework.

Other Software

• fkcc. DSL for prototyping polyhedral transformations based on Farkas lemma.
• MPP. Monoparametric tiling of convex polyhyedra and affine functions. See the PhD thesis of G. Iooss.
• mppcodegen. Polyhedral code generator, with general monoparametric tiling (hexagons, diamonds, etc).
• mppcheck. Polyhedral program transformation verification, with general monoparametric tiling (idem).
• kut. Source-to-source compiler to guide runtime scheduling (prototype).
• Chuba. Efficient compilation of remote memory accesses for the HLS tool C2H of Altera. See the PhD thesis of A. Plesco.
• Rank. Program termination and symbolic estimation of the worst-case computational complexity.

Teaching (in French)

Contact