BACK TO INDEX

Publications of year 2012
Thesis
  1. Quentin Colombet. Decoupled (SSA-based) Register Allocators: From Theory to Practice, Coping with Just-In-Time Compilation and Embedded Processors Constraints. PhD thesis, École normale supérieure de Lyon, December 2012. Note: PhD thesis.


  2. Fabrice Rastello. On Sparse Intermediate Representations: Some Structural Properties and Applications to Just-In-Time Compilation. PhD thesis, École normale supérieure de Lyon, December 2012. Note: Habilitation thesis.


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.


  2. Benoit Boissinot, Philip Brisk, Alain Darte, and Fabrice Rastello. SSI Properties Revisited. ACM Transactions on Embedded Computing Systems, 11S(1), June 2012. Note: Article 21, 23 pages.


  3. Paul Feautrier, Abdoulaye Gamatié, and Laure Gonnord. Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction. CSI Journal of Computing, 1(4):8:86 - 8:99, 2012.


Conference articles
  1. 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.


  2. 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.


  3. 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.


  4. Florian Brandner and Quentin Colombet. Copy Elimination on Data Dependence Graphs. In 27th Annual ACM Symposium on Applied Computing (SAC'12), Trento, Italy, pages 1916-1918, March 2012. ACM Press.


  5. Paul Feautrier. Approximating the Transitive Closure of a Boolean-Affine Relation. In 2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), Paris, January 2012.


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



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