Paul Feautrier

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Author retrospective for array expansion, array shrinking, or there and back again.
Proceedings of the ACM International Conference on Supercomputing 25th Anniversary Volume, 2014

Improving the Performance of X10 Programs by Clock Removal.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013
Checking Race Freedom of Clocked X10 Programs.
CoRR, 2013

Array dataflow analysis for polyhedral X10 programs.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Rank: A Tool to Check Program Termination and Computational Complexity.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2011
Polyhedron Model.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Layout, Array.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Dependences.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Bernstein's Conditions.
Proceedings of the Encyclopedia of Parallel Computing, 2011

2010
Accelerated Invariant Generation for C Programs with Aspic and C2fsm.
Electron. Notes Theor. Comput. Sci., 2010

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs.
Proceedings of the Static Analysis - 17th International Symposium, 2010

2009
Methods for power optimization in SOC-based data flow systems.
ACM Trans. Design Autom. Electr. Syst., 2009

Embedded software energy characterization: Using non-intrusive measures for application source code annotation.
J. Embed. Comput., 2009

Elementary transformation analysis for Array-OL.
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.
RAIRO Oper. Res., 2007

Elementary transformation analysis for Array-OL
CoRR, 2007

eSimu: a Fast and Accurate Energy Consumption Simulator for Real Embedded System.
Proceedings of the 2007 International Symposium on a World of Wireless, 2007

Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive Measurements.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2007

An Exact Resource Constrained-Scheduler using Graph Coloring technique.
Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006
Scalable and Structured Scheduling.
Int. J. Parallel Program., 2006

Beyond Iteration Vectors: Instancewise Relational Abstract Domains.
Proceedings of the Static Analysis, 13th International Symposium, 2006

Power Modeling of a NoC Based Design for High Speed Telecommunication Systems.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2006

Scheduling under resource constraints using dis-equations.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005
Adjusting a Program Transformation for Legality.
Parallel Process. Lett., 2005

2004
Scalable and Modular Scheduling.
Proceedings of the Computer Systems: Architectures, 2004

From Software to Hardware and Back.
Proceedings of the Formal Techniques, 2004

More Legal Transformations for Locality.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003
Programming the FlexRAM parallel intelligent memory system.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003

Improving Data Locality by Chunking.
Proceedings of the Compiler Construction, 12th International Conference, 2003

2002
Forward Communication Only Placements and Their Use for Parallel Program Construction.
Proceedings of the Languages and Compilers for Parallel Computing, 15th Workshop, 2002

Instance-wise points-to analysis for loop-based dependence testing.
Proceedings of the 16th international conference on Supercomputing, 2002

Multi-periodic Process Networks: Prototyping and Verifying Stream-Processing Systems.
Proceedings of the Euro-Par 2002, 2002

On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note).
Proceedings of the Euro-Par 2002, 2002

2001
Array Dataflow Analysis.
Proceedings of the Compiler Optimizations for Scalable Parallel Systems Languages, 2001

2000
Detection of Scans in the Polytope Model.
Parallel Algorithms Appl., 2000

Index Set Splitting.
Int. J. Parallel Program., 2000

PCI-DDC Application Programming Interface: Performance in User-Level Messaging (Research Note).
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.
Parallel Comput., 1998

A Parallelization Framework for Recursive Tree Programs.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

Scanning Polyhedra without Do-loops.
Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1997
Fuzzy Array Dataflow Analysis.
J. Parallel Distributed Comput., 1997

Storage management in parallel programs.
Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), 1997

Optimizing Storage Size for Static Control Programs in Automatic Parallelizers.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

Basis of Parallel Speculative Execution.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996
Applicaions of Fuzzy Array Dataflow Analysis.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Efficient Mapping of Interdependent Scans.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

Automatic Parallelization in the Polytope Model.
Proceedings of the Data Parallel Programming Model: Foundations, 1996

1995
Construction of Do Loops from Systems of Affine Constraints.
Parallel Process. Lett., 1995

Compiling for massively parallel architectures: a perspective.
Microprocess. Microprogramming, 1995

1994
Toward Automatic Distribution.
Parallel Process. Lett., 1994

Fine-Grain Scheduling under Resource Constraints.
Proceedings of the Languages and Compilers for Parallel Computing, 1994

Scheduling reductions.
Proceedings of the 8th international conference on Supercomputing, 1994

Using Compile-Time Conditional Analysis to Improve the Performance of Compiler Parallelized Programs.
Proceedings of the Massively Parallel Processing Applications and Develompent, 1994

Optimizing Communications by Using Compile Time Analysis.
Proceedings of the Parallel Processing: CONPAR 94, 1994

1993
Detection of Recurrences in Sequential Programs with Loops.
Proceedings of the PARLE '93, 1993

Toward Automatic Partitioning of Arrays on Distributed Memory Computers.
Proceedings of the 7th international conference on Supercomputing, 1993

1992
Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time.
Int. J. Parallel Program., 1992

Some efficient solutions to the affine scheduling problem. I. One-dimensional time.
Int. J. Parallel Program., 1992

Processor allocation and loop scheduling on multiprocessor computers.
Proceedings of the 6th international conference on Supercomputing, 1992

1991
Dataflow analysis of array and scalar references.
Int. J. Parallel Program., 1991

1990
Parallélisation sémantique.
RAIRO Theor. Informatics Appl., 1990

1988
Array expansion.
Proceedings of the 2nd international conference on Supercomputing, 1988

1986
Direct parallelization of call statements.
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls.
Proceedings of the ESOP 86, 1986

1984
Projet Vesta: outil de calcul symbolique.
Proceedings of the International Symposium on Programming, 1984

1978
A New Solution to Coherence Problems in Multicache Systems.
IEEE Trans. Computers, 1978

1975
Post Grammars as a Programming Language Description Tool.
RAIRO Theor. Informatics Appl., 1975


  Loading...