| 2021 | CC | Data-aware process networks. | Christophe Alias, Alexandru Plesco |
| 2019 | FM | Fkcc: The Farkas Calculator. | Christophe Alias |
| 2014 | SAS | On Program Equivalence with Reductions. | Guillaume Iooss, Christophe Alias, Sanjay V. Rajopadhye |
| 2013 | DATE | Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA. | Christophe Alias, Alain Darte, Alexandru Plesco |
| 2013 | ICST | Rank: A Tool to Check Program Termination and Computational Complexity. | Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord |
| 2012 | PPoPP | Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA. | Christophe Alias, Alain Darte, Alexandru Plesco |
| 2010 | SAS | Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. | Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord |
| 2005 | EuroPar | Deciding Where to Call Performance Libraries. | Christophe Alias, Denis Barthou |
| 2005 | GPCE | On Domain-Specific Languages Reengineering. | Christophe Alias, Denis Barthou |