Publications of Paul Feautrier
Books and proceedings
  1. Paul Feautrier and Jean-Louis Jammier. Memento Unix. Edimicro, April 1988.


Articles in journal, book chapters
  1. 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.


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


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


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


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


  6. Paul Feautrier and Laure Gonnord. Accelerated Invariant Generation for C Programs with Aspic and C2fsm. Electronic Notes in Theoretical Computer Science, 2010.


  7. Philippe Grosse, Yves Durand, and Paul Feautrier. Methods for power optimization in SOC-based data flow systems. ACM Trans. Des. Autom. Electron. Syst., 14(3):1-20, 2009.


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


  9. Paul Feautrier. Scalable and Structured Scheduling. Int. J. of Parallel Programming, 34(5):459-487, May 2006. [WWW] [POSTSCRIPT]


  10. Paul Feautrier. Compilateurs. In Jacky Akoka and Isabelle Comyn-Wattiau, editors, Encyclopédie de l'Informatique. Vuibert, 2006.


  11. Cédric Bastoul and Paul Feautrier. Adjusting a Transformation for Legality. Parallel Processing Letters, 15(1--2):3-17, 2005. [POSTSCRIPT]


  12. P. Feautrier. Parallélisation automatique, Histoire et Perspectives. In D. Trystram, Y. Slimani, and M. Jemni, editors, Informatique répartie, Hors serie TSI, chapter 6, pages 161-182. Hermes, 2005. [POSTSCRIPT]


  13. Zbigniew Chamski, Marc Duranton, Albert Cohen, Christine Eisenbeis, Paul Feautrier, and Daniela Genius. Application Domain-Driven System Design for Pervasive Video Processing. In Twan Basten, Marc Geilen, and Harmke de Groot, editors, Ambient Intelligence: Impact on Embedded System Design. Kluwer, 2003.


  14. Paul Feautrier. Array Dataflow Analysis. In Pande S. and Agrawal D., editors, Compiler Optimizations for Scalable Parallel Systems, LNCS 1808, chapter 6, pages 173-216. Springer, 2001. [POSTSCRIPT]


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


  16. Martin Griebl, Paul Feautrier, and Christian Lengauer. Index Set Splitting. Int. J. of Parallel Programming, 28(6):607-631, 2000. [WWW]


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


  18. Vincent Lefebvre and Paul Feautrier. Automatic Storage Management for Parallel Programs. Parallel Computing, 24(3):649-671, 1998.


  19. Denis Barthou, Jean-François Collard, and Paul Feautrier. Fuzzy Array Dataflow Analysis. Journal of Parallel and Distributed Computing, 40:210-226, 1997. [POSTSCRIPT]


  20. Denis Barthou, Jean-François Collard, and Paul Feautrier. Fuzzy Array Dataflow Analysis. Journal of Parallel and Distributed Computing, 40:210-226, 1997.


  21. Paul Feautrier and Guy-René Perrin. Les langages de programmation parallèle et leurs compilateurs. In Michel Cosnard, editor, ARAGO 19, chapter 16. OFTA, April 1997.


  22. Paul Feautrier. Distribution Automatique des Donnés et des calculs. T.S.I., 15(5):529-557, 1996.


  23. Jean-François Collard, Paul Feautrier, and Tanguy Risset. Construction of DO loops from systems of affine constraints. ParallelProcessingLetters, 5(3):421-436, 1995.


  24. Paul Feautrier. Compiling for Massively Parallel Architectures: a Perspective. Microprogramming and Microprocessors, 41:425-439, 1995.


  25. Paul Feautrier. Toward Automatic Distribution. Parallel Processing Letters, 4(3):233-244, 1994.


  26. Paul Feautrier. Some Efficient Solutions to the Affine Scheduling Problem, I, One Dimensional Time. Int. J. of Parallel Programming, 21(5):313-348, October 1992.


  27. Paul Feautrier. Some Efficient Solutions to the Affine Scheduling Problem, II, Multidimensional Time. Int. J. of Parallel Programming, 21(6):389-420, December 1992.


  28. Paul Feautrier. Dataflow Analysis of Scalar and Array References. Int. J. of Parallel Programming, 20(1):23-53, February 1991. [POSTSCRIPT]


  29. Pierre Jouvelot and Paul Feautrier. Parallélisation Sémantique. Informatique théorique et Applications, 24:131-159, 1990.


  30. Paul Feautrier. Parametric Integer Programming. RAIRO Recherche Opérationnelle, 22:243-268, September 1988.


  31. Paul Feautrier. Le système Unix. In Traité Pratique d'Informatique. Editions Techniques de l'Ingénieur, 1988.


  32. Paul Feautrier. Fonctions principales des systèmes d'exploitation. In Traité Pratique d'Informatique. Editions Techniques de l'Ingénieur, 1979. Note: Mise à jour 1986.


  33. Paul Feautrier. Organisation des systèmes d'exploitation. In Traité Pratique d'Informatique. Editions Techniques de l'Ingénieur, 1979. Note: Mise à jour 1986.


  34. Lucien Censier and Paul Feautrier. A New Solution to Coherence Problems in Multicache Systems. IEEE Trans. on Computers, C-27:1112-1118, December 1978.


  35. Paul Feautrier. Post grammars as a programming language description tool. RAIRO, R1, pp 43, 1975.


  36. Paul Feautrier. Etude de l'influence des écarts à l'équilibre thermodynamique local sur le continu. Annales d'Astrophysique, 31:257, 1968.


  37. Nicole Feautrier, Paul Feautrier, and Vo Ky Lan. Sur la résolution numérique de certains systèmes d'équations intégro-différentielles de la mécanique quantique. Cr. Acad. Sci., 268:1, 1968.


  38. Paul Feautrier. Construction de modéles en équilibre thermodynamique local. Annales d'Astrophysique, 30:125, 1967.


  39. Paul Feautrier. Etude du comportement à l'infini de l'intensité spécifique dans une atmosphère plane parallèle. Annales d'Astrophysique, 30:125, 1967.


  40. Paul Feautrier and Michel Schneider. Etude du profil instrumental d'un spectrographe. Cr. Acad. Sci., 258:774, 1967.


  41. Paul Feautrier. Sur la résolution numérique de l'équation de transfert. Cr. Acad. Sci., 258:3189, 1964.


  42. Paul Feautrier. Solutions à flux constant de l'équation de transfert. J. of Quantitative Spectroscopy and Radiative Transfer, 3:103, 1963.


  43. Paul Feautrier. La détermination des températures de surface des modèles d'atmosphère. Cr Acad Sci, 254:824, 1962.


  44. Paul Feautrier. Construction d'atmosphères-modèles. Cas non gris.. Cr. Acad. Sci., 253:1315, 1961.


