BACK TO INDEX

Publications of Christophe Alias
Articles in journal or book chapters
  1. Christophe Alias, Bogdan Pasca, and Alexandru Plesco. FPGA-Specific Synthesis of Loop Nests with Pipelined Computational Cores. Microprocessors and Microsystems - Embedded Hardware Design, 36(8):606-619, 2012.


Conference articles
  1. Guillaume Iooss, Christophe Alias, and Sanjay Rajopadhye. On Program Equivalence with Reductions. In 21st International Static Analysis Symposium (SAS'14), Munich, Germany, September 2014.


  2. Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias, and Yun Zou. CART: Constant Aspect Ratio Tiling. In Sanjay Rajopadhye and Sven Verdoolaege, editors, 4th International Workshop on Polyhedral Compilation Techniques (IMPACT'14), Vienna, Austria, January 2014.


  3. Christophe Alias, Alain Darte, Paul Feautrier, and Laure Gonnord. Rank: A Tool to Check Program Termination and Computational Complexity. In International Workshop on Constraints in Software Testing Verification and Analysis (CSTVA'13), Luxembourg, pages 238, March 2013. [WWW]


  4. Christophe Alias, Alain Darte, and Alexandru Plesco. Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA. In Design, Automation & Test in Europe (DATE'13), Grenoble, France, pages 575-580, March 2013.


  5. Guillaume Iooss, Sanjay Rajopadhye, and Christophe Alias. Semantic Tiling. In International Workshop on Leveraging Abstractions and Semantics in High-performance Computing (LASH-C), 2013.


  6. Christophe Alias, Alain Darte, and Alexandru Plesco. Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA. In 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12), New Orleans, USA, pages 285-286, February 2012. IEEE Computer Society. Note: Short paper.


  7. Christophe Alias, Alain Darte, and Alexandru Plesco. Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA. In 2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), Paris, January 2012. Note: PPoPP'12 extended version.


  8. Guillaume Andrieu, Christophe Alias, and Laure Gonnord. SToP: Scalable Termination Analysis of (C) Programs (Tool Presentation). In International Workshop on Tools for Automatic Program Analysis (TAPAS'12), Deauville, France, September 2012.


  9. Christophe Alias, Bogdan Pasca, and Alexandru Plesco. Automatic Generation of FPGA-Specific Pipelined Accelerators. In 7th International Symposium on Applied Reconfigurable Computing (ARC'11), Belfast, UK, pages 53-66, March 2011. Springer Verlag.


  10. Christophe Alias, Alain Darte, Paul Feautrier, and Laure Gonnord. Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. In 17th International Static Analysis Symposium (SAS'10), Perpignan, France, pages 117-133, September 2010. ACM press.


  11. Christophe Alias, Alain Darte, and Alexandru Plesco. Optimizing DDR-SDRAM Communications at C-Level for Automatically-Generated Hardware Accelerators. An Experience with the Altera C2H HLS Tool. In 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'10), Rennes, France, pages 329-332, July 2010. IEEE Computer Society.


  12. Qingda Lu, Christophe Alias, Uday Bondhugula, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan, Yongjian Chen, Haibo Lin, and Tin-fook Ngai. Data Layout Transformation for Enhancing Locality on NUCA Chip Multiprocessors. In International ACM/IEEE Conference on Parallel Architectures and Compilation Techniques (PACT'09), pages 348-357, September 2009. ACM Press.


  13. Christophe Alias, Fabrice Baray, and Alain Darte. Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), volume 42, San Diego, USA, pages 73-82, June 2007. ACM Press.


  14. Silvius Rus, Guobin He, Christophe Alias, and Lawrence Rauchwerger. Region Array SSA. In 15th International Conference on Parallel Architectures and Compilation Techniques (PACT'06), Seattle, WA, USA, pages 43-52, September 2006.


  15. Christophe Alias. TeMa: an Efficient Tool to find High-Performance Library Patterns in Source Code. In International Workshop on Patterns in High-Performance Computing, 2005.


  16. Christophe Alias and Denis Barthou. Deciding Where to Call Performance Libraries. In International IEEE/ACM Euro-Par Conference, 2005.


  17. Christophe Alias and Denis Barthou. On Domain Specific Languages Re-Engineering. In International ACM Conference on Generative Programming and Component-based Engineering, 2005.


  18. Christophe Alias and Denis Barthou. Algorithm Recognition based on Demand-Driven Dataflow Analysis. In International IEEE Working Conference on Reverse Engineering, 2003.


  19. Christophe Alias and Denis Barthou. On the Recognition of Algorithm Templates. In Electronic Notes in Theoretical Computer Science, editor, International Workshop on Compiler Optimization meets Compiler Verification, volume 82, April 2003. ETAPS.


Internal reports
  1. Guillaume Andrieu, Christophe Alias, and Laure Gonnord. Modular Termination of C programs. Research Report 8166, INRIA, 12 2012. [WWW]


  2. Christophe Alias, Alain Darte, and Alexandru Plesco. Kernel Offloading with Optimized Remote Accesses. Research Report RR-7697, INRIA, July 2011. [WWW]


  3. Christophe Alias, Alain Darte, and Alexandru Plesco. Program Analysis and Source-Level Communication Optimizations for High-Level Synthesis. Research Report RR-7648, INRIA, June 2011. [WWW]


  4. Christophe Alias, Bogdan Pasca, and Alexandru Plesco. FPGA-Specific Synthesis of Loop-Nests with Pipelined Computational Cores. Research Report RR-7674, INRIA, July 2011. [WWW]


  5. Christophe Alias, Fabrice Baray, and Alain Darte. Lattice-Based Array Contraction: from Theory to Practice. Research Report 2007-44, INRIA, November 2007.


Miscellaneous
  1. Guillaume Iooss, Christophe Alias, and Sanjay Rajopadhye. Semantic Program Optimization Avoiding (some) Data Dependencies. Poster, 8th International Conference on High Performance and Embedded Architectures and Compilers (HiPEAC'13), January 2013. Note: Berlin, Germany.



BACK TO INDEX



Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.



Last modified: Tue Dec 30 15:51:02 2014
Author: darte.

This document was translated from BibTEX by bibtex2html