1. Fabrice Rastello, editor. SSA-Based Compiler Design. Springer, 2014. Note: To appear.



2. A. Mignotte, E. Villar, and L. Spruiell, editors. System on Chip Design Languages (best of FDL 2001 and HDLCon 2001), CHDL. Kluwer, 2002.



3. Alain Darte and Serge Vaudenay. Algorithmique et optimisation: exercices corrigés, Sciences Sup. Dunod, 2001. Note: ISBN 2-10-005643-3.



4. Alain Darte, Yves Robert, and Frédéric Vivien. Scheduling and Automatic Parallelization. Birkhauser, 2000. Note: ISBN 0-8176-4149-1.



5. L. Bougé, P. Fraigniaud, A. Mignotte, and Y. Robert, editors. European Conference on Parallel Computing (Euro-Par'96), volume 1123 and 1124 of LNCS. Springer Verlag, 1996.



6. Guy-René Perrin and Alain Darte, editors. The Data Parallel Programming Model, volume 1132 of LNCS Tutorial. Springer Verlag, 1996.



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



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



9. Benoit Boissinot. Towards an SSA-based Compiler Back-end: Some Interesting Properties of SSA and Its Extensions. PhD thesis, École normale supérieure de Lyon, September 2010.



10. Alexandru Plesco. Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators. PhD thesis, École normale supérieure de Lyon, September 2010.



11. Florent Bouchez. A Study of Spilling and Coalescing in Register Allocation as Two Separate Phases. PhD thesis, École normale supérieure de Lyon, April 2009.



12. Hadda Cherroun. Scheduling for High-Level Synthesis. PhD thesis, Université des Sciences et de la Technologie Houari Boumediene, Alger, December 2007.



13. Nicolas Fournel. Estimation et optimisation de performances temporelles et énergétiques pour la conception de logiciels embarqués. PhD thesis, ENS-Lyon, Lyon, November 2007.



14. Philippe Grosse. Gestion dynamique des tâches dans une architecture microélectronique intégrée à des fins de basse consommation. PhD thesis, ENS-Lyon, Lyon, December 2007.



15. Antoine Scherrer. Analyses statistiques des communications sur puce. Thèse de doctorat, École normale supérieure de Lyon, December 2006. [WWW]



16. Antoine Fraboulet. Optimisation de la mémoire et de la consommation des systèmes multimédia embarqués. PhD thesis, INSA de Lyon, November 2001. [PDF]



17. Guillaume Huard. Algorithmique du décalage d'instructions. PhD thesis, École Normale Supérieure de Lyon, December 2001. Note: Prix de thèse de l'AFIT.



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



19. T. Risset. Contribution à la compilation de nids de boucles sur silicium. Thèse d'habilitation à diriger des recherches, Université de Rennes 1, October 2000. [WWW]



20. Alain Darte. De l'organisation des calculs dans les codes répétitifs. Thèse d'habilitation à diriger des recherches, Université Claude Bernard de Lyon, December 1999. [WWW]



21. Anne Mignotte. Compilation sur silicium ou conception conjointe matérielle-logicielle. Thèse d'habilitation à diriger des recherches, Université Claude Bernard de Lyon, March 1999.



22. Georges-André Silber. Parallélisation automatique par insertion de directives. PhD thesis, École Normale Supérieure de Lyon, December 1999.



23. T. Risset. Parallélisation automatique: du modèle systolique à la compilation de nids de boucles. Thèse de doctorat, ENS-Lyon, February 1994.



24. Alain Darte. Techniques de parallélisation automatique de nids de boucles. Thèse de doctorat, Université Claude Bernard de Lyon, April 1993. [WWW]



25. Quentin Colombet, Florian Brandner, and Alain Darte. Studying Optimal Spilling in the Light of SSA. ACM Transactions on Architecture and Code Optimization (ACM TACO), October 2014. Annotation:

    Accepted, to appear




26. Florian Brandner and Quentin Colombet. Elimination of Parallel Copies Using Code Motion on Data Dependence Graphs. Computer Languages, Systems, and Structures, 39(1):25 - 47, 2013. [WWW]



27. 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]



28. Laure Gonnord and Peter Schrammel. Abstract Acceleration in Linear Relation Analysis. Science of Computer Programming, 2013. Note: In press, Available online 10 October 2013, author version : http://hal.inria.fr/hal-00787212/en. [WWW] [doi:10.1016/j.scico.2013.09.016]



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



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



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



32. Alain Darte. Optimal Parallelism Detection in Nested Loops. In David Padua, editor, Encyclopedia of Parallel Programming. Springer, 2011.



33. Paul Feautrier. Array Layout for Parallel Processing. In David Padua, editor, Encyclopedia of Parallel Programming. Springer, 2011.



34. Paul Feautrier. Bernstein's Conditions. In David Padua, editor, Encyclopedia of Parallel Programming. Springer, 2011.



35. Paul Feautrier. Dependences. In David Padua, editor, Encyclopedia of Parallel Programming. Springer, 2011.



36. Paul Feautrier and Christian Lengauer. The Polyhedron Model. In David Padua, editor, Encyclopedia of Parallel Programming. Springer, 2011.



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