Conference articles
  1. Paul Feautrier. Reminescences about Array Expansion, or There and Back Again. In ACM Int. Conf. on Supercomputing 25th Anniversary Volume, 2014.


  2. Paul Feautrier, Eric Violard, and Alain Ketterlin. Improving the Performance of X10 Programs by Clock Removal. In Compiler Construction CC 2014, number 8409 of LNCS, pages 113-132, 2014. Springer.


  3. C. Alias, P. Feautrier, A. Darte, and L. Gonnord. Rank: A Tool to Check Program Termination and Computational Complexity. In Proc. CSTVA, March 2013.


  4. Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, and Vijay Saraswat. Array dataflow analysis for polyhedral X10 programs. In PPOPP, pages 23-34, 2013.


  5. Paul Feautrier. Approximating the Transitive Closure of a Boolean-Affine Relation. In Uday Bondhugula and Vincent Loechner, editors, IMPACT 2012, 2012. [WWW]


  6. Christophe Alias, Alain Darte, Paul Feautrier, and Laure Gonnord. Multi-dimensional Rankings, Program Termination and Complexity Bounds of Flowchart Programs. In Static Analysis Symposium, SAS 2010, Perpignan, pages 117-133, September 2010. Note: LNCS 6337.


  7. O. Labbani, P. Feautrier, E. Lenormand, and M. Barreteau. Elementary transformation analysis for Array-OL. In ACS/IEEE International Conference on Computer Systems and Applications, AICCSA'09, Rabat, Morocco, pages 362-367, May 2009.


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


  9. 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, sept 2007.


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


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


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


  13. Philippe Grosse, Yves Durand, and Paul Feautrier. Power modelling of a NoC based design for high-speed telecommunication systems. In PATMOS, September 2006.


  14. Cédric Bastoul and Paul Feautrier. More Legal Transformations for Locality. In Europar'10, pages 272-283, 2004. Springer, LNCS 3149. Note: Distinguished Paper Award. [POSTSCRIPT]


  15. Paul Feautrier. Scalable and Modular Scheduling. In Andy D. Pimentel and Stamatis Vassiliadis, editors, Computer Systems: Architectures, Modeling and Simulation, pages 433-442, 2004. Springer LNCS 3133.


  16. Pierre Amiranoff, Albert Cohen, and Paul Feautrier. Instance-wise Array Dependence Test for Recursive Programs. In Proc. of the 10th Workshop on Compilers for Parallel Computers, University of Leiden. Amsterdam, NL, January 2003.


  17. C. Bastoul and P. Feautrier. Improving data locality by chunking. In CC'12 International Conference on Compiler Construction, LNCS 2622, pages 320-335, April 2003.


  18. C. Bastoul and P. Feautrier. Reordering methods for data locality improvement. In CPC'10 Compilers for Parallel Computers, pages 187-196, January 2003. [WWW]


  19. Denis Barthou, Paul Feautrier, and Xavier Redon. On the Equivalence of Two Systems of Affine Recurrence Equations). In Proceedings of the 8th International Euro-Par Conference on Parallel Processing, Euro-Par '02, pages 309-313, 2002. Springer-Verlag. Note: RR-4285.pdf.


  20. Albert Cohen, Daniela Genius, Abdesselem Kortebi, Zbigniew Chamski, Marc Duranton, and Paul Feautrier. Multiperiodic Process Networks: Prototyping and Verifying Stream-Processing Systems. In Europar'02, pages 137-146, 2002. Springer.


  21. Martin Griebl, Paul Feautrier, and Armin Groesslinger. Forward Communication Only Placements and their use for Parallel Program Construction. In Bill Pugh and Chau-Wen Tseng, editors, LCPC'02, pages 16-30, July 2002. Springer, LNCS 2481.


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


  23. Martin Griebl, Paul Feautrier, and Christian Lengauer. On Index Set Splitting. In PACT'99, 1999.


  24. Pierre Boulet and Paul Feautrier. Scanning Polyhedra without DO loops. In PACT'98, October 1998.


  25. Paul Feautrier. A Parallelization Framework for Recursive Programs. In Europar'98, number 1470 of LNCS, pages 470-479, September 1998. Springer.


  26. Paul Feautrier. Basis of Parallel Speculative Execution. In Europar'97, pages 3-14, 1997. Springer-Verlag, LNCS 1300.


  27. Vincent Lefebvre and Paul Feautrier. Optimizing Storage Size for Static Control Programs in Automatic Parallelizers. In Christian Lengauer, Martin Griebl, and Sergei Gorlatch, editors, Europar'97, volume 1300 of LNCS, pages 356-363, August 1997. Springer. Note: \textttoptimizingStorage.pdf.


  28. Vincent Lefebvre and Paul Feautrier. Storage management in Parallel Programs. In IEEE Computer Society, editor, 5th Euromicro Workshop on Parallel and Distributed Processing, Londres (England), pages 181-188, January 1997.


  29. Michel Barreteau and Paul Feautrier. Efficient Mapping of Interdependent Scans. In Bougé - Fraigniaud - Mignotte - Robert, editor, European Conference on Parallel Processing Euro-Par'96, Lyon, France, pages 463-466, August 1996. Laboratoire de l'Informatique du Parallélisme - ENS Lyon, Springer-Verlag LNCS 1123.


  30. Jean-François Collard Denis Barthou and Paul Feautrier. Applications of Fuzzy Array Dataflow Analysis. In Bougé - Fraigniaud - Mignotte - Robert, editor, European Conference on Parallel Processing Euro-Par'96, Lyon, France, pages 424-427, August 1996. Laboratoire de l'Informatique du Parallélisme - ENS Lyon, Springer-Verlag LNCS 1123.


  31. Paul Feautrier. Automatic Parallelization in the Polytope Model. In Guy-René Perrin and Alain Darte, editors, The Data-Parallel Programming Model, volume LNCS 1132, pages 79-103, 1996. Springer.


  32. Michel Barreteau and Paul Feautrier. Automatic Mapping of Scans and Reductions. In High Performance Computing Symposium'95, Montreal (Canada), July 1995. CRIM.


  33. Jean-François Collard, Denis Barthou, and Paul Feautrier. Fuzzy Array Dataflow Analysis. In ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming, July 1995. ACM.


  34. Paul Feautrier. Compiling for massively parallel architectures: a perspective. In Marc Moonens and Franky Catthoor, editors, Algorithms and Parallel VLSI Architectures, III, Amsterdam, 1995. Elsevier.


  35. Vincent Lefebvre and Paul Feautrier. Génération de code vectoriel selon la méthode d'Ordonnancement. In Dekeyser, Libert, and Manneback, editors, Rencontres Francophones du Parallélisme, Mons (Belgique), June 1995. PIP-Faculté Polytechnique.


  36. Mourad Raji-Werth and Paul Feautrier. On factors limiting the generation of efficient compiler-parallelized programs. In Marc Moonen and Francky Catthoor, editors, Algorithms and Parallel VLSI Architectures, III, Amsterdam, pages 331-340, 1995. Elsevier.


  37. Paul Feautrier. Compiling for Massively Parallel Architectures. In 3rd Workshop on Algorithms and Parallel VLSI Architectures, August 1994. Elsevier, to appear.


  38. Paul Feautrier. Fine-Grain Scheduling under Resource Constraints. In 7th Workshop on Language and Compilers for Parallel Computing, pages 1-15, August 1994. Springer-Verlag, LNCS 892.


  39. Mourad Raji-Werth and Paul Feautrier. The Optimizing of Communications by Use of Compile Time Analysis. In B. Buchberger and J. Wolkert, editors, CONPAR'94, pages 689-701, 1994. Springer-Verlag, LNCS 854.


  40. Mourad Raji-Werth, John Zahorjan, and Paul Feautrier. Using Compile-time conditional analysis to improve the performance of Compiler Parallelized Programs. In L. Dekker, W. Smit, and J.C.Zuidervaart, editors, Massively Parallel Processing, Applications and Development, Amsterdam, pages 521-530, 1994. North Holland.


  41. X. Redon and P. Feautrier. Scheduling Reductions. In ACM Press, editor, Procs of the 8th ACM International Conference on Supercomputing, pages 117-125, July 1994.


  42. Jean-François Collard and Paul Feautrier. Automatic Generation of Dataparallel Code. In Henk Sips, editor, Proc. 4th Workshop on Compilers for Parallel Computers, December 1993. T. U. Delft.


  43. Paul Feautrier. Toward Automatic Partitioning of Arrays on Distributed Memory Computers. In ACM ICS'93, Tokyo, pages 175-184, July 1993.


  44. X. Redon and P. Feautrier. Detection of Reductions in Sequentials Programs with Loops. In Arndt Bode, Mike Reeve, and Gottfried Wolf, editors, Procs of the 5th International Parallel Architectures and Languages Europe, LNCS 694, pages 132-145, June 1993.


  45. Paul Feautrier. Affine Schedules and their Use for the Construction of Parallel Programs. In Hans Zima, editor, Third Int. Workshop on Compiler for Parallel Computers, Vienna, July 1992.


  46. Paul Feautrier. Techniques de Parallélisation. In M. Cosnard, M. Nivat, and Y. Robert, editors, Algorithmique Parallèle, pages 243-257, May 1992. Masson.


  47. Nadia Tawbi and Paul Feautrier. Processor Allocation and Loop Scheduling on Multiprocessor Computers. In 1992 International Conference on Supercomputing, pages 63-71, July 1992. ACM.


  48. Mourad Raji-Werth and P. Feautrier. On Parallel Program Generation for Massively Parallel Architectures. In M. Durand and F. El Dabaghi, editors, High Performance Computing II, October 1991. North-Holland.


  49. Nadia Tawbi, Babak Dehbonei, and Paul Feautrier. The Parametrized Dependence Graph: A Structure for Efficient Recompilation inside a Parallel Programming Environment. In Tzafestas, Borne, and Grandinetti, editors, Proc. of the IMACS-IFACS Symp. on Parallel and Distributed Computing in Engineering Systems, Corfu, June 1991. Elsevier.


  50. Mourad Raji-Werth and Paul Feautrier. Systematic Construction of Programs for Distributed Memory Systems. In Paul Feautrier and François Irigoin, editors, Procs of the Int. Workshop on Compiler for Parallel Computers, Paris, December 1990.


  51. Paul Feautrier. Asymptotically Efficent Algorithms for Parallel Architectures. In M. Cosnard and C. Girault, editors, Decentralized System, pages 273-284, December 1989. IFIP WG 10.3, North-Holland.


  52. Paul Feautrier. Semantical Analysis and mathematical programming; Application to parallelization and vectorization. In M. Cosnard, Y. Robert, P. Quinton, and M. Raynal, editors, Workshop on Parallel and Distributed Algorithms, Bonas, pages 309-320, 1989. North Holland.


  53. Paul Feautrier. Array Expansion. In ACM Int. Conf. on Supercomputing, pages 429-441, 1988.


  54. Paul Feautrier. Parallélisation et vectorisation automatique, état de l'art et recherches récentes. In Paul Feautrier and Gérard Noguez, editors, Actes des Journées du Firtech Systèmes et Télématique, Paris, November 1988.


  55. Rémi Triolet, François Irigoin, and Paul Feautrier. Automatic Parallelization of FORTRAN Programs in the Presence of Procedure Calls. In Bernard Robinet and R. Wilhelm, editors, ESOP 1986, LNCS 213, 1986. Springer-Verlag.


  56. Paul Feautrier. Projet VESTA : Outil de calcul symbolique. In Colloque sur la Programmation, LNCS 167, Toulouse, 1984. Springer-Verlag.


  57. Paul Feautrier. Construction of non LTE Equilibrium atmospheres.. In O. Gingerich, editor, Proc. of the third Harvard-Smithsonian Stellar Athmosphere conf., 1969. MIT press.


  58. Paul Feautrier. A method for improving the $T(x)$ law. In Proc. of the first Harvard-Smithsonian Conf. on Stellar Atmospheres, 1964.


  59. Paul Feautrier. A procedure for evaluating the mean intensity and the flux. In Proc. of the first Harvard-Smithsonian Conf. on Stellar Atmospheres, 1964.


