BACK TO INDEX

Publications of Paul Feautrier
Articles in journal or 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. 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]


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


  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. [doi:www.edpsciences.org/10.1051/ro:2007036]


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Internal reports
  1. 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]


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


  3. Paul Feautrier. Elementary Transformation Analysis for Array-OL. Research Report 6193, INRIA, May 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. Hadda Cherroun, Alain Darte, and Paul Feautrier. Scheduling with Resource Constraints using Dis-Equations. Technical report 2005-40, LIP, ENS-Lyon, September 2005.


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


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


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



BACK TO INDEX



Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.



Last modified: Tue Dec 30 15:51:02 2014
Author: darte.

This document was translated from BibTEX by bibtex2html