Paul Feautrier

According to our database, Paul Feautrier authored at least 67 papers between 1975 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Author retrospective for array expansion, array shrinking, or there and back again.

Paul Feautrier

Proceedings of the ACM International Conference on Supercomputing 25th Anniversary Volume, 2014

Improving the Performance of X10 Programs by Clock Removal.

Paul Feautrier, Eric Violard, Alain Ketterlin

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Checking Race Freedom of Clocked X10 Programs.

Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay A. Saraswat

CoRR, 2013

Array dataflow analysis for polyhedral X10 programs.

Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay A. Saraswat

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Rank: A Tool to Check Program Termination and Computational Complexity.

Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2011

Polyhedron Model.

Paul Feautrier, Christian Lengauer

Proceedings of the Encyclopedia of Parallel Computing, 2011

Layout, Array.

Paul Feautrier

Proceedings of the Encyclopedia of Parallel Computing, 2011

Dependences.

Paul Feautrier

Proceedings of the Encyclopedia of Parallel Computing, 2011

Bernstein's Conditions.

Paul Feautrier

Proceedings of the Encyclopedia of Parallel Computing, 2011

2010

Accelerated Invariant Generation for C Programs with Aspic and C2fsm.

Paul Feautrier, Laure Gonnord

Proceedings of the Tools for Automatic Program AnalysiS, 2010

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs.

Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord

Proceedings of the Static Analysis - 17th International Symposium, 2010

2009

Methods for power optimization in SOC-based data flow systems.

Philippe Grosse, Yves Durand, Paul Feautrier

ACM Trans. Design Autom. Electr. Syst., 2009

Embedded software energy characterization: Using non-intrusive measures for application source code annotation.

Nicolas Fournel, Antoine Fraboulet, Paul Feautrier

J. Embed. Comput., 2009

Elementary transformation analysis for Array-OL.

Ouassila Labbani, Paul Feautrier, Eric Lenormand, Michel Barreteau

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2007

Reservation table scheduling: branch-and-bound based optimization <i>vs</i>. integer linear programming techniques.

Hadda Cherroun, Alain Darte, Paul Feautrier

RAIRO Oper. Res., 2007

Elementary transformation analysis for Array-OL

Paul Feautrier

CoRR, 2007

eSimu: a Fast and Accurate Energy Consumption Simulator for Real Embedded System.

Nicolas Fournel, Antoine Fraboulet, Paul Feautrier

Proceedings of the 2007 International Symposium on a World of Wireless, 2007

Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive Measurements.

Nicolas Fournel, Antoine Fraboulet, Paul Feautrier

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2007

An Exact Resource Constrained-Scheduler using Graph Coloring technique.

Hadda Cherroun, Paul Feautrier

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006

Scalable and Structured Scheduling.

Paul Feautrier

Int. J. Parallel Program., 2006

Beyond Iteration Vectors: Instancewise Relational Abstract Domains.

Pierre Amiranoff, Albert Cohen, Paul Feautrier

Proceedings of the Static Analysis, 13th International Symposium, 2006

Power Modeling of a NoC Based Design for High Speed Telecommunication Systems.

Philippe Grosse, Yves Durand, Paul Feautrier

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2006

Scheduling under resource constraints using dis-equations.

Hadda Cherroun, Alain Darte, Paul Feautrier

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Adjusting a Program Transformation for Legality.

Cédric Bastoul, Paul Feautrier

Parallel Process. Lett., 2005

2004

Scalable and Modular Scheduling.

Paul Feautrier

Proceedings of the Computer Systems: Architectures, 2004

From Software to Hardware and Back.

Paul Feautrier

Proceedings of the Formal Techniques, 2004

More Legal Transformations for Locality.

Cédric Bastoul, Paul Feautrier

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003

Programming the FlexRAM parallel intelligent memory system.

Basilio B. Fraguela, Jose Renau, Paul Feautrier, David A. Padua, Josep Torrellas

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003

Improving Data Locality by Chunking.

Cédric Bastoul, Paul Feautrier

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Forward Communication Only Placements and Their Use for Parallel Program Construction.

Martin Griebl, Paul Feautrier, Armin Größlinger

Proceedings of the Languages and Compilers for Parallel Computing, 15th Workshop, 2002

Instance-wise points-to analysis for loop-based dependence testing.

Peng Wu, Paul Feautrier, David A. Padua, Zehra Sura

Proceedings of the 16th international conference on Supercomputing, 2002

Multi-periodic Process Networks: Prototyping and Verifying Stream-Processing Systems.

Albert Cohen, Daniela Genius, Abdesselem Kortebi, Zbigniew Chamski, Marc Duranton, Paul Feautrier

Proceedings of the Euro-Par 2002, 2002

