Nombre de documents

23

CV de Christophe Alias


Rapport10 documents

  • Christophe Alias, Fabrice Rastello, Alexandru Plesco. High-Level Synthesis of Pipelined FSM from Loop Nests. [Research Report] 8900, INRIA. 2016, pp.18. <hal-01301334v2>
  • Christophe Alias, Alexandru Plesco. Data-aware Process Networks. [Rapport de recherche] RR-8735, Inria - Research Centre Grenoble – Rhône-Alpes; INRIA. 2015, pp.32. <hal-01158726>
  • Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias, Yun Zou. Mono-parametric Tiling is a Polyhedral Transformation. [Research Report] RR-8802, INRIA Grenoble - Rhône-Alpes; CNRS. 2015, pp.40. <hal-01219452>
  • Guillaume Andrieu, Christophe Alias, Laure Gonnord. Modular termination of C programs. [Research Report] RR-8166, INRIA. 2012. <hal-00760917v2>
  • Christophe Alias, Bogdan Pasca, Alexandru Plesco. FPGA-Specific Synthesis of Loop-Nests with Pipelined Computational Cores. [Research Report] RR-7674, INRIA. 2011, pp.33. <inria-00606977>
  • Christophe Alias, Alain Darte, Alexandru Plesco. Kernel Offloading with Optimized Remote Accesses. [Research Report] RR-7697, INRIA. 2011, pp.29. <inria-00611179>
  • Christophe Alias, Alain Darte, Alexandru Plesco. Program Analysis and Source-Level Communication Optimizations for High-Level Synthesis. [Research Report] RR-7648, INRIA. 2011, pp.16. <inria-00601822>
  • Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord. Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings. [Research Report] RR-7235, INRIA. 2010, pp.32. <inria-00464356>
  • Christophe Alias, Alain Darte, Alexandru Plesco. Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators. An Experience with the Altera C2H HLS Tool.. [Research Report] RR-7281, INRIA. 2010, pp.19. <inria-00482035>
  • Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord, Clément Quinson. Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions. [Research Report] 2009, pp.31. <inria-00434037>

Communication dans un congrès10 documents

  • Christophe Alias, Carsten Fuhs, Laure Gonnord. Estimation of Parallel Complexity with Rewriting Techniques. Workshop on Termination, Sep 2016, Obergurgl, Austria. Workshop on Termination, 2016, Workshop on Termination. <http://cl-informatik.uibk.ac.at/events/wst-2016/>. <hal-01345914>
  • Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias, Yun Zou. CART: Constant Aspect Ratio Tiling. 4th International Workshop on Polyhedral Compilation Techniques (IMPACT’14), Jan 2014, Vienna, Austria. 2014. <hal-00915827>
  • Christophe Alias, Alain Darte, Alexandru Plesco. Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA. Design, Automation, and Test in Europe (DATE'13), Mar 2013, Grenoble, France. 2013. <hal-00761533>
  • Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord. Rank: a tool to check program termination and computational complexity. Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg. <hal-00801571>
  • Guillaume Andrieu, Christophe Alias, Laure Gonnord. SToP : Scalable Termination analysis of (C) Programs (tool presentation). Tapas 2012, Sep 2012, Deauville, France. 2012. <hal-00760926>
  • Christophe Alias, Alain Darte, Alexandru Plesco. Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA. 2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), held with HIPEAC'12, Jan 2012, Paris, France. 2012. <hal-00761477>
  • Christophe Alias, Alain Darte, Alexandru Plesco. Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA. 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12), Feb 2012, New Orleans, United States. IEEE Computer Society, pp.285--286, 2012, <10.1145/2145816.2145856>. <hal-00761473>
  • Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord. Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. Static Analysis Symposium, Sep 2010, Perpignan, France. 2010, <10.1007/978-3-642-15769-1>. <inria-00523298>
  • Christophe Alias, Denis Barthou. On Domain Specific Language Re-Engineering. Sep 2005, ACM, 2005. <hal-00141073>
  • Christophe Alias, Denis Barthou. Deciding Where to Call Performance Libraries. Aug 2005, IEEE, 2005. <hal-00141074>

Brevet1 document

  • Christophe Alias, Alexandru Plesco. Procédé de synthèse de circuits, dispositif et programme d’ordinateur associés. France, N° de brevet: FR1453308. 2014. <hal-01096129>

Pré-publication, Document de travail1 document

  • Christophe Alias, Bogdan Pasca, Alexandru Plesco. Automatic Generation of FPGA-Specific Pipelined Accelerators. 2010. <ensl-00549682>

Article dans une revue1 document

  • Christophe Alias, Bogdan Pasca, Alexandru Plesco. FPGA-Specific Synthesis of Loop Nests with Pipelined Computational Cores. Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2012, 36 (8), pp.606-619. <10.1016/j.micpro.2012.06.009>. <hal-00761515>