Paul Feautrier

70 papers A 8B 7C 4Journal 20Unranked 27

Year	Rank	Type	Title / Venue / Authors
2014	—	`conf`	Author retrospective for array expansion, array shrinking, or there and back again. ICS 25th Anniversary Paul Feautrier
2014	B	`conf`	Improving the Performance of X10 Programs by Clock Removal. CC Paul Feautrier, Eric Violard, Alain Ketterlin
2013	B	`conf`	Array dataflow analysis for polyhedral X10 programs. PPoPP Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay A. Saraswat
2013	J	`jnl`	Checking Race Freedom of Clocked X10 Programs. CoRR Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay A. Saraswat
2013	—	`conf`	Rank: A Tool to Check Program Termination and Computational Complexity. ICST Workshops Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
2011	—	`ch.`	Bernstein's Conditions. Encyclopedia of Parallel Computing Paul Feautrier
2011	—	`ch.`	Dependences. Encyclopedia of Parallel Computing Paul Feautrier
2011	—	`ch.`	Layout, Array. Encyclopedia of Parallel Computing Paul Feautrier
2011	—	`ch.`	Polyhedron Model. Encyclopedia of Parallel Computing Paul Feautrier, Christian Lengauer
2010	—	`conf`	Accelerated Invariant Generation for C Programs with Aspic and C2fsm. TAPAS@SAS Paul Feautrier, Laure Gonnord
2010	B	`conf`	Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. SAS Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
2009	C	`conf`	Elementary transformation analysis for Array-OL. AICCSA Ouassila Labbani, Paul Feautrier, Eric Lenormand, Michel Barreteau
2009	J	`jnl`	Embedded software energy characterization: Using non-intrusive measures for application source code annotation. J. Embed. Comput. Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
2009	J	`jnl`	Methods for power optimization in SOC-based data flow systems. ACM Trans. Design Autom. Electr. Syst. Philippe Grosse, Yves Durand, Paul Feautrier
2007	C	`conf`	An Exact Resource Constrained-Scheduler using Graph Coloring technique. AICCSA Hadda Cherroun, Paul Feautrier
2007	J	`jnl`	Elementary transformation analysis for Array-OL CoRR Paul Feautrier
2007	—	`conf`	Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive Measurements. PATMOS Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
2007	J	`jnl`	Reservation table scheduling: branch-and-bound based optimization RAIRO Oper. Res. Hadda Cherroun, Alain Darte, Paul Feautrier
2007	C	`conf`	eSimu: a Fast and Accurate Energy Consumption Simulator for Real Embedded System. WOWMOM Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
2006	B	`conf`	Beyond Iteration Vectors: Instancewise Relational Abstract Domains. SAS Pierre Amiranoff, Albert Cohen, Paul Feautrier
2006	—	`conf`	Power Modeling of a NoC Based Design for High Speed Telecommunication Systems. PATMOS Philippe Grosse, Yves Durand, Paul Feautrier
2006	J	`jnl`	Scalable and Structured Scheduling. Int. J. Parallel Program. Paul Feautrier
2006	A	`conf`	Scheduling under resource constraints using dis-equations. DATE Hadda Cherroun, Alain Darte, Paul Feautrier
2005	J	`jnl`	Adjusting a Program Transformation for Legality. Parallel Process. Lett. Cédric Bastoul, Paul Feautrier
2004	—	`conf`	From Software to Hardware and Back. FORMATS/FTRTFT Paul Feautrier
2004	—	`conf`	More Legal Transformations for Locality. Euro-Par Cédric Bastoul, Paul Feautrier
2004	A	`ed.`	Proceedings of the 18th Annual International Conference on Supercomputing, ICS 2004, Saint Malo, France, June 26 - July 01, 2004 ICS Paul Feautrier, James R. Goodman, André Seznec
2004	—	`conf`	Scalable and Modular Scheduling. SAMOS Paul Feautrier
2003	B	`conf`	Improving Data Locality by Chunking. CC Cédric Bastoul, Paul Feautrier
2003	B	`conf`	Programming the FlexRAM parallel intelligent memory system. PPoPP Basilio B. Fraguela, Jose Renau, Paul Feautrier, David A. Padua, Josep Torrellas
2002	—	`conf`	Forward Communication Only Placements and Their Use for Parallel Program Construction. LCPC Martin Griebl, Paul Feautrier, Armin Größlinger
2002	A	`conf`	Instance-wise points-to analysis for loop-based dependence testing. ICS Peng Wu, Paul Feautrier, David A. Padua, Zehra Sura
2002	—	`conf`	Multi-periodic Process Networks: Prototyping and Verifying Stream-Processing Systems. Euro-Par Albert Cohen, Daniela Genius, Abdesselem Kortebi, Zbigniew Chamski, Marc Duranton, Paul Feautrier
2002	—	`conf`	On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note). Euro-Par Denis Barthou, Paul Feautrier, Xavier Redon
2001	—	`conf`	Array Dataflow Analysis. Compiler Optimizations for Scalable Parallel Systems Languages Paul Feautrier
2000	J	`jnl`	Detection of Scans in the Polytope Model. Parallel Algorithms Appl. Xavier Redon, Paul Feautrier
2000	J	`jnl`	Index Set Splitting. Int. J. Parallel Program. Martin Griebl, Paul Feautrier, Christian Lengauer
2000	—	`conf`	PCI-DDC Application Programming Interface: Performance in User-Level Messaging (Research Note). Euro-Par Eric Renault, Pierre David, Paul Feautrier
1999	—	`conf`	On Index Set Splitting. IEEE PACT Martin Griebl, Paul Feautrier, Christian Lengauer
1998	—	`conf`	A Parallelization Framework for Recursive Tree Programs. Euro-Par Paul Feautrier
1998	J	`jnl`	Automatic Storage Management for Parallel Programs. Parallel Comput. Vincent Lefebvre, Paul Feautrier
1998	—	`conf`	Scanning Polyhedra without Do-loops. IEEE PACT Pierre Boulet, Paul Feautrier
1997	—	`conf`	Basis of Parallel Speculative Execution. Euro-Par Paul Feautrier
1997	J	`jnl`	Fuzzy Array Dataflow Analysis. J. Parallel Distributed Comput. Denis Barthou, Jean-Francois Collard, Paul Feautrier
1997	—	`conf`	Optimizing Storage Size for Static Control Programs in Automatic Parallelizers. Euro-Par Vincent Lefebvre, Paul Feautrier
1997	C	`conf`	Storage management in parallel programs. PDP Vincent Lefebvre, Paul Feautrier
1996	—	`conf`	Applicaions of Fuzzy Array Dataflow Analysis. Euro-Par, Vol. I Denis Barthou, Jean-Francois Collard, Paul Feautrier
1996	—	`conf`	Automatic Parallelization in the Polytope Model. The Data Parallel Programming Model Paul Feautrier
1996	—	`conf`	Efficient Mapping of Interdependent Scans. Euro-Par, Vol. I Michel Barreteau, Paul Feautrier
1995	J	`jnl`	Compiling for massively parallel architectures: a perspective. Microprocess. Microprogramming Paul Feautrier
1995	J	`jnl`	Construction of Do Loops from Systems of Affine Constraints. Parallel Process. Lett. Jean-Francois Collard, Tanguy Risset, Paul Feautrier
1995	B	`conf`	Fuzzy Array Dataflow Analysis. PPoPP Jean-Francois Collard, Denis Barthou, Paul Feautrier
1994	—	`conf`	Fine-Grain Scheduling under Resource Constraints. LCPC Paul Feautrier
1994	—	`conf`	Optimizing Communications by Using Compile Time Analysis. CONPAR Mourad Raji Werth, Paul Feautrier
1994	A	`conf`	Scheduling reductions. International Conference on Supercomputing Xavier Redon, Paul Feautrier
1994	J	`jnl`	Toward Automatic Distribution. Parallel Process. Lett. Paul Feautrier
1994	—	`conf`	Using Compile-Time Conditional Analysis to Improve the Performance of Compiler Parallelized Programs. EUROSIM Mourad Raji Werth, John Zahorjan, Paul Feautrier
1993	—	`conf`	Detection of Recurrences in Sequential Programs with Loops. PARLE Xavier Redon, Paul Feautrier
1993	A	`conf`	Toward Automatic Partitioning of Arrays on Distributed Memory Computers. International Conference on Supercomputing Paul Feautrier
1992	A	`conf`	Processor allocation and loop scheduling on multiprocessor computers. ICS Nadia Tawbi, Paul Feautrier
1992	J	`jnl`	Some efficient solutions to the affine scheduling problem. I. One-dimensional time. Int. J. Parallel Program. Paul Feautrier
1992	J	`jnl`	Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time. Int. J. Parallel Program. Paul Feautrier
1991	J	`jnl`	Dataflow analysis of array and scalar references. Int. J. Parallel Program. Paul Feautrier
1990	J	`jnl`	Parallélisation sémantique. RAIRO Theor. Informatics Appl. Pierre Jouvelot, Paul Feautrier
1988	A	`conf`	Array expansion. ICS Paul Feautrier
1986	A	`conf`	Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls. ESOP Rémi Triolet, Paul Feautrier, François Irigoin
1986	—	`conf`	Direct parallelization of call statements. SIGPLAN Symposium on Compiler Construction Rémi Triolet, François Irigoin, Paul Feautrier
1984	—	`conf`	Projet Vesta: outil de calcul symbolique. Symposium on Programming Paul Feautrier
1978	J	`jnl`	A New Solution to Coherence Problems in Multicache Systems. IEEE Trans. Computers Lucien M. Censier, Paul Feautrier
1975	J	`jnl`	Post Grammars as a Programming Language Description Tool. RAIRO Theor. Informatics Appl. Paul Feautrier