On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note).

Denis Barthou, Paul Feautrier, Xavier Redon

Proceedings of the Euro-Par 2002, 2002

2001

Array Dataflow Analysis.

Paul Feautrier

Proceedings of the Compiler Optimizations for Scalable Parallel Systems Languages, 2001

2000

Detection of Scans in the Polytope Model.

Xavier Redon, Paul Feautrier

Parallel Algorithms Appl., 2000

Index Set Splitting.

Martin Griebl, Paul Feautrier, Christian Lengauer

Int. J. Parallel Program., 2000

PCI-DDC Application Programming Interface: Performance in User-Level Messaging (Research Note).

Eric Renault, Pierre David, Paul Feautrier

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1998

Automatic Storage Management for Parallel Programs.

Vincent Lefebvre, Paul Feautrier

Parallel Comput., 1998

A Parallelization Framework for Recursive Tree Programs.

Paul Feautrier

Proceedings of the Euro-Par '98 Parallel Processing, 1998

Scanning Polyhedra without Do-loops.

Pierre Boulet, Paul Feautrier

Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1997

Fuzzy Array Dataflow Analysis.

Denis Barthou, Jean-Francois Collard, Paul Feautrier

J. Parallel Distributed Comput., 1997

Storage management in parallel programs.

Vincent Lefebvre, Paul Feautrier

Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), 1997

Optimizing Storage Size for Static Control Programs in Automatic Parallelizers.

Vincent Lefebvre, Paul Feautrier

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Basis of Parallel Speculative Execution.

Paul Feautrier

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

Applicaions of Fuzzy Array Dataflow Analysis.

Denis Barthou, Jean-Francois Collard, Paul Feautrier

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Efficient Mapping of Interdependent Scans.

Michel Barreteau, Paul Feautrier

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Automatic Parallelization in the Polytope Model.

Paul Feautrier

Proceedings of the Data Parallel Programming Model: Foundations, 1996

1995

Construction of Do Loops from Systems of Affine Constraints.

Jean-Francois Collard, Tanguy Risset, Paul Feautrier

Parallel Process. Lett., 1995

Compiling for massively parallel architectures: a perspective.

Paul Feautrier

Microprocess. Microprogramming, 1995

1994

Toward Automatic Distribution.

Paul Feautrier

Parallel Process. Lett., 1994

Fine-Grain Scheduling under Resource Constraints.

Paul Feautrier

Proceedings of the Languages and Compilers for Parallel Computing, 1994

Scheduling reductions.

Xavier Redon, Paul Feautrier

Proceedings of the 8th international conference on Supercomputing, 1994

Using Compile-Time Conditional Analysis to Improve the Performance of Compiler Parallelized Programs.

Mourad Raji Werth, John Zahorjan, Paul Feautrier

Proceedings of the Massively Parallel Processing Applications and Develompent, 1994

Optimizing Communications by Using Compile Time Analysis.

Mourad Raji Werth, Paul Feautrier

Proceedings of the Parallel Processing: CONPAR 94, 1994

1993

Detection of Recurrences in Sequential Programs with Loops.

Xavier Redon, Paul Feautrier

Proceedings of the PARLE '93, 1993

Toward Automatic Partitioning of Arrays on Distributed Memory Computers.

Paul Feautrier

Proceedings of the 7th international conference on Supercomputing, 1993

1992

Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time.

Paul Feautrier

Int. J. Parallel Program., 1992

Some efficient solutions to the affine scheduling problem. I. One-dimensional time.

Paul Feautrier

Int. J. Parallel Program., 1992

Processor allocation and loop scheduling on multiprocessor computers.

Nadia Tawbi, Paul Feautrier

Proceedings of the 6th international conference on Supercomputing, 1992

1991

Dataflow analysis of array and scalar references.

Paul Feautrier

Int. J. Parallel Program., 1991

1990

Parallélisation sémantique.

Pierre Jouvelot, Paul Feautrier

RAIRO Theor. Informatics Appl., 1990

1988

Array expansion.

Paul Feautrier

Proceedings of the 2nd international conference on Supercomputing, 1988

1986

Direct parallelization of call statements.

Rémi Triolet, François Irigoin, Paul Feautrier

Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls.

Rémi Triolet, Paul Feautrier, François Irigoin

Proceedings of the ESOP 86, 1986

1984

Projet Vesta: outil de calcul symbolique.

Paul Feautrier

Proceedings of the International Symposium on Programming, 1984

1978

A New Solution to Coherence Problems in Multicache Systems.

Lucien M. Censier, Paul Feautrier

IEEE Trans. Computers, 1978

1975

Post Grammars as a Programming Language Description Tool.

Paul Feautrier

RAIRO Theor. Informatics Appl., 1975