BACK TO INDEX

Publications of Fabrice Rastello
Books and proceedings
  1. Fabrice Rastello, editor. SSA-Based Compiler Design. Springer, 2014. Note: To appear.


Thesis
  1. 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.


  2. Fabrice Rastello. Partitionnement: optimisation de compilation et algorithmique hétérogène. PhD thesis, École Normale Supérieure de Lyon, September 2000.


Articles in journal or book chapters
  1. Naznin Fauzia, Venmugil Elango, Mahesh Ravishankar, J. Ramanujam, Fabrice Rastello, Atanas Rountev, Louis-Noël Pouchet, and P. Sadayappan. Beyond Reuse Distance Analysis: Dynamic Analysis for Characterization of Data Locality Potential. Transactions on Architecture and Code Optimization, 10(4), December 2013. [WWW]


  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. Marie Rastello, Fabrice Rastello, Hervé Bellot, Frédéric Ousset, François Dufour, and Lorenz Meier. Size of Snow Particles in a Powder-Snow Avalanche. Journal of Glaciology, 57(201):151-156(6), March 2011. Keyword(s): Fluid mechanics, Image processing.


  4. Christophe Guillon, Fabrice Rastello, Thierry Bidault, and Florent Bouchez. Procedure Placement using Temporal-Ordering Information: Dealing with Code Size Expansion. Journal of Embedded Computing, 1(4):437-459, 2005.


  5. Fabrice Rastello, Amit Rao, and Santosh Pande. Optimal Task Scheduling to Minimize Inter-Tile Latencies. Parallel Computing, 29(2):209-239, February 2003.


  6. Olivier Beaumont, Vincent Boudet, Arnaud Legrand, Fabrice Rastello, and Yves Robert. Static Data Allocation and Load Balancing Techniques for Heterogeneous Systems. In C.K. Yuen, editor, Annual Review of Scalable Computing, volume 4, chapter 1, pages 1-37. World Scientific, 2002.


  7. Olivier Beaumont, Vincent Boudet, Fabrice Rastello, and Yves Robert. Partitioning a Square into Rectangles: NP-Completeness and Approximation Algorithms. Algorithmica, 34:217-239, 2002.


  8. Fabrice Rastello and Yves Robert. Automatic Partitioning of Parallel Loops with Parallelepiped-Shaped Tiles. IEEE Transactions on Parallel and Distributed Systems, 13(5):460-470, May 2002.


  9. Olivier Beaumont, Vincent Boudet, Antoine Petitet, Fabrice Rastello, and Yves Robert. A Proposal for a Heterogeneous Cluster ScaLAPACK (Dense Linear Solvers). IEEE Transactions on Computers, 50(10):1052-1070, 2001.


  10. Olivier Beaumont, Vincent Boudet, Fabrice Rastello, and Yves Robert. Matrix Multiplication on Heterogeneous Platforms. IEEE Transactions on Parallel and Distributed Systems, 12(10):1033-1051, 2001.


  11. Olivier Beaumont, Arnaud Legrand, Fabrice Rastello, and Yves Robert. Dense Linear Algebra Kernels on Heterogeneous Platforms: Redistribution Issues. Parallel Computing, 28:155-185, 2001.


  12. Olivier Beaumont, Arnaud Legrand, Fabrice Rastello, and Yves Robert. Static LU Decomposition on Heterogeneous Platforms. International Journal of High Performance Computing Applications, 15(3):310-323, 2001.


  13. Vincent Boudet, Fabrice Rastello, and Yves Robert. Alignment and Distribution is NOT (Always) NP-Hard. Journal of Parallel and Distributed Computing, 61:501-519, 2001.


  14. Pierre Boulet, Jack Dongarra, Fabrice Rastello, Yves Robert, and Frédéric Vivien. Algorithmic Issues on Heterogeneous Computing Platforms. Parallel Processing Letters, 9(2):197-213, 1999.


  15. Frédéric Desprez, Jack Dongarra, Fabrice Rastello, and Yves Robert. Determining the Idle Time of a Tiling: New Results. Journal of Information Science and Engineering, 14:167-190, 1998.


