1. Quentin Colombet, Benoit Boissinot, Philip Brisk, Sebastian Hack, and Fabrice Rastello. Graph-Coloring and Treescan Register Allocation Using Repairing. In Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES'11), October 2011. IEEE Computer Society . Keyword(s): Static Single Assignment, register allocation. [bibtex-entry]



2. Florent Bouchez, Quentin Colombet, Alain Darte and Christophe Guillon, and Fabrice Rastello. Parallel Copy Motion. In 13th International Workshop on Software & Compilers for Embedded Systems (SCOPES'10), St. Goar, Germany, pages 1--10, June 2010. ACM Press. Keyword(s): Static Single Assignment, Coalescing, machine code level, register allocation . [bibtex-entry]



3. Boubacar Diouf, Albert Cohen, Fabrice Rastello, and John Cavazos. Split Register Allocation: Linear Complexity Without the Performance Penalty. In International Conference on High-Performance Embedded Architectures and Compilers (HiPEAC'10), volume 5952 of Lecture Notes in Computer Science, pages 66-80, January 2010. Springer Verlag. Keyword(s): Static Single Assignment, register allocation. [bibtex-entry]



4. Benoit Boissinot, Alain Darte, Benoît Dupont de Dinechin, Christophe Guillon, and Fabrice Rastello. Revisiting Out-of-SSA Translation for Correctness, Code Quality, and Efficiency. In International Symposium on Code Generation and Optimization (CGO'09), pages 114--125, March 2009. IEEE Computer Society Press. Note: Best paper award. Keyword(s): Static Single Assignment, Coalescing, NP-completeness, K-COLORABILITY, machine code level, Just-In-Time, register allocation. [bibtex-entry]



5. Benoit Boissinot, Sebastian Hack, Daniel Grund and Benoît Dupont de Dinechin, and Fabrice Rastello. Fast Liveness Checking for SSA-Form Programs. In International Symposium on Code Generation and Optimization (CGO'08), Boston, MA, USA, pages 35--44, 2008. ACM Press. Note: Best paper award . Keyword(s): Static Single Assignment, Loop nesting forest, Control Flow Graph, Depth First Search, Liveness. [bibtex-entry]



6. Florent Bouchez, Alain Darte, and Fabrice Rastello. Advanced Conservative and Optimistic Register Coalescing. In International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES'08), Atlanta, GA, USA, pages 147--156, 2008. ACM Press. Keyword(s): Static Single Assignment, Coalescing, NP-completeness, K-COLORABILITY, register allocation. [bibtex-entry]



7. Florent Bouchez, Alain Darte, and and Fabrice Rastello. On the Complexity of Register Coalescing. In International Symposium on Code Generation and Optimization (CGO'07), pages 102--114, March 2007. IEEE Computer Society Press. Keyword(s): Static Single Assignment, Coalescing, NP-completeness, K-COLORABILITY, register allocation. [bibtex-entry]



8. Florent Bouchez, Alain Darte, and Fabrice Rastello. On the complexity of spill everywhere under SSA form. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), pages 103--112, June 2007. ACM Press. Keyword(s): Static Single Assignment, Spilling, NP-completeness, K-COLORABILITY, register allocation. [bibtex-entry]



9. Florent Bouchez, Alain Darte, Christophe Guillon, and Fabrice Rastello. Register Allocation: What does the NP-Completeness Proof of Chaitin et al. Really Prove?. In International Workshop on Languages and Compilers for Parallel Computing (LCPC'06), November 2006. Springer Verlag. Keyword(s): Static Single Assignment, Coalescing, Spilling, NP-completeness, K-COLORABILITY, register allocation . [bibtex-entry]



10. Florent Bouchez, Alain Darte, Christophe Guillon, and Fabrice Rastello. Register Allocation: What does the NP-completeness Proof of Chaitin et al. Really Prove?. In Workshop on Duplicating, Deconstructing and Debunking (WDDD'06), held in conjunction with the International Symposium on Computer Architecture (ISCA'33), July 2006. Keyword(s): Static Single Assignment, Coalescing, Spilling, NP-completeness, K-COLORABILITY, register allocation . [bibtex-entry]



11. Fabrice Rastello, Francois de Ferrière, and Christophe Guillon. Optimizing Translation Out of SSA using Renaming Constraints. In International Symposium on Code Generation and Optimization (CGO'04), pages 265--276, March 2004. IEEE Computer Society Press. Keyword(s): Static Single Assignment, Coalescing, NP-completeness, K-COLORABILITY, machine code level, register allocation. [bibtex-entry]

1. Benoit Boissinot, Sebastion Hack, Daniel Grund and Benoit Dupont de Dinechin, and Fabrice Rastello. Fast Liveness Checking for SSA-Form Programs. Technical report RR2007-45, LIP, ENS-Lyon, France, sept 2007 . Keyword(s): Static Single Assignment, Loop nesting forest, Control Flow Graph, Depth First Search, Liveness. [bibtex-entry]



2. Florent Bouchez, Alain Darte, and Fabrice Rastello. Improvements to Conservative and Optimistic Register Coalescing. Technical report RR2007-41, LIP, ENS-Lyon, France, March 2007 . Keyword(s): Static Single Assignment, Spilling, chordal graph, (greedy)-k-colorable-graph, register allocation. [bibtex-entry]



3. Florent Bouchez, Alain Darte, and Fabrice Rastello. On the Complexity of Spill Everywhere under SSA Form. Technical report RR2007-42, LIP, ENS-Lyon, France, March 2007 . Keyword(s): Static Single Assignment, Spilling, NP-completeness, chordal graph, (greedy)-k-colorable-graph, register allocation. [bibtex-entry]



4. Florent Bouchez, Alain Darte, and Fabrice Rastello. On the Complexity of Register Coalescing. Technical report RR2006-15, LIP, ENS-Lyon, France, march 2006. Keyword(s): Static Single Assignment, Coalescing, NP-completeness, chordal graph, (greedy)-k-colorable-graph, register allocation. [bibtex-entry]



5. Florent Bouchez, Alain Darte, and Fabrice Rastello. Register Allocation: What does Chaitin's NP-Completeness Proof really Prove?. Technical report RR2006-13, LIP, ENS-Lyon, France, march 2006. Keyword(s): Static Single Assignment, Coalescing, Spilling, NP-completeness, K-COLORABILITY, register allocation. [bibtex-entry]



6. Florent Bouchez, Alain Darte, Christophe Guillon, and Fabrice Rastello. Register allocation and spill complexity under SSA. Technical report RR2005-33, LIP, ENS Lyon, France, August 2005. Keyword(s): Static Single Assignment, Coalescing, NP-completeness, Compilation, register allocation, Spill, perfect-graphs. [bibtex-entry]



7. Fabrice Rastello, Francois de Ferrière, and Christophe Guillon. Optimizing the translation out-of-SSA with renaming constraints. Technical report RR2005-34, LIP, ENS Lyon, France, august 2005. Keyword(s): Static Single Assignment, Coalescing, NP-completeness, K-COLORABILITY, machine code level, register allocation. [bibtex-entry]



8. Fabrice Rastello, Francois de Ferrière, and Christophe Guillon. Optimizing the translation out-of-SSA with renaming constraints. Technical report RR-03-35, LIP, ENS Lyon, France, june 2003. Note: Available at www.ens-lyon.fr/LIP/. . Keyword(s): Static Single Assignment, Coalescing, NP-completeness, K-COLORABILITY, machine code level, register allocation. [bibtex-entry]

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.

This document was translated from BibT_EX by bibtex2html