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, 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. Co-founder.

PhD Advising

• Alec Sadler, "Automatic Parallelization of Sparse Computations", on-going since 2023, with Philippe Clauss (Université de Strasbourg), Thierry Gautier (Inria Lyon) and Xavier Rival (Inria Paris).
• Hugo Thievenaz, "Scalable Trace-based Array Contraction", on-going since 2021, with Prof. Keiji Kimura (Waseda University).
• Guillaume Iooss, "Detection of Linear Algebra Operations in Polyhedral Programs", with Alain Darte and Sanjay Rajopadhye, defended at Colorado State university (co-tutelle) on July 2016, thesis. Now Inria Researcher.
• Alexandru Plesco, "Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators", with Alain Darte et Tanguy Risset, defended at ENS-Lyon on September 2010, thesis. Now CEO@Xtremlogic.

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