Conference articles
  1. André Tavares, Fabrice Rastello, Benoit Boissinot, and Fernando Pereira. Parameterized Construction of Program Representations for Sparse Dataflow Analyses. In Albert Cohen, editor, 23rd International Conference on Compiler Construction (CC'14), volume 8409, Grenoble, France, April 2014. Springer. [WWW]


  2. Boubacar Diouf, Albert Cohen, and Fabrice Rastello. A Polynomial Spilling Heuristic: Layered Allocation. In International Symposium on Code Generation and Optimization (CGO'13), Shenzhen, China, pages 1-10, February 2013. IEEE Computer Society.


  3. Benoit Boissinot, Florian Brandner, Alain Darte, Benoit Dupont de Dinechin, and Fabrice Rastello. A Non-Iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. In 9th Asian Symposium on Programming Languages and Systems (APLAS'11), pages 137-154, December 2011. Springer Verlag.


  4. Quentin Colombet, Benoit Boissinot, Philip Brisk, Sebastian Hack, and Fabrice Rastello. Graph Coloring and Treescan Register Allocation Using Repairing. In International Conference on Compilers, Architectures, and Synthesis of Embedded Systems (CASES'11), Taipei, Taiwan, October 2011. IEEE Computer Society.


  5. Julien Le Guen, Christophe Guillon, and Fabrice Rastello. MinIR, a Minimalistic Intermediate Representation. In Florent Bouchez, Sebastian Hack, and Eelco Visser, editors, Workshop on Intermediate Representations (WIR'11), held with CGO'11, Chamonix, pages 5-12, April 2011.


  6. André Tavares, Quentin Colombet, Mariza Bigonha, Christophe Guillon, Fernando Pereira, and Fabrice Rastello. Decoupled Graph-Coloring Register Allocation with Hierarchical Aliasing. In 14th International Workshop on Software & Compilers for Embedded Systems (SCOPES'11), St. Goar, Germany, pages 1-10, June 2011. ACM Press.


  7. Florent Bouchez, Quentin Colombet, Alain Darte, 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.


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


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


  10. Marie Rastello, Fabrice Rastello, Hervé Bellot, Frédéric Ousset, and François Dufour. Size of Snow Particles in a Powder-Snow Avalanche. In ASME Fluids Engineering Division Summer Meeting 2009 (FEDSM'09), August 2009.


  11. Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, and Fabrice Rastello. Fast Liveness Checking for SSA-Form Programs. In Sixth Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO'08), Boston, MA, USA, pages 35-44, April 2008. ACM Press. Note: Best paper award.


  12. 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, October 2008. ACM Press.


  13. Florent Bouchez, Alain Darte, 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. Note: Best paper award.


  14. 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), volume 42, San Diego, USA, pages 103-112, June 2007. ACM Press.


  15. Florent Bouchez, Alain Darte, Christophe Guillon, and Fabrice Rastello. Register Allocation: What does the NP-Completeness Proof of Chaitin et al. Really Prove?. In Annual Workshop in Duplicating, Deconstructing, and Debunking (WDDD'06), held in conjunction with the International Symposium on Computer Architecture (ISCA'33), Boston, MA, USA, July 2006.


  16. Florent Bouchez, Alain Darte, Christophe Guillon, and Fabrice Rastello. Register Allocation: What does the NP-Completeness Proof of Chaitin et al. Really Prove? Or Revisiting Register Allocation: Why and How. In International Workshop on Languages and Compilers for Parallel Computing (LCPC'06), New Orleans, FL, USA, November 2006. Springer Verlag.


  17. Christophe Guillon, Fabrice Rastello, Thierry Bidault, and Florent Bouchez. Procedure Placement using Temporal-Ordering Information: Dealing with Code Size Expansion. In International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES'04), pages 268-279, 2004. ACM Press.


  18. 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-278, March 2004. IEEE Computer Society Press.


  19. Thierry Dauxois and Fabrice Rastello. Efficient Tiling for an ODE Discrete Integration Program: Redundant Tasks Instead of Trapezoidal-Shaped Tiles. In Workshop on Massively Parallel Processing (WMPP 2002), Fort Lauderdale, Florida, April 2002. IEEE Computer Society Press.


  20. Olivier Beaumont, Vincent Boudet, Arnaud Legrand, Fabrice Rastello, and Yves Robert. Heterogeneous Matrix-Matrix Multiplication, or Partitioning a Square into Rectangles: NP-Completeness and Approximation Algorithms. In EuroMicro Workshop on Parallel and Distributed Computing (EuroMicro 2001), pages 298-305, 2001. IEEE Computer Society Press.


  21. Benoît Dupont de Dinechin, Christophe Monat, and Fabrice Rastello. Parallel Execution of the Saturated Reductions. In Workshop on Signal Processing Systems (SIPS 2001), pages 373-384, 2001. IEEE Computer Society Press.


  22. Olivier Beaumont, Vincent Boudet, Arnaud Legrand, Fabrice Rastello, and Yves Robert. Dense Linear Algebra Kernels on Heterogeneous Platforms. In International Workshop on Parallel Matrix Algorithms and Applications, Neuchâtel, Suisse, August 2000.


  23. Olivier Beaumont, Vincent Boudet, Arnaud Legrand, Fabrice Rastello, and Yves Robert. Heterogeneity Considered Harmful to Algorithm Designers. In Cluster 2000, pages 403-404, 2000. IEEE Computer Society Press.


  24. Olivier Beaumont, Vincent Boudet, Fabrice Rastello, and Yves Robert. Load Balancing Strategies for Dense Linear Algebra Kernels on Heterogeneous Two-dimensional Grids. In 14th International Parallel and Distributed Processing Symposium (IPDPS 2000), Mexico, pages 783-792, 2000. IEEE Computer Society Press.


  25. Olivier Beaumont, Vincent Boudet, Fabrice Rastello, and Yves Robert. Matrix-Matrix Multiplication on Heterogeneous Platforms. In International Conference on Parallel Processing (ICPP 2000), pages 289-298, 2000. IEEE Computer Society Press.


  26. Vincent Boudet, Antoine Petitet, Fabrice Rastello, and Yves Robert. Data Allocation Strategies for Dense Linear Algebra Kernels on Heterogeneous Two-Dimensional Grids. In Parallel and Distributed Computing and Systems conference (PDCS'99), pages 561-569, 1999. IASTED Press.


  27. Vincent Boudet, Fabrice Rastello, and Yves Robert. A Proposal for a Heterogeneous Cluster ScaLAPACK (Dense Linear Solvers). In Hamid R. Arabnia, editor, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), pages 1285-1291, 1999. CSREA Press.


  28. Vincent Boudet, Fabrice Rastello, and Yves Robert. Algorithmic Issues for (Distributed) Heterogeneous Computing Platforms. In Rajkumar Buyya and Toni Cortes, editors, Cluster Computing Technologies, Environments, and Applications (CC-TEA'99), pages 709-712, 1999. CSREA Press.


  29. Vincent Boudet, Fabrice Rastello, and Yves Robert. PVM Implementation of Heterogeneous ScaLAPACK Dense Linear Solvers. In J. Dongarra, E. Luque, and T. Margalef, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, LNCS 1697, pages 333-340, 1999. Springer Verlag.


  30. Vincent Boudet, Fabrice Rastello, and Yves Robert. Alignment and Distribution is NOT (Always) NP-hard. In Chyi-Nan Chen and Lionel M. Ni, editors, ICPADS'98, Taiwan, pages 648-657, 1998. IEEE Computer Society Press.


  31. Fabrice Rastello, Amit Rao, and Santosh Pande. Optimal Task Scheduling to Minimize Inter-Tile Latencies. In International Conference on Parallel Processing (ICPP'98), pages 172-179, 1998. IEEE Computer Society Press.


  32. Fabrice Rastello and Yves Robert. Loop Partitioning versus Tiling for Cache-Based Multiprocessors. In International Conference on Parallel and distributed Computing and Systems, PDCS'98, Las Vegas, pages 477-483, 1998. IASTED Press.


  33. Frédéric Desprez, Jack Dongarra, Fabrice Rastello, and Yves Robert. Determining the Idle Time of a Tiling: New Results. In Parallel Architectures and Compilation Techniques PACT'97, pages 307-317, 1997. IEEE Computer Society Press.


Internal reports
  1. Florian Brandner, Benoit Boissinot, Alain Darte, Benoît Dupont de Dinechin, and Fabrice Rastello. Computing Liveness Sets for SSA-Form Programs. Research Report RR-7503, INRIA, April 2011. [WWW]


  2. Benoit Boissinot, Philip Brisk, Alain Darte, and Fabrice Rastello. SSI Revisited. Technical report RR2009-24, LIP, July 2009. [WWW]


  3. Benoit Boissinot, Sebastion Hack, Daniel Grund, Benoît Dupont de Dinechin, and Fabrice Rastello. Fast Liveness Checking for SSA-Form Programs. Technical report RR2007-45, LIP, ENS-Lyon, France, September 2007. [WWW]


  4. Florent Bouchez, Alain Darte, and Fabrice Rastello. Improvements to Conservative and Optimistic Register Coalescing. Technical report RR2007-41, LIP, ENS-Lyon, France, March 2007. [WWW]


  5. 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. [WWW]


  6. Florent Bouchez, Alain Darte, and Fabrice Rastello. On the Complexity of Register Coalescing. Technical report RR2006-15, LIP, ENS-Lyon, France, March 2006. [WWW]


  7. 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. [WWW]


  8. 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. [WWW]


  9. 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. [WWW]


  10. Thierry Bidault, Christophe Guillon, Florent Bouchez, and Fabrice Rastello. Procedure Placement using Temporal-Ordering Information: Dealing with Code Size Expansion. Technical report RR-04-16, LIP, ENS Lyon, France, April 2004. [WWW]


  11. Fabrice Rastello, Francois de Ferrière, and Christophe Guillon. Optimizing the Translation Out-of-SSA with Renaming Constraints. Technical report RR2003-35, LIP, ENS Lyon, France, June 2003.


  12. Benoît Dupont de Dinechin, Christophe MONAT, and Fabrice Rastello. Parallel Execution of the Saturated Reductions. Technical report RR-01-28, LIP, ENS Lyon, France, July 2001. [WWW]


  13. Fabrice Rastello and Thierry Dauxois. Parallelization of the Numerical Lyapunov Calculation for the Fermi-Pasta-Ulam Chain.. Technical report RR-01-42, LIP, ENS Lyon, France, November 2001. [WWW]


  14. Olivier Beaumont, Vincent Boudet, Arnaud Legrand, Fabrice Rastello, and Yves Robert. Heterogeneity Considered Harmful to Algorithm Designers. Technical report RR-00-24, LIP, ENS Lyon, France, June 2000. [WWW]


  15. Olivier Beaumont, Vincent Boudet, Fabrice Rastello, and Yves Robert. Matrix-Matrix Multiplication on Heterogeneous Platforms. Technical report RR-00-02, LIP, ENS Lyon, France, January 2000. [WWW]


  16. Olivier Beaumont, Vincent Boudet, Fabrice Rastello, and Yves Robert. Partitioning a Square into Rectangles: NP-completeness and Approximation Algorithms. Technical report RR-00-10, LIP, ENS Lyon, France, February 2000. [WWW]


  17. Olivier Beaumont, Arnaud Legrand, Fabrice Rastello, and Yves Robert. Dense Linear Algebra Kernels on Heterogeneous Platforms: Redistribution Issues. Technical report RR-00-45, LIP, ENS Lyon, France, December 2000. [WWW]


  18. Olivier Beaumont, Arnaud Legrand, Fabrice Rastello, and Yves Robert. Static LU Decomposition on Heterogeneous Platforms. Technical report RR-00-44, LIP, ENS Lyon, France, December 2000. [WWW]


  19. Vincent Boudet, Antoine Petitet, Fabrice Rastello, and Yves Robert. Data Allocation Strategies for Dense Linear Algebra Kernels on Heterogeneous Two-dimensional Grids. Technical report RR-99-31, LIP, ENS Lyon, France, 1999. [WWW]


  20. Vincent Boudet, Fabrice Rastello, and Yves Robert. A Proposal for an Heterogeneous Cluster ScaLAPACK (Dense Linear Solvers). Technical report RR-99-17, LIP, ENS Lyon, France, 1999. [WWW]


  21. Vincent Boudet, Fabrice Rastello, and Yves Robert. Algorithmic Issues for (Distributed) Heterogeneous Computing Platforms. Technical report RR-99-19, LIP, ENS Lyon, France, 1999. [WWW]


  22. Vincent Boudet, Fabrice Rastello, and Yves Robert. Alignment and distribution is NOT(always) NP-hard. Technical report RR-98-30, LIP, ENS Lyon, France, 1998. [WWW]


  23. Pierre Boulet, Jack Dongarra, Fabrice Rastello, Yves Robert, and Frédéric Vivien. Algorithmic Issues for Heterogeneous Computing Platforms. Technical report RR-98-49, LIP, ENS Lyon, France, 1998. [WWW]


  24. Fabrice Rastello, Amit Rao, and Santosh Pande. Task Ordering in Linear Tiles. Technical report RR-98-11, LIP, ENS Lyon, France, 1998. [WWW]


  25. Fabrice Rastello and Yves Robert. Loop Partitioning versus Tiling for Cache-Based Multiprocessors. Technical report RR-98-13, LIP, ENS Lyon, France, February 1998. [WWW]


  26. Frédéric Desprez, Jack Dongarra, Fabrice Rastello, and Yves Robert. Determining the Idle Time of a Tiling. Technical report RR-97-35, LIP, ENS Lyon, France, 1997. [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:03 2014
Author: darte.

This document was translated from BibTEX by bibtex2html