Internal reports
  1. Albert Cohen, Alain Darte, and Paul Feautrier. Static Analysis of OpenStream Programs. Technical report RR-8764, LIP, ENS-Lyon, France, October 2013. Note: Livrable ManycoreLabs 2.5.3, déposé en tant que rapport de recherche en août 2015.


  2. Paul Feautrier. Simplification of Boolean Affine Formulas. Technical report RR-7689, INRIA, July 2011. [PDF] Keyword(s): simplification, affine inequalities, boolean expressions, non convex polyhedra.


  3. Paul Feautrier. Elementary transformation analysis for Array-OL. Research Report 6193, INRIA, 05 2007. [WWW]


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


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


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


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


  8. Denis Barthou, Paul Feautrier, and Xavier Redon. On the Equivalence of Two Systems of Affine Recurrence Equations. Technical report 4285, INRIA, October 2001.


  9. Hadda Cherroun, Alain Darte, and Paul Feautrier. Scheduling with resource constraints using dis-equations. Technical report RR2005-40, LIP, 2000.


  10. Paul Feautrier. Automatic Distribution of Data and Computations. Technical report 2000/3, PRiSM, 2000. [POSTSCRIPT]


  11. X. Redon and P. Feautrier. Detection of Scans in Sequential Programs. Technical report AS-175, LIFL, May 1997. Note: URL: ftp://ftp.lifl.fr/pub/reports/AS-publi/an97/as-175.ps.gz.


  12. Michel Barreteau and Paul Feautrier. An efficient Algorithm to Map Interdependent Scans. Research Report 16, prism, Versailles, France, June 1996.


  13. Vincent Lefebvre and Paul Feautrier. Storage Management in Parallel Programs. Research Report 15, prism, Versailles, France, June 1996.


  14. J.-F. Collard and P. Feautrier. A method for static scheduling of dynamic control programs. Technical report 94-34, Laboratoire de l'Informatique du Parallélisme - ENS Lyon, December 1994.


  15. J.-F. Collard and P. Feautrier. Automatic Generation of Data Parallel Code. Technical report 94-09, PRiSM, U. Versailles St Quentin, March 1994.


  16. Jean-François Collard and Paul Feautrier. Automatic Generation of Data Parallel Code. Technical report X-94/03, PRiSM, 1994.


  17. Paul Feautrier and Jean-François Collard. Fuzzy Array Dataflow Analysis. Technical report RR 94-24, LIP, ENS Lyon, France, July 1994.


  18. X. Redon and P. Feautrier. Scheduling Reductions. Technical report 94/03, PRiSM Laboratory, U. of Versailles-St-Quentin, France, 1994.


  19. X. Redon and P. Feautrier. Scheduling Reductions. Technical report PRiSM 94-03, Laboratoire PRiSM, January 1994.


  20. Jean-François Collard, Paul Feautrier, and Tanguy Risset. Construction of DO loops from systems of affine constraints. Technical report 93-15, LIP, Ecole Normale de Lyon, May 1993.


  21. J.F. Collard, P. Feautrier, and T. Risset. Construction of DO Loops from Systems of Affine Constra ints. Technical report, LIP, ENS-Lyon, 1993.


  22. Paul Feautrier and Mourad Raji-Werth. A Collection of Papers on the Systematic Construction of Parallel ans Distributed Programs. Technical report MASI hors série, IBP, June 1992.


  23. Paul Feautrier and Mourad Raji-Werth. Systematic Construction of Programs for Distributed Memory Computers. Technical report MASI 91-40, Institut Blaise Pascal, June 1991. Note: Colloque Franco-Japonais d'Informatique.


  24. Paul Feautrier. Convention DRET 87/280, Cinquième rapport d'avancement. Technical report, DRET, June 1990. Note: Bases de temps.


  25. Paul Feautrier. Convention DRET 87/280, Quatrième rapport d'avancement. Technical report, DRET, May 1990.


  26. Paul Feautrier. Convention DRET 87/280, Septième rapport d'avancement. Technical report, DRET, September 1990. Note: Choix de la machine cible.


  27. Paul Feautrier. Convention DRET 87/280, Sixième rapport d'avancement. Technical report, DRET, September 1990. Note: Fonctions de placement.


  28. P. Feautrier. Quatrième rapport d'avancement. Technical report, DRET, 1990.


  29. Paul Feautrier and Nadia Tawbi. Résolution de Systèmes d'Inéquations Linéaires ; mode d'emploi du logiciel PIP. Technical report 90.2, IBP-MASI, January 1990.


  30. Paul Feautrier. Convention DRET 87/280, Deuxième rapport d'avancement. Technical report, DRET, May 1989. Note: Date à vérifier.


  31. Paul Feautrier. Convention DRET 87/280, Premier rapport d'avancement. Technical report, DRET, February 1989. Note: Date à vérifier.


  32. Paul Feautrier. Convention DRET 87/280, Troisième rapport d'avancement. Technical report, DRET, November 1989.


  33. P. Feautrier. Troisième rapport d'avancement. Technical report, DRET, November 1989.


  34. Nadia Tawbi and Paul Feautrier. Parallélisation automatique de programmes pour ordinateur multiprocesseur à mémoire partagée. Technical report 285, MASI, March 1989. Note: Journées Algorithmes Parallèles et Architectures Nouvelles.


  35. Nadia Tawbi, Alain Dumay, and Paul Feautrier. PAF : un paralléliseur automatique pour FORTRAN. Technical report 185, MASI, 1987.


  36. Paul Feautrier. Connexion d'un Minitel à un Unix Berkeley. Technical report RT-1, MASI, 1985.


  37. Paul Feautrier. Système POSTER I, Manuel de référence. Technical report 79-40, LITP, 1979.


  38. Paul Feautrier. Introduction aux langages de Post en tant qu'outils de formalisation. Technical report 75.7, Institut de Programmation, 1975.


  39. P. Feautrier and M. Raji-Werth. Systematic construction of programs for Distributed Memory Computers. Technical report 91-40, MASI - Institut Blaise Pascal, June 1991.


  40. P. Feautrier and M. Raji-Werth. Systematic construction of programs for Distributed Memory Computers. Technical report 91-40, MASI - Institut Blaise Pascal, June 1991.