38. Philippe Grosse, Yves Durand, and Paul Feautrier. Methods for Power Optimization in SOC-Based Data Flow Systems. ACM Transactions on Design Automation of Electronic Systems, 14(3):1-20, 2009. [doi:http://doi.acm.org/10.1145/1529255.1529260]



39. Alain Darte. Quelques propriétés mathématiques et algorithmiques des ensembles convexes. Énoncé et corrigé de l'épreuve de mathématiques et informatique, concours d'entrée aux ENS de Cachan, Lyon et Ulm, session 2008. Revue de Mathématiques Spéciales, 119(1), 2008.



40. Paul Feautrier. Les Compilateurs. In Jean-Eric Pin, editor, Encyclopédie de l'Informatique. Vuibert, 2007.



41. Hadda Cherroun, Alain Darte, and Paul Feautrier. Reservation Table Scheduling: Branch-and-Bound Based Optimization vs. Integer Linear Programming Techniques. RAIRO-OR, 41(4):427-454, December 2007. [doi:www.edpsciences.org/10.1051/ro:2007036]



42. Antoine Fraboulet and Tanguy Risset. Master Interface for On-Chip Hardware Accelerator Burst Communications. Journal of VLSI Signal Processing, 2(1):73-85, 2007.



43. Antoine Scherrer, Nicolas Larrieu, Pierre Borgnat, Philippe Owezarski, and Patrice Abry. Non Gaussian and Long Memory Statistical Characterisations for Internet Traffic with Anomalies. IEEE Transactions on Dependable and Secure Computing (TDSC), 4(1):56-70, 2007.



44. Paul Feautrier. Scalable and Structured Scheduling. International Journal of Parallel Programming, 34(5):459-487, October 2006.



45. Cédric Bastoul and Paul Feautrier. Adjusting a Program Transformation for Legality. Parallel Processing Letters, 15(1-2):3-17, March-June 2005.



46. Alain Darte and Guillaume Huard. New Complexity Results on Array Contraction and Related Problems. Journal of VLSI Signal Processing-Systems for Signal, Image, and Video Technology, 40(1):35-55, May 2005.



47. Alain Darte, Robert Schreiber, and Gilles Villard. Lattice-Based Memory Allocation. IEEE Transactions on Computers, 54(10):1242-1257, October 2005. Note: Special Issue, Tribute to B. Ramakrishna (Bob) Rau.



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



49. S. Derrien, A. C. Guillou, P. Quinton, T. Risset, and C. Wagner. Automatic Synthesis of Efficient Interfaces for Compiled Regular Architectures. In Domain-Specific Embedded Multiprocessors, chapter 7, pages 127-150. Marcel Dekker, 2003.



50. F. Dupont de Dinechin, M. Manjunathaiah, T. Risset, and M. Spivey. Design of Highly Parallel Architectures with Alpha and Handel. In System Specification and Design Languages (best of FDL'02). Kluwer, 2003.



51. Daniel Chavarría-Miranda, Alain Darte, Robert Fowler, and John Mellor-Crummey. Generalized Multipartitioning of Multi-Dimensional Arrays for Parallelizing Line-Sweep Computations. Journal of Parallel and Distributed Computing, 63(9):887-911, 2003. Note: Special issue of best papers from IPDPS'02.



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



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



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



55. Alain Darte and Jean Mairesse. Énoncé et corrigé de l'épreuve de mathématiques et informatique, concours d'entrée aux ENS d'Ulm et Lyon, session 2002. Revue de Mathématiques Spéciales, 113(2):47-83, December 2002.



56. Alain Darte, Rob Schreiber, Bob Ramakrishna Rau, and Frédéric Vivien. Constructing and Exploiting Linear Schedules with Prescribed Parallelism. ACM Transactions on Design Automation of Electronic Systems, 7(1):159-172, 2002.



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



58. Alain Darte, Yves Robert, and Frédéric Vivien. Loop Parallelization Algorithms. In Santosh Pande, editor, Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques, and Run Time Systems, volume 1808 of Lecture Notes in Computer Science, pages 141-172. Springer Verlag, 2001.



59. Paul Feautrier. Array Dataflow Analysis. In Santosh Pande, editor, Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques, and Run Time Systems, volume 1808 of Lecture Notes in Computer Science, pages 173-216. Springer Verlag, 2001.



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



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



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



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



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



65. S. Rajopadhye, T. Risset, and T. Tadonki. Le chemin algébrique sur réseaux linéaires. Technique et science informatiques, 20(5):655-676, 2001. [WWW]



66. Alain Darte. On the Complexity of Loop Fusion. Parallel Computing, 26(9):1175-1193, July 2000.



67. Alain Darte and Guillaume Huard. Loop Shifting for Loop Compaction. International Journal of Parallel Programming, 28(5):499-534, 2000.



68. Paul Feautrier. Les compilateurs. Technique et science informatiques, 19(1--3):223-232, 2000.



69. Martin Griebl, Paul Feautrier, and Christian Lengauer. Index Set Splitting. International Journal of Parallel Programming, 28(6):607-631, 2000.



70. E. Mémin and T. Risset. On the Study of VLSI Derivation for Optical Flow Estimation. International Journal of Pattern Recognition and Artificial Intelligence (IJPRAI), 14(4):441-462, June 2000. [WWW]



71. E. Mémin and T. Risset. VLSI Design Methodology for Edge-Preserving Image Reconstruction. Real-Time Imaging, 2000. Note: Special issue on Fast Energy Minimization-Based Imaging and Vision Techniques. [WWW]



72. Xavier Redon and Paul Feautrier. Detection of Scans in the Polytope Model. Parallel Algorithms and Applications, 15:229-263, 2000.



73. C. Tayou Djamegni, P. Quinton, S. Rajopadhye, and T. Risset. Derivation of Systolic Algorithms for the Algebraic Path Problem by Recurrence Transformations. Parallel Computing, 26:1429-1445, 2000. [WWW]



74. A. Mignotte and O. Peyran. Reducing the Complexity of an ILP Formulation for Synthesis. In F. Catthoor and al., editors, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE Circuit and System Society, 1999. Note: Special Issue on System Level Synthesis and Design.



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



76. Alain Darte. Mathematical Tools for Loop Transformations: From Systems of Uniform Recurrence Equations to the Polytope Model. In M. H. Heath, A. Ranade, and R. S. Schreiber, editors, Algorithms for Parallel Processing, volume 105 of IMA Volumes in Mathematics and its Applications, pages 147-183. Springer Verlag, 1998.



77. Pierre Boulet, Alain Darte, Georges-André Silber, and Frédéric Vivien. Loop Parallelization Algorithms: From Parallelism Extraction to Code Generation. Parallel Computing, 24(3):421-444, 1998.



78. Pierre-Yves Calland, Alain Darte, and Yves Robert. Circuit Retiming Applied to Decomposed Software Pipelining. IEEE Transactions on Parallel and Distributed Systems, 9(1):24-35, January 1998.



79. Pierre-Yves Calland, Alain Darte, Yves Robert, and Frédéric Vivien. On the Removal of Anti and Output Dependences. International Journal of Parallel Programming, 26(3):285-312, 1998.



80. Alain Darte. Énoncé et corrigé de l'épreuve de mathématiques et informatique, concours d'entrée aux ENS de Cachan et Lyon, session 1997. Revue de Mathématiques Spéciales, 108(8):881-906, April 1998.



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



82. T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, and I. Smarandache. Le projet Cairn : vers la conception d'architectures à partir de Signal et Alpha. In Collection technique et scientifique des télécommunications. CNET, 1997.



83. Pierre-Yves Calland, Alain Darte, Yves Robert, and Frédéric Vivien. Plugging Anti and Output Dependence Removal Techniques into Loop Parallelization Algorithms. Parallel Computing, 23(1):251-266, 1997.



84. Alain Darte, Georges-André Silber, and Frédéric Vivien. Combining Retiming and Scheduling Techniques for Loop Parallelization and Loop Tiling. Parallel Processing Letters, 7(4):379-392, 1997.



85. Alain Darte and Frédéric Vivien. On the Optimality of Allen and Kennedy's Algorithm for Parallelism Detection in Nested Loops. Journal of Parallel Algorithms and Applications, 12(1-3):83-112, June 1997.



86. Alain Darte and Frédéric Vivien. Optimal Fine and Medium Grain Parallelism Detection in Polyhedral Reduced Dependence Graphs. International Journal of Parallel Programming, 25(6):447-496, December 1997.



87. Alain Darte and Frédéric Vivien. Parallelizing Nested Loops with Approximation of Distance Vectors: A Survey. Parallel Processing Letters, 7(2):133-144, July 1997.



88. P. Quinton, S. V. Rajopadhye, and T. Risset. On Manipulating Z-polyhedra using a Canonical Representation. Parallel Processing Letters, 7(2):181-194, June 1997. [WWW]



89. A. Darte, F. Desprez, J.-C. Mignot, and Y. Robert. TransTool: A Restructuring Tool for the Parallelization of Applications using High Performance Fortran. Journal of the Brazilian Computer Society, 3(2):5-15, 1996.



90. Alain Darte, Michèle Dion, and Yves Robert. A Characterization of One-to-One Modular Mappings. Parallel Processing Letters, 5(1):145-157, 1996.



91. Vincent Bouchitté, Pierre Boulet, Alain Darte, and Yves Robert. Evaluating Array Expressions on Massively Parallel Machines with Communication/Computation Overlap. International Journal of Supercomputer Applications and High Performance Computing, 9(3):205-219, 1995.



92. Alain Darte and Yves Robert. Affine-by-Statement Scheduling of Uniform and Affine Loop Nests over Parametric Domains. Journal of Parallel and Distributed Computing, 29:43-59, 1995.



93. Alain Darte and Frédéric Vivien. Revisiting the Decomposition of Karp, Miller, and Winograd. Parallel Processing Letters, 5(4):551-562, 1995.



94. Pierre Boulet, Alain Darte, Tanguy Risset, and Yves Robert. (Pen)-Ultimate Tiling?. Integration, the VLSI journal, 17(1):33-51, 1994.



95. Alain Darte and Yves Robert. Constructive Methods for Scheduling Uniform Loop Nests. IEEE Transactions on Parallel and Distributed Systems, 5(8):814-822, 1994.



96. Alain Darte and Yves Robert. Mapping Uniform Loop Nests onto Distributed Memory Architectures. Parallel Computing, 20:679-710, 1994.



97. Alain Darte and Yves Robert. On the Alignment Problem. Parallel Processing Letters, 4(3):259-270, 1994.



98. M. Dion, T. Risset, and Y. Robert. Ressource-Constrained Scheduling of Partitioned Algorithms on Processor Arrays. Integration the VLSI journal, 20:139-159, 1994. [WWW]



99. A. Darte, T. Risset, and Y. Robert. Formal Methods for Solving the Algrebraic Path Problem. In L. Svensson F. Catthoor, editor, Application-Driven Architecture Synthesis, chapter 3, pages 47-69. Kluwer Academic Publishers, 1993.



100. J.F. Collard, P. Feautrier, and T. Risset. Construction of DO Loops from Systems of Affine Constraints. Parallel Processing Letters, 5:421-436, 1993. [WWW]



101. Alain Darte. Regular Partitioning for Synthesizing Fixed-Size Systolic Arrays. INTEGRATION, The VLSI Journal, 12:293-304, December 1991.



102. Alain Darte, Leonid Khachiyan, and Yves Robert. Linear Scheduling is Nearly Optimal. Parallel Processing Letters, 1(2):73-81, 1991.



103. T. Risset and Y. Robert. Synthesis of Processor Arrays for the Algebraic Path Problem: Unifying Old Results and Deriving New Architectures. Parallel Processing Letters, 1:19-28, 1991.



104. T. Risset. Implementing Gaussian Elimination on a Matrix-Matrix Multiplication Systolic Array. Parallel Computing, 16:351-359, 1990.



105. Alain Darte and Alexandre Isoard. Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes. In Björn Franke, editor, 24th International Conference on Compiler Construction (CC'15), Lecture Notes in Computer Science, London, UK, April 2015. Springer.



106. Paul Feautrier. The Power of Polynomials. In Alain Darte and Alexandra Jimborean, editors, 5th International Workshop on Polyhedral Compilation Techniques (IMPACT'15), Amsterdam, The Netherlands, January 2015.



107. Alain Darte and Alexandre Isoard. Parametric Tiling with Inter-Tile Data Reuse. In Sanjay Rajopadhye and Sven Verdoolaege, editors, 4th International Workshop on Polyhedral Compilation Techniques (IMPACT'14), Vienna, Austria, January 2014.



108. Paul Feautrier, Eric Violard, and Alain Ketterlin. Improving X10 Program Performance by Clock Removal. In Albert Cohen, editor, 23rd International Conference on Compiler Construction (CC'14), volume 8409 of Lecture Notes in Computer Science, Grenoble, France, pages 113-132, April 2014. Springer.



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



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



111. Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Oliveira, Fernando Pereira, and Laure Gonnord. Validation of Memory Accesses Through Symbolic Analyses. In OOPSLA, Portland, Oregon, United States, October 2014. [WWW]



112. Raphael Ernani Rodrigues, Péricles Alves, Fernando Pereira, and Laure Gonnord. Real-World Loops are Easy to Predict: A Case Study. In Workshop on Software Termination, Vienne, Autriche, July 2014. [WWW]



113. 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]



114. 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]



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



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



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



118. Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, and Vijay Saraswat. Array Dataflow Analysis for Polyhedral X10 Programs. In 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'13), Shenzhen, China, pages 23-34, February 2013. ACM.



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



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



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



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



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



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



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



126. Florian Brandner and Alain Darte. Compiler-driven Optimization of the Worst-Case Execution Time. In Laure Gonnord and David Monniaux, editors, Workshop ``Analyse to Compile, Compile to Analyse'' (ACCA'11), held with CGO'11, Chamonix, April 2011.



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



128. Quentin Colombet, Florian Brandner, and Alain Darte. Studying Optimal Spilling in the Light of SSA. In International Conference on Compilers, Architectures, and Synthesis of Embedded Systems (CASES'11), Taipei, Taiwan, pages 25-34, October 2011. IEEE Computer Society.



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



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



131. Florent de Dinechin, Jean-Michel Muller, Bogdan Pasca, and Alexandru Plesco. An FPGA Architecture for Solving the Table Maker's Dilemma. In 22nd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'11), Santa Monica, CA, September 2011. IEEE Computer Society.



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



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



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



135. Florian Brandner. Completeness of Automatically Generated Instruction Selectors. In 21st International Conference on Application-specific Systems Architectures and Processors (ASAP'10), Rennes, France, pages 175-182, July 2010. IEEE Computer Society.



136. Florian Brandner, Viktor Pavlu, and Andreas Krall. Execution Models for Processors and Instructions. In 28th Norchip Conference (NORCHIP'10), November 2010.



137. Alain Darte. Understanding Loops: The Influence of the Decomposition of Karp, Miller, and Winograd. In 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'10), Grenoble, France, pages 139-148, July 2010. IEEE Computer Society. Note: Invited paper.



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



139. Paul Feautrier and Laure Gonnord. Accelerated Invariant Generation for C Programs with Aspic and C2fsm. In Workshop on Tools for Automatic Program Analysis (TAPAS'10), volume 267 of Electronic Notes in Theoretical Computer Science, pages 3-13, September 2010. [doi:10.1016/j.entcs.2010.09.014]



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



141. L. Gonnord and J.-P. Babau. Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems. In ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'09), Rabbat, Morocco, pages 428-435, May 2009.



142. Ouassila Labbani, Paul Feautrier, Eric Lenormand, and Michel Barreteau. Elementary Transformation Analyses for Array-OL. In ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'09), Rabat, Morocco, pages 362-367, May 2009.



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



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



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



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



147. Nicolas Farrugia, Michel Paindavoine, and Clément Quinson. On the Need for Semi-Automated Source-to-Source Transformations in the User-Guided High-Level Synthesis Tool. In High-Level Synthesis: Back to the Future (DAC workshop), June 2008. Note: Poster.



148. Alexandru Plesco and Tanguy Risset. Coupling Loop Transformations and High-Level Synthesis. In SYMPosium en Architectures nouvelles de machines (SYMPA'08), February 2008.



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



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



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



152. G. Chelius, A. Fraboulet, and E. Fleury. Worldsens: A Fast and Accurate Development Framework for Sensor Network Applications. In The 22nd Annual ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 2007. ACM.



153. Hadda Cherroun and Paul Feautrier. An Exact Resource Constrained-Scheduler using Graph Coloring Technique. In The 5th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'07), pages 554-561, May 2007. IEEE Computer Society. Note: Best paper award.



154. Alain Darte and Clément Quinson. Scheduling Register-Allocated Codes in User-Guided High-Level Synthesis. In The 18th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'07), pages 554-561, July 2007. IEEE Computer Society.



155. Nicolas Fournel, Antoine Fraboulet, Guillaume Chelius, Eric Fleury, Bruno Allard, and Olivier Brevet. Worldsens: Embedded Sensor Network Application Development and Deployment. In 26th Annual IEEE Conference on Computer Communications (Infocom), Anchorage, Alaska, USA, May 2007. IEEE.



156. Nicolas Fournel, Antoine Fraboulet, Guillaume Chelius, Eric Fleury, Bruno Allard, and Olivier Brevet. Worldsens: From Lab to Sensor Network Application Development and Deployment. In International Conference on Information Processing in Sensor Networks (IPSN), demo session, Cambridge, Massachusetts, USA., April 2007. ACM.



157. Nicolas Fournel, Antoine Fraboulet, and Paul Feautrier. Fast and Instruction Accurate Embedded Systems Energy Characterization Using Non-intrusive Measurements. In PATMOS Workshop - International Workshop on Power And Timing Modeling, Optimization and Simulation, Göteborg, Sweden, September 2007.



158. Nicolas Fournel, Antoine Fraboulet, and Paul Feautrier. eSimu : a Fast and Accurate Energy Consumption Simulator for Embedded Systems. In IEEE International Workshop: From Theory to Practice in Wireless Sensor Networks, Helsinki, Finland, June 2007.



159. N. Fournel, M. Minier, and S. Ubéda. Survey and Benchmark of Stream Ciphers for Wireless Sensor Networks. In Workshop in Information Security Theory and Practices (WISTP 2007), Heraklion, Crete, Greece, May 2007.



160. Antoine Fraboulet, Guillaume Chelius, and Eric Fleury. Worldsens: Development and Prototyping Tools for Application Specific Wireless Sensors Networks. In IPSN'07 Track on Sensor Platforms, Tools and Design Methods (SPOTS), Cambridge, Massachusetts, USA., April 2007. ACM.



161. Daniel Grund and Sebastian Hack. A Fast Cutting-Plane Algorithm for Optimal Coalescing. In Shriram Krishnamurthi and Martin Odersky, editors, Compiler Construction (CC'07), volume 4420 of Lecture Notes In Computer Science, pages 111-125, March 2007. Springer. Note: Best paper award. [WWW]



162. P. Amiranoff, A. Cohen, and P. Feautrier. Beyond Iteration Vectors: Instancewise Relational Abstract Domains. In Static Analysis Symposium (SAS'06), Seoul, Corea, August 2006.



163. P. Borgnat, N. Larrieu, P. Owezarski, P. Abry, J. Aussibal, L. Gallon, G. Dewaele, N. Nobelis, L. Bernaille, A. Scherrer, Y. Zhang, Y. Labit, and et al.. Détection d'attaques de dénis de service par un modèle non gaussien multirésolution. In Colloque francophone sur l'ingénierie des protocoles (CFIP), Tozeur, Tunisie, November 2006.



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



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



166. Guillaume Chelius, Antoine Fraboulet, and Eric Fleury. Demonstration of Worldsens: A Fast Prototyping and Performance Evaluation Tool for Wireless Sensor Network Applications & Protocols. In Second International Workshop on Multi-hop Ad Hoc Networks: From Theory to Reality (REALMAN), Firenze, Italia, pages 131 - 133, May 2006. ACM.



167. Hadda Cherroun, Alain Darte, and Paul Feautrier. Scheduling under Resource Constraints using Dis-Equalities. In Design Automation and Test in Europe (DATE'06), March 2006.



168. Antoine Fraboulet, Guillaume Chelius, and Eric Fleury. Worldsens: System Tools for Embedded Sensor Networks. In Real-Time Systems Symposium (RTSS 2006) (Work in Progress), Rio de Janeiro, Brasil, December 2006. IEEE.



169. Philippe Grosse, Yves Durand, and Paul Feautrier. Power Modeling of a NoC Based Design for High-Speed Telecommunication Systems. In 16th PATMOS Workshop - International Workshop on Power And Timing Modeling, Optimization and Simulation, Montpellier, France, September 2006.



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



171. Antoine Scherrer, Antoine Fraboulet, and Tanguy Risset. A Generic Multi-Phase On-Chip Traffic Generation Environment. In IEEE 17th International Conference on Application-Specific Systems, Architectures and Processors (ASAP'06), Steamboat Springs, Colorado, USA, September 2006.



172. Antoine Scherrer, Antoine Fraboulet, and Tanguy Risset. Automatic Phase Detection for Stochastic On-Chip Traffic Generation. In Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), seoul, South Corea, pages 88 - 93, October 2006. ACM Press.



173. Antoine Scherrer, Nicolas Larrieu, Pierre Borgnat, Philippe Owezarski, and Patrice Abry. Non Gaussian and Long Memory Statistical Modeling of Internet Traffic. In 4th International Workshop on Internet Performance, Simulation, Monitoring and Measurement (IPS MOME), Salzbourg, Austria, March 2006. [WWW]



174. Antoine Scherrer, Nicolas Larrieu, Pierre Borgnat, Philippe Owezarski, and Patrice Abry. Une caractérisation non gaussienne et longue mémoire du trafic Internet et de ses anomalies. In 5th Conference on Security and Network Architectures (SAR), Seignosse, France, June 2006. [WWW]



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



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



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



178. Alain Darte, Steven Derrien, and Tanguy Risset. Hardware/Software Interface for Multi-Dimensional Processor Arrays. In IEEE International Conference on Application-Specific Systems, Architecture, and Processors (ASAP'05), pages 28-35, 2005. IEEE Computer Society Press.



179. Alain Darte and Robert Schreiber. A Linear-Time Algorithm for Optimal Barrier Placement. In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'05), Chicago, IL, USA, pages 26-35, June 2005.



180. Cédric Bastoul and Paul Feautrier. More Legal Transformations for Locality. In Euro-Par'04, volume LNCS 3149, pages 272-283, 2004. Springer Verlag. Note: Distinguished Paper Award.



181. Paul Feautrier. Scalable and Modular Scheduling. In Andy D. Pimentel and Stamatis Vassiliadis, editors, Computer Systems: Architectures, Modeling and Simulation (SAMOS 2004), volume LNCS 3133, pages 433-442, July 2004. Springer Verlag.



182. Antoine Fraboulet and Tanguy Risset. Efficient On-Chip Communications for Data-Flow IPs. In Application-Specific Systems, Architectures, and Processors (ASAP'04), pages 293-303, 2004. IEEE Computer Society Press.



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



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



185. Antoine Scherrer, Antoine Fraboulet, and Tanguy Risset. Hardware-Software Fast and Accurate Prototyping with Soclib & MMAlpha. In Andy D. Pimentel and Stamatis Vassiliadis, editors, Computer Systems: Architecture, Modeling, and Simulation (SAMOS 2004), volume 3133 of LNCS, pages 453-462, July 2004. Springer Verlag.



186. Antoine Scherrer, Tanguy Risset, and Antoine Fraboulet. Hardware Wrapper Classification and Requirements for On-Chip Interconnects. In Signaux, Circuits et Systèmes 2004, Monastir, Tunisie, pages 31-34, March 2004.



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



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



189. A. Darte, R. Schreiber, and G. Villard. Lattice-Based Memory Allocation. In 6th ACM International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES'03), San Jose, CA, USA, pages 298-308, October 2003.



190. A.-C. Guillou, P. Quinton, and T. Risset. Hardware Synthesis for Multi-Dimensional Time. In IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP 2003), The Hague, The Netherlands, June 2003.



191. Antoine Scherrer and Antoine Fraboulet. Étude de la couche transport des réseaux sur puce. In Symposium en Architecture et Adéquation Algorithme Architecture (SympAAA), La Colle sur Loup, France, October 2003.



192. Denis Barthou, Paul Feautrier, and Xavier Redon. On the Equivalence of Two Systems of Affine Recurrence Equations. In European Conference on Parallel Computing (Euro-Par 2002), volume 2400 of LNCS, Paderborn, Germany, pages 309-313, August 2002. Springer Verlag.



193. D. Cachera and T. Risset. Advances in Bit Width Selection Methodology. In IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP 2002), San Jose, California, July 2002. [WWW]



194. Daniel Chavarría-Miranda, Alain Darte, Robert Fowler, and John Mellor-Crummey. Generalized Multipartitioning for Multi-Dimensional Arrays. In 16th International Parallel and Distributed Processing Symposium (IPDPS'02), Fort Lauderdale, Florida, April 2002. IEEE Computer Society Press. Note: « Best paper award ».



195. Albert Cohen, Daniela Genius, Abdesselem Kortebi, Zbigniew Chamski, Marc Duranton, and Paul Feautrier. Multiperiodic Process Networks: Prototyping and Verifying Stream-Processing Systems. In European Conference on Parallel Computing (Euro-Par 2002), volume 2400 of LNCS, Paderborn, Germany, pages 137-146, August 2002. Springer Verlag.



196. A. Darte and G. Huard. Complexity of Multi-Dimensional Loop Alignment. In 19th International Symposium on Theoretical Aspects of Computer Science (STACS'02), volume 2285, pages 179-191, March 2002. Springer Verlag.



197. A. Darte and G. Huard. New Results on Array Contraction. In 13th International Conference on Application-Specific Systems, Architectures, and Processors (ASAP'02), pages 359-370, July 2002. IEEE Computer Society Press.



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



199. S. Derrien, A. C. Guillou, P. Quinton, T. Risset, and C Wagner. Automatic Synthesis of Efficient Interfaces for Compiled Regular. In International Samos Workshop on Systems, Architectures, Modeling and Simulation (Samos), Samos, Grèce, July 2002. [WWW]



200. F. Dupont de Dinechin, M. Manjunathaiah, T. Risset, and M. Spivey. Design of Highly Parallel Architectures with Alpha and Handel. In Forum on Specification and Design Languages (FDL 2002), Marseille, September 2002. [WWW]



201. Antoine Fraboulet and Anne Mignotte. Optimisation de la mémoire et de la consommation des systèmes multimédia embarqués. In Colloque CAO de circuits intégrés et systèmes, Paris, pages 177-180, May 2002.



202. Martin Griebl, Paul Feautrier, and Armin Groesslinger. Forward Communication Only Placements. In 15th Workshop on Languages and Compilers for Parallel Computing (LCPC 2002), July 2002.



203. R. Huaulme, J.-P. Babau, and A. Mignotte. Java Data Flow for Real-Time HW/SW Synthesis of Mobile Devices. In Forum on Specification and Design Languages (FDL 2002), Marseille, September 2002.



204. Peng Wu, Paul Feautrier, David Padua, and Zehra Sura. Instance-wise Points-to Analysis for Loop-based Dependence Testing. In International Conference on Supercomputing (ISC'02), pages 262 - 273, June 2002.



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



206. D. Cachera, P. Quinton, S. Rajopadhye, and T. Risset. Proving Properties of Multidimensional Recurrences with Application to Regular Parallel Algorithms. In 6th International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA), San Francisco, April 2001. [WWW]



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



208. Antoine Fraboulet, Karen Godary, and Anne Mignotte. Loop Fusion for Memory Space Optimization. In International Symposium on System Synthesis (ISSS'01), Montréal, Canada, pages 95-100, October 2001. IEEE Press.



209. Antoine Fraboulet, Laurence Just-Meunier, and Anne Mignotte. Memory Optimization of Data Flow Applications at the Codesign Level. In Cadence Technical Conference, San Jose, USA, April 2001.



210. Antoine Fraboulet and Anne Mignotte. Source Code Loop Transformations for Memory Hierarchy Optimizations. In MEDEA 2001, Barcelone, Spain, September 2001. [PDF]



211. A.-C. Guillou, F. Quilleré, P. Quinton, S. Rajopadhye, and T. Risset. Hardware Design Methodology with the Alpha Language. In FDL'01, Lyon, France, September 2001. [WWW]



212. M Manjunathaiah, G. M. Megson, T. Risset, and S. Rajopadhye. Uniformization of Affine Dependence Programs for Parallel Embedded System Design. In L.M. Ni and M. Valero, editors, International Conference on Parallel Processing, Valencia, Spain, pages 205-213, 2001. [WWW]



213. P. Quinton and T. Risset. Structured Scheduling of Recurrence Equations: Theory and Practice. In Proc. of the System Architecture MOdelling and Simulation Workshop, Lecture Notes in Computer Science, Samos, Greece, 2001. Springer Verlag. [WWW]



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



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



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



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



218. A. Darte, C. Diderich, M. Gengler, and F. Vivien. Scheduling the Computations of a Loop Nest with Respect to a Given Mapping. In European Conference on Parallel Computing (Euro-Par'00), volume 1900 of LNCS, München, Germany, pages 405-414, August 2000. Springer Verlag.



219. A. Darte, R. Schreiber, B. R. Rau, and F. Vivien. A Constructive Solution to the Juggling Problem in Systolic Array Synthesis. In International Parallel and Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, pages 815-821, May 2000.



220. A. Darte and G.-A. Silber. Temporary Arrays for Distribution of Loops with Control Dependences. In European Conference on Parallel Computing (Euro-Par'00), volume 1900 of LNCS, München, Germany, pages 357-367, August 2000. Springer Verlag.



221. S. Derrien and T. Risset. Interfacing compiled FPGA programs: the MMAlpha approach. In A. Arabnia, editor, PDPTA2000: Second International Workshop on Engineering of Reconfigurable Hardware/Software Objects, June 2000. CSREA Press. [WWW]



222. Antoine Fraboulet, Laurence Just-Meunier, and Anne Mignotte. Memory Optimization of Data Flow Applications at the Codesign Level. In Sophia Antipolis Forum on Microelectronics (SAME), Sophia Antipolis, France, pages 16-21, October 2000. [PDF]



223. A.C. Guillou, P. Quinton, and T. Risset. Automatic Design of VLSI Pipelined LMS Architectures. In 2000 IEEE Canadian Conference on Electrical and Computer Engineering, Trois Rivières, Canada, August 2000. [WWW]



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



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



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



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



228. Alain Darte. On the Complexity of Loop Fusion. In International Conference on Parallel Architectures and Compilation Techniques (PACT'99), pages 149-157, October 1999.



229. Alain Darte and Guillaume Huard. Loop Shifting for Loop Compaction. In Languages and Compilers for Parallel Computing (LCPC'99), volume 1863 of Lecture Notes in Computer Science, pages 415-431, August 1999. Springer Verlag.



230. Antoine Fraboulet, Guillaume Huard, and Anne Mignotte. Loop Alignment for Memory Accesses Optimization. In International Symposium on System Synthesis (ISSS'99), San Jose, Californie, pages 71-77, November 1999. IEEE Press. [PDF]



231. Antoine Fraboulet, Guillaume Huard, and Anne Mignotte. Optimisation de la consommation et de la place mémoire par transformations de boucles. In Colloque CAO de circuits intégrés et systèmes, Aix en Provence, pages 181-184, May 1999.



232. Martin Griebl, Paul Feautrier, and Christian Lengauer. On Index Set Splitting. In International Conference on Parallel Architectures and Compilation Techniques (PACT'99), 1999.



233. A. Mozipo, D. Massicote, P. Quinton, and T. Risset. A Parallel Architecture for Adaptative Channel Equalization Based On Kalman Filter Using MMAlpha. In 1999 IEEE Canadian Conference on Electrical and Computer Engineering, 1999.



234. E. Mémin and T. Risset. Full Alternate Jacobi Minimization and VLSI Derivation of Hardware for Motion Estimation. In International Workshop on Parallel Image Processing and Analysis, IWPIPA'99, Madras, India, January 1999. [WWW]



235. S. Rajopadhye, T. Risset, and C. Tadonki. The Algebraic Path Problem Revisited. In 5th International Euro-Par Conference, Toulouse, France, pages 698-707, August 1999. [WWW]



236. T. Risset and Y. Saouter. Synthèse de haut niveau d'un co-processeur pour le calcul des bases de Gröbner. In 5ème Symposium en architecture nouvelles de machines (Sympa'5), Rennes, June 1999. [WWW]



237. Georges-André Silber and Alain Darte. The Nestor Library: A Tool for Implementing Fortran Source to Source Transformations. In High Performance Computing and Networking (HPCN'99), volume 1593 of Lecture Notes in Computer Science, pages 653-662, April 1999. Springer Verlag.



238. S. Balev, P. Quinton, S. V. Rajopadhye, and T. Risset. Linear Programming Models for Scheduling Systems of Affine Recurrence Equations -- a Comparative Study --. In 10th ACM Symposium on Parallel Algorithms and Architectures (SPAA), 1998. [WWW]



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



240. A. Mozipo, D. Massicotte, P. Quinton, and T. Risset. Automatic Synthesis of a Parallel Architecture for Kalman Filtering using MMAlpha. In International Conference on Parallel Computing in Electrical Engineering (PARELEC 98), Bialystok, Poland, pages 201-206, September 1998. [WWW]



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



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



243. C. Tayou Djamegni, P. Quinton, S. Rajopadhye, and T. Risset. Derivation of Systolic Algorithms for The Algebraic Path Problem by Recurrence Transformations. In M. Tchuente, editor, 4ème Colloque Africain sur la Recherche Informatique, Dakar, Sénégal, pages 551,564, October 1998. Presse Universitaire de Dakar.



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



245. F. Dupont de Dinechin, T. Risset, and S. Robert. Hierarchical Static Analysis for Improving the Complexity of Linear Algebra Algorithms. In Internationnal Conference on Parallel Computing (PARCO), 1997. North Holland. [WWW]



246. T. Brandes, S. Chaumette, M.-C. Counilh, A. Darte, F. Desprez, J.C Mignot, and J. Roman. HPFIT and the TransTool Environment. In J. J. Dongarra and B. Tourancheau, editors, 3rd Workshop on Environments and Tools for Parallel Scientific Computing, August 1996. SIAM Press.



247. Pierre-Yves Calland, Alain Darte, and Yves Robert. A New Guaranteed Heuristic for the Software Pipelining Problem. In 1996 International Conference on Supercomputing (ICS'96), pages 261-269, 1996. ACM Press.



248. Pierre-Yves Calland, Alain Darte, Yves Robert, and Frédéric Vivien. On the Removal of Anti and Output Dependences. In J. Fortes, C. Mongenet, K. Parhi, and V. Taylor, editors, Application Specific Systems, Architectures and Processors (ASAP'96), pages 353-364, 1996. IEEE Computer Science Press.



249. P.-Y. Calland, A. Darte, Y. Robert, and F. Vivien. Plugging Anti and Output Dependence Removal Techniques into Loop Parallelization Algorithms. In J. J. Dongarra and B. Tourancheau, editors, 3rd Workshop on Environments and Tools for Parallel Scientific Computing, August 1996. SIAM Press.



250. Alain Darte and Frédéric Vivien. On the Optimality of Allen and Kennedy's Algorithm for Parallelism Detection in Nested Loops. In Europar'96, volume 1123 of Lecture Notes in Computer Science, pages 379-388, August 1996. Springer Verlag.



251. Alain Darte and Frédéric Vivien. Optimal Fine and Medium Grain Parallelism Detection in Polyhedral Reduced Dependence Graphs. In Parallel and Architectures and Compilation Techniques (PACT'96), pages 281-291, October 1996. IEEE Computer Society Press.



252. P. Le Moenner, L. Perraudeau, S. Rajopadhye, T. Risset, and P. Quinton. Generating Regular Arithmetic Circuits with AlpHard. In Massively Parallel Computing Systems (MPCS'96), May 1996. [WWW]



253. P. Quinton, S. V. Rajopadhye, and T. Risset. Extension of the Alpha Language to Recurrences on Sparse Periodic Domains. In J. Fortes et al., editor, International Conference on Application Specific Array Processors (ASAP), Chicago, Illinois, pages 391-401, 1996. IEEE Computer Society Press. [WWW]



254. Vincent Bouchitté, Pierre Boulet, Alain Darte, and Yves Robert. Heuristics for the Evaluation of Array Expressions on State-of-the-Art Massively Parallel Machines. In M. Moonen and F. Catthoor, editors, Algorithms and Parallel VLSI Architectures III, pages 319-330, 1995. North Holland.



255. P.Y. Calland and T. Risset. Precise Tiling for Uniform Loop Nests. In C. Mongenet et al., editor, Application Specific Array Processors, pages 330-337, 1995. IEEE Computer Society Press. [WWW]



256. Alain Darte, Michèle Dion, and Yves Robert. A Characterization of One-to-One Modular Mappings. In 7th IEEE Symposium on Parallel and Distributed Processing (SPDP'95), pages 382-389, 1995. IEEE Computer Science Press.



257. Alain Darte and Frédéric Vivien. A Classification of Nested Loops Parallelization Algorithms. In INRIA-IEEE Symposium on Emerging Technologies and Factory Automation (ETFA'95), pages 217-224, 1995. IEEE Computer Society Press.



258. Alain Darte and Frédéric Vivien. Revisiting the Decomposition of Karp, Miller and Winograd. In Application Specific Array Processors (ASAP'95), pages 13-25, 1995. IEEE Computer Society Press.



259. M. Dion, T. Risset, and Y. Robert. Resource-Constrained Scheduling of Partitioned Algorithms on Processor Arrays. In EuroMicro Workshop on Parallel and Distributed Processing, pages 571-580, 1995. IEEE Computer Society Press.



260. F Dupont De Dinechin, P. Quinton, and T. Risset. Structuration of the Alpha Language. In W.K. Giloi, S. Jahnichen, and B.D. Shriver, editors, Massively Parallel Programming Models, pages 18-24, 1995. IEEE Computer Society Press. [WWW]



261. Vincent Bouchitté, Pierre Boulet, Alain Darte, and Yves Robert. Evaluating Array Expressions on Massively Parallel Machines with Communication/Computation Overlap. In B. Buchberger and J. Volkert, editors, Parallel Processing: CONPAR 94-VAPP VI, volume 854 of Lecture Notes in Computer Science, pages 713-724, 1994. Springer Verlag.



262. Pierre Boulet, Alain Darte, Tanguy Risset, and Yves Robert. (Pen)-Ultimate Tiling?. In Scalable High Performance Computing Conference (SHPCC'94), pages 568-576, 1994. IEEE Computer Society Press.



263. Alain Darte. Mapping Uniform Loop Nests onto Distributed Memory Architectures. In G. R. Joubert, D. Trystram, F. J. Peters, and D. J. Evans, editors, Parallel Computing: Trends and Applications, pages 287-294, 1994. Elsevier Science B.V..



264. Alain Darte and Yves Robert. The Alignment Problem for Perfect Uniform Loop Nest: NP-Completeness and Heuristics. In J. J. Dongarra and B. Tourancheau, editors, 2nd Workshop on Environments and Tools for Parallel Scientific Computing, pages 33-42, 1994. SIAM Press.



265. T. Risset. Applying Semi-Systolic Techniques to SIMD Programming. In C. Girault, editor, Applications in Parallel and Distributed Computing (IFIP Transactions), pages 103-112, 1994. North-Holland. [WWW]



266. A. Darte, T. Risset, and Y. Robert. Loop Nest Scheduling and Transformations. In J.J. Dongarra et al., editor, Environments and Tools for Parallel Scientific Computing, volume 6 of Advances in Parallel Computing, pages 309-332, 1993. North-Holland.



267. Alain Darte and Yves Robert. Communication-Minimal Mapping of Uniform Loop Nests onto Distributed Memory Architectures. In L. Dadda and B. Wah, editors, Application Specific Array Processors (ASAP'93), pages 1-14, 1993. IEEE Computer Society Press.



268. T. Risset and S. Song. A Real Time Systolic Algorithm for On-the-fly Hidden Surface Removal. In L. Dadda and B. Wah., editors, Application Specific Array Processors, pages 238-249, 1993. IEEE Computer Society Press.



269. Alain Darte. Two Heuristics for Task Scheduling. In Patrice Quinton and Yves Robert, editors, Algorithms and Parallel VLSI Architectures, volume 2, pages 383-388, 1992. Elsevier Science Publishers B.V..



270. Alain Darte, Leonid Khachiyan, and Yves Robert. Linear Scheduling is Close to Optimality. In J. A. B. Fortes, E. Lee, and T. Meng, editors, Application Specific Array Processors (ASAP'92), pages 37-46, 1992. IEEE Computer Society Press.



271. Alain Darte and Yves Robert. Scheduling Uniform Loop Nests. In R. Melhem, editor, ISMM Conference on Parallel and Distributed Systems, pages 75-82, 1992. ISMM Press.



272. Alain Darte and Yves Robert. Séquencement des nids de boucles. In Michel Cosnard, Maurice Nivat, and Yves Robert, editors, Algorithmique Parallèle, pages 343-368, 1992. Masson.



273. T. Risset. A Method to Synthesize Modular Systolic Arrays with Local Broadcast Facility. In J. Fortes et al., editor, Application Specific Array Processors, pages 415-428, 1992. IEEE Computer Society Press.



274. A. Darte, T. Risset, and Y Robert. Synthesizing Systolic Arrays: Some Recent Developments. In M. Valero et al., editor, Application Specific Array Processors, pages 372-386, 1991. IEEE Computer Society Press.



275. A. Darte, Y. Robert, and T. Risset. Systolic Systems. In P.J. Hargraven, editor, 2nd IEE International Specialist Seminar on Parallel Digital Processors, volume 334 of IEEE Conference Publication, pages 6-10, 1991. IEEE Press.



276. T. Risset. Linear Systolic Arrays for Matrix Multiplication: Comparisons of Existing Methods and New Results. In Proc. 2nd Workshop on Algorithms and VLSI parallel architecture, 1991.



277. T. Risset and Y. Robert. Uniform but Non-Local DAGs: A Trade-off between Pure Systolic and SIMD Solutions. In M. Valero et al., editor, Application Specific Array Processors, pages 296-308, 1991. IEEE Computer Society Press.



278. Paul Feautrier, Abdoulaye Gamatié, and Laure Gonnord. Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction. Report 2nd Version, July 2013. Note: Last version = author version of our CSI Journal of Computer Paper (same title and same content). [WWW]



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



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



281. 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]



282. 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]



283. 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]



284. Florian Brandner and Quentin Colombet. Parallel Copy Elimination on Data Dependence Graphs. Research Report RR-7735, INRIA, September 2011. [WWW]



285. Paul Feautrier. Simplification of Boolean Affine Formulas. Technical report RR-7689, INRIA, July 2011. [PDF]



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



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



288. 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]



289. 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]



290. 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]



291. Paul Feautrier. Elementary Transformation Analysis for Array-OL. Research Report 6193, INRIA, May 2007. [WWW]



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



293. 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]



294. Nicolas Fournel, Antoine Fraboulet, and Paul Feautrier. Booting and Porting Linux and uClinux on a New Platform. Technical report RR2006-08, ENSL/LIP, February 2006. Note: 38 pages.



295. Nicolas Fournel, Antoine Fraboulet, and Paul Feautrier. Embedded Systems Energy Characterization using non-Intrusive Instrumentation. Research Report 2006-37, LIP, ENS-Lyon, November 2006. Note: 34 pages.



296. Nicolas Fournel, Antoine Fraboulet, and Paul Feautrier. Porting the Mutek Operating System to ARM Platforms. Research Report 2006-12, LIP, ENS-Lyon, February 2006. Note: 34 pages.



297. 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]



298. Hadda Cherroun, Alain Darte, and Paul Feautrier. Scheduling with Resource Constraints using Dis-Equations. Technical report 2005-40, LIP, ENS-Lyon, September 2005.



299. Alain Darte, Steven Derrien, and Tanguy Risset. Hardware/Software Interface for Multi-Dimensional Processor Arrays. Technical report 2005-15, LIP, ENS-Lyon, April 2005.



300. 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]



301. Antoine Scherrer, Antoine Fraboulet, and Tanguy Risset. Analysis and Synthesis of Cycle-Accurate On-Chip Traffic with Long-Range Dependence. Technical report 2005-53, LIP, ENS-Lyon, December 2005.



302. Antoine Scherrer, Nicolas Larrieu, Philippe Owezarski, and Patrice Abry. Non Gaussian and Long Memory Statistical Characterisations for Internet Traffic with Anomalies. Technical report 2005-35, LIP, ENS-Lyon, September 2005.



303. 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]



304. Alain Darte and Rob Schreiber. Nested Circular Arc Families: A Model for Barrier Placement in Single-Program, Multiple-Data Codes with Nested Loops. Technical report RR2004-57, LIP, ENS-Lyon, December 2004.



305. Alain Darte, Rob Schreiber, and Gilles Villard. Lattice-Based Memory Allocation. Technical report RR2004-23, LIP, ENS-Lyon, April 2004.



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



307. Alain Darte and Guillaume Huard. New Complexity Results on Array Contraction and Related Problems. Technical report RR2002-41, LIP, ENS-Lyon, France, October 2002.



308. Alain Darte and Guillaume Huard. New Results on Array Contraction. Technical report RR2002-17, LIP, ENS-Lyon, France, April 2002.



309. Pierre Amiranoff, Albert Cohen, and Paul Feautrier. Variables d'induction généralisées pour l'analyse par instance de programmes récursifs. Technical report 4252, INRIA, September 2001.



310. Daniel Chavarría-Miranda, Alain Darte, Robert Fowler, and John Mellor-Crummey. Efficient Parallelization of Line-Sweep Computations. Technical report RR2001-45, LIP, ENS-Lyon, France, November 2001.



311. 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]



312. Fabien Feschet, Antoine Fraboulet, and Stéphane Bonnevay. Regularity of Digital Lines. Technical report, Université Lyon 1, 2001. Note: 10 pages.[PDF]



313. 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]



314. 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]



315. 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]



316. 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]



317. 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]



318. 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]



319. D. Cachera, S. Rajopadhye, T. Risset, and C. Tadonki. Parallelization of the Algebraic Path Problem on Linear SIMD/SPMD Arrays. Technical report 1346, Irisa, 2000. [WWW]



320. Alain Darte and Guillaume Huard. Loop Shifting for Loop Parallelization. Technical report RR2000-22, LIP, ENS-Lyon, France, May 2000.



321. Paul Feautrier. Automatic Distribution of Data and Computations. Technical report 2000/3, PRiSM, March 2000.



322. S.P.K. Nookala and T. Risset. A Library for Z-polyhedral Operations. Technical report 1330, Irisa, 2000. [WWW]



323. F. Bardoult, P. Quinton, S. Rajopadhye, and T. Risset. Synthesis of Data-Flow Interfaces for Regular Parallel Programs. Technical report 1260, Irisa, September 1999. [WWW]



324. 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]



325. 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]



326. 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]



327. Alain Darte and Guillaume Huard. Loop Shifting for Loop Compaction. Technical report RR1999-29, LIP, ENS-Lyon, France, May 1999.



328. Alain Darte and Rob Schreiber. A Constructive Solution to the Juggling Problem in Systolic Array Synthesis. Technical report RR1999-15, LIP, ENS-Lyon, France, February 1999.



329. F. Dupont de Dinechin, P. Quinton, S. Rajopadhye, and T. Risset. First Steps in Alpha. Technical report 1244, Irisa, 1999. [WWW]



330. 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]



331. 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]



332. Alain Darte. On the Complexity of Loop Fusion. Technical report RR1998-50, LIP, ENS-Lyon, France, October 1998.



333. Alain Darte and Georges-André Silber. The Nestor Library: A Tool for Implementing Fortran Source to Source Transformations. Technical report RR1998-42, LIP, ENS-Lyon, France, September 1998.



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



335. 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]



336. Pierre Boulet, Alain Darte, Georges-André Silber, and Frédéric Vivien. Loop Parallelization Algorithms: From Parallelism Extraction to Code Generation. Technical report RR97-17, LIP, ENS-Lyon, France, June 1997.



337. Alain Darte. Mathematical Tools for Loop Transformations: From Systems of Uniform Recurrence Equations to the Polytope Model. Technical report RR97-26, LIP, ENS-Lyon, France, September 1997.



338. 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]



339. T. Risset, F. Dupont de Dinechin, and S. Robert. Structured Scheduling of Recurrence Equations. Technical report 1140, IRISA, 1997. [WWW]



340. Pierre-Yves Calland, Alain Darte, Yves Robert, and Frédéric Vivien. On the Removal of Anti and Output Dependences. Technical report RR96-04, LIP, ENS-Lyon, France, February 1996.



341. Pierre-Yves Calland, Alain Darte, Yves Robert, and Frédéric Vivien. Plugging Anti and Output Dependence Removal Techniques into Loop Parallelization Algorithms. Technical report RR96-13, LIP, ENS-Lyon, France, June 1996.



342. A. Darte, F. Desprez, J.-C. Mignot, T. Brandes, S. Chaumette, M.-C. Counilh, and J. Roman. A Set of Integrated Tools for the Parallelization of Applications Using High Performance Fortran. Technical report RR96-28, LIP, ENS-Lyon, France, September 1996.



343. Alain Darte, Georges-André Silber, and Frédéric Vivien. Combining Retiming and Scheduling Techniques for Loop Parallelization and Loop Tiling. Technical report RR96-34, LIP, ENS-Lyon, France, November 1996.



344. Alain Darte and Frédéric Vivien. On the Optimality of Allen and Kennedy's Algorithm for Parallelism Detection in Nested Loops. Technical report RR96-05, LIP, ENS-Lyon, France, February 1996.



345. Alain Darte and Frédéric Vivien. Optimal Fine and Medium-Grain Parallelism Detection in Polyhedral Reduced Dependence Graphs. Technical report RR96-06, LIP, ENS-Lyon, France, April 1996.



346. Pierre-Yves Calland, Alain Darte, and Yves Robert. A New Guaranteed Heuristic for the Software Pipelining Problem. Technical report RR95-42, LIP, ENS-Lyon, France, November 1995.



347. Alain Darte, Michèle Dion, and Yves Robert. A Characterization of One-to-One Modular Mappings. Technical report RR95-09, LIP, ENS-Lyon, France, April 1995.



348. Alain Darte and Frédéric Vivien. A Comparison of Nested Loops Parallelization Algorithms. Technical report RR95-11, LIP, ENS-Lyon, France, May 1995.



349. Vincent Bouchitté, Pierre Boulet, Alain Darte, and Yves Robert. Evaluating Array Expressions on Massively Parallel Machines with Communication/Computation Overlap. Technical report RR94-10, LIP, ENS-Lyon, France, March 1994.



350. Alain Darte and Frédéric Vivien. Automatic Parallelization Based on Multi-Dimensional Scheduling. Technical report RR94-24, LIP, ENS-Lyon, France, September 1994.



351. Pierre Boulet, Alain Darte, Tanguy Risset, and Yves Robert. (Pen)-Ultimate Tiling?. Technical report RR93-36, LIP, ENS-Lyon, November 1993.



352. Alain Darte and Yves Robert. A Graph-Theoretic Approach to the Alignment Problem. Technical report RR93-20, LIP, ENS-Lyon, France, July 1993.



353. Alain Darte and Yves Robert. Mapping Uniform Loop Nests onto Distributed Memory Architectures. Technical report RR93-03, LIP, ENS-Lyon, France, January 1993.



354. Alain Darte. Affine-by-Statement Scheduling: Extensions for Affine Dependences and Several Parameters. Technical report RT92-03, LIP, ENS-Lyon, France, May 1992.



355. Alain Darte and Yves Robert. Affine-by-Statement Scheduling of Uniform Loop Nests over Parametric Domains. Technical report RR92-16, LIP, ENS-Lyon, France, April 1992.



356. Alain Darte and Yves Robert. Scheduling Uniform Loop Nests. Technical report RR92-10, LIP, ENS-Lyon, France, February 1992.



357. Alain Darte. Regular Partitioning for Synthesizing Fixed-Size Systolic Arrays. Technical report RR91-10, LIP, ENS-Lyon, France, 1991.



358. Alain Darte. Two Heuristics for Task Scheduling. Technical report RR91-30, LIP, ENS-Lyon, France, 1991.



359. Alain Darte, Leonid Khachiyan, and Yves Robert. Linear Scheduling is Nearly Optimal. Technical report RR91-35, LIP, ENS-Lyon, France, 1991.



360. Alain Darte, Tanguy Risset, and Yves Robert. Synthesizing Systolic Arrays: Some Recent Developments. Technical report RR91-09, LIP, ENS-Lyon, France, 1991.



361. Alain Darte and Jean-Marc Delosme. Partitioning for Array Processors. Technical report RR90-23, LIP, ENS-Lyon, France, 1990.



362. Christophe Alias Alias and Alexandru Plesco. Procédé de synthèse de circuits, dispositif et programme d'ordinateur associés. Patent number FR1453308, April 2014.



363. Alexandre Isoard. Data-reuse Optimizations for Pipelined Tiling with Parametric Tile Sizes. SRC Poster session, 23rd International Conference on Parallel Architectures and Compilation Techniques (PACT'14), August 2014. Note: Edmonton, Alberta, Canada.



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



365. Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye, and Vijay Saraswat. Checking Race Freedom of Clocked X10 Programs. Note: 11 pages, 2013. [WWW]



366. Alain Darte and Rob Schreiber. System and Method of Optimizing Memory Usage with Data Lifetimes. US patent number 7363459, April 2008.



367. Sebastian Hack. Register Allocation for Programs in SSA Form. Date 2007 PhD Forum Poster, April 2007.



368. Guillaume Chelius, Antoine Fraboulet, and Eric Fleury. WSNet: A Modular Event-Driven Wireless Network Simulator, 2006. Note: IDDN 06-370013-000. [WWW]



369. Nicolas Fournel. ARM Linux support for ARM Integrator CM922T-XA10 in Standalone mode. available online, March 2006. [WWW]



370. Nicolas Fournel. Mutek OS Support for ARM Integrator CM922T-XA10 in Standalone mode. available online, April 2006. [WWW]



371. Antoine Fraboulet, Guillaume Chelius, and Eric Fleury. WSim: A Hardware Platform Simulator, 2006. Note: IDDN 06-370012-000. [WWW]



372. Antoine Scherrer, Antoine Fraboulet, and Tanguy Risset. Hardware-Software Fast and Accurate Prototyping with Soclib & MMAlpha. Design, Automation and Test in Europe (DATE'04), University Booth Demonstration, February 2004.



373. Alain Darte, Bantwal Ramakrishna Rau, and Rob Scheiber. Programmatic Iteration Scheduling for Parallel Processors. US patent number 6438747, August 2002.



374. Alain Darte and Rob Schreiber. Programmatic Method For Reducing Cost of Control In Parallel Processes. US patent number 6374403, April 2002.



375. A.C. Guillou, P Quinton, T. Risset, C. Wagner, and D Massicotte. High Level Design of Digital Filters in Mobile Communications. DATE Design Contest 2001, March 2001. Note: Second place. [WWW]



376. P. Quinton and T. Risset. MMAlpha: A Toolbox for Silicon Compilation. University Booth Demonstration, March 2000. Note: University booth stand.

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