Get started
Author

Christophe Alias

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
2010 · Christophe Alias, Alain Darte, et al. · Lecture notes in computer science · 151
Data Layout Transformation for Enhancing Data Locality on NUCA Chip Multiprocessors
2009 · Qingda Lu, Christophe Alias, et al. · International Conference on Parallel Architectures and Compilation Techniques (PACT) · 73
Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
2013 · Christophe Alias, Alain Darte, et al. · Design, Automation, and Test in Europe · 34
Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose
2007 · Christophe Alias, Fabrice Baray, et al. · ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) · 25
On the Recognition of Algorithm Templates
2004 · Christophe Alias, Denis Barthou · Electronic Notes in Theoretical Computer Science · 22
PDF
Algorithm recognition based on demand-driven data-.ow analysis
2004 · C. Alias, D. Barthou · Working Conference on Reverse Engineering (WCRE) · 20
PDF
Region array SSA
2006 · Silvius Rus, Guobin He, et al. · International Conference on Parallel Architectures and Compilation Techniques (PACT) · 19
FPGA-specific synthesis of loop-nests with pipelined computational cores
2012 · Christophe Alias, Bogdan Pasca, et al. · Microprocessors and Microsystems · 14
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
2010 · Alias, Christophe, Darte, Alain, et al. · Lecture notes in computer science · 14
On Program Equivalence with Reductions
2014 · Guillaume Iooss, Christophe Alias, et al. · Lecture notes in computer science · 13
Automatic Generation of FPGA-Specific Pipelined Accelerators
2011 · Christophe Alias, Bogdan Pasca, et al. · Lecture notes in computer science · 10
Optimizing DDR-SDRAM communications at C-level for automatically-generated hardware accelerators an experience with the Altera C2H HLS tool
2010 · Christophe Alias, Alain Darte, et al. · IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP) · 10
PDF
Monoparametric Tiling of Polyhedral Programs
2021 · Guillaume Iooss, Christophe Alias, et al. · International Journal of Parallel Programming · 9
Mono-parametric Tiling is a Polyhedral Transformation
2015 · Iooss, Guillaume, Rajopadhye, Sanjay, et al. · HAL · 6
Rank: A Tool to Check Program Termination and Computational Complexity
2013 · Christophe Alias, Alain Darte, et al. · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 6
Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA
2012 · Christophe Alias, Alain Darte, et al. · ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming · 6
Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose
2007 · Christophe Alias, Fabrice Baray, et al. · ACM SIGPLAN Notices · 6
Kernel Offloading with Optimized Remote Accesses
2011 · Christophe Alias, Alain Darte, et al. · HAL · 5
PDF
Data-aware process networks
2021 · Christophe Alias, Alexandru Plesco · ACM SIGPLAN International Conference on Compiler Construction (CC) · 4
Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA
2012 · Christophe Alias, Alain Darte, et al. · ACM SIGPLAN Notices · 4
Program Analysis and Source-Level Communication Optimizations for High-Level Synthesis
2011 · Christophe Alias, Alain Darte, et al. · HAL · 3
Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings
2010 · Christophe Alias, Alain Darte, et al. · HAL · 3
Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions
2009 · Christophe Alias, Alain Darte, et al. · HAL · 3
Fkcc: The Farkas Calculator
2020 · Christophe Alias · Lecture notes in computer science · 2
Optimizing Affine Control With Semantic Factorizations
2017 · Christophe Alias, Alexandru Plesco · ACM Transactions on Architecture and Code Optimization · 2
PDF
Works count: 83
Citation count: 476
H-index: 10
I10-index: 12
Year
Topic
Type