Miscellaneous
  1. Paul Feautrier. SECOND Draft of a DTD for Imperative Programs. File erb+ paf/Yaka/Doc/dtd2.ps+, May 2002.


  2. Paul Feautrier. An XML Reader for muPAD. File erb+ paf/Yaka/Doc/xml.ps+, December 2001.


  3. Paul Feautrier. First Draft of a DTD for Imperative Programs. File erb+ paf/Pubs/Resource/dtd.ps+, December 2001.


  4. P. Feautrier. Calcul du graphe du flot de données : le programme, 1992. Note: Documentation de PAF.


  5. Paul Feautrier. Construction systématique de programmes pour architectures massivement parallèles. Colloque de Luminy, November 1990.


  6. P. Feautrier, J-F. Collard, and C. Bastoul. The Pip User Manual, 1990. Note: \textttpiplib.pdf. [WWW]


  7. Paul Feautrier. Integer Programming Problems in Automatic Parallelization. Workshop on Compiling Techniques and Compiler Construction for Parallel Computers, September 1989. Note: Oxford.


  8. Paul Feautrier. Procédé et moyen pour une gestion cohérente des informations dans une hiérarchie de mémoire. Brevet Français No 75.12014, 1975.


  9. Paul Feautrier. CrisC, un assembleur RISC à syntaxe C. Note: URL: erb+perso.ens-lyon.fr@Paul.Feautrier+.




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: Mon May 20 14:28:10 2019
Author: pfeautri.

This document was translated from BibTEX by bibtex2html