Christophe Alias
Orcid: 0000-0002-5387-2369
According to our database1,
Christophe Alias
authored at least 22 papers
between 2003 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the High Performance Computing. ISC High Performance 2022 International Workshops - Hamburg, Germany, May 29, 2022
2021
Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021
2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Contributions to Program Optimization and High-Level Synthesis. (Contributions à l'optimisation de programmes et à la synthèse de circuits haut-niveau).
, 2019
2018
2017
ACM Trans. Archit. Code Optim., 2017
2014
Proceedings of the Static Analysis - 21st International Symposium, 2014
2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2012
Microprocess. Microsystems, 2012
Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012
2011
Proceedings of the Reconfigurable Computing: Architectures, Tools and Applications, 2011
2010
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs.
Proceedings of the Static Analysis - 17th International Symposium, 2010
Optimizing DDR-SDRAM communications at C-level for automatically-generated hardware accelerators an experience with the Altera C2H HLS tool.
Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010
2009
Proceedings of the PACT 2009, 2009
2007
Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose.
Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007
2006
Proceedings of the 15th International Conference on Parallel Architectures and Compilation Techniques (PACT 2006), 2006
2005
Optimisation de programmes par reconnaissance de templates. (Program Optimization by Template Recognition and Replacement).
PhD thesis, 2005
Proceedings of the Generative Programming and Component Engineering, 2005
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005
2003
Proceedings of the Compiler Optimization Meets Compiler Verification, 2003
Proceedings of the 10th Working Conference on Reverse Engineering, 2003