Alain Darte

According to our database, Alain Darte authored at least 66 papers between 1991 and 2016.

Collaborative distances:

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

2016

Extended lattice-based memory allocation.

Alain Darte, Alexandre Isoard, Tomofumi Yuki

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes.

Alain Darte, Alexandre Isoard

Proceedings of the Compiler Construction - 24th International Conference, 2015

2014

Studying Optimal Spilling in the Light of SSA.

Quentin Colombet, Florian Brandner, Alain Darte

ACM Trans. Archit. Code Optim., 2014

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

Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA.

Christophe Alias, Alain Darte, Alexandru Plesco

Proceedings of the Design, Automation and Test in Europe, 2013

2012

SSI Properties Revisited.

Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello

ACM Trans. Embed. Comput. Syst., 2012

2011

Parallelism Detection in Nested Loops, Optimal.

Alain Darte

Proceedings of the Encyclopedia of Parallel Computing, 2011

A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs.

Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Parallel copy motion.

Florent Bouchez, Quentin Colombet, Alain Darte, Fabrice Rastello, Christophe Guillon

Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 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

Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd.

Alain Darte

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Optimizing DDR-SDRAM communications at C-level for automatically-generated hardware accelerators an experience with the Altera C2H HLS tool.

Christophe Alias, Alain Darte, Alexandru Plesco

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

2009

Introduction.

Pedro C. Diniz, Ben H. H. Juurlink, Alain Darte, Wolfgang Karl

Proceedings of the Euro-Par 2009 Parallel Processing, 2009

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency.

Benoit Boissinot, Alain Darte, Fabrice Rastello, Benoît Dupont de Dinechin, Christophe Guillon

Proceedings of the CGO 2009, 2009

2008

Advanced conservative and optimistic register coalescing.

Florent Bouchez, Alain Darte, Fabrice Rastello

Proceedings of the 2008 International Conference on Compilers, 2008

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

On the complexity of spill everywhere under SSA form.

Florent Bouchez, Alain Darte, Fabrice Rastello

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose.

Christophe Alias, Fabrice Baray, Alain Darte

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

On the Complexity of Register Coalescing.

Florent Bouchez, Alain Darte, Fabrice Rastello

Proceedings of the Fifth International Symposium on Code Generation and Optimization (CGO 2007), 2007

Scheduling Register-Allocated Codes in User-Guided High-Level Synthesis.

Alain Darte, C. Quinson

Proceedings of the IEEE International Conference on Application-Specific Systems, 2007

2006

Register Allocation: What Does the NP-Completeness Proof of Chaitin et al. Really Prove? Or Revisiting Register Allocation: Why and How.

Florent Bouchez, Alain Darte, Christophe Guillon, Fabrice Rastello

Proceedings of the Languages and Compilers for Parallel Computing, 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

New Complexity Results on Array Contraction and Related Problems.

Alain Darte, Guillaume Huard

J. VLSI Signal Process., 2005

Lattice-Based Memory Allocation.

Alain Darte, Robert Schreiber, Gilles Villard

IEEE Trans. Computers, 2005

A linear-time algorithm for optimal barrier placement.

Alain Darte, Robert Schreiber

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

Hardware/Software Interface for Multi-Dimensional Processor Arrays.

Alain Darte, Steven Derrien, Tanguy Risset

Proceedings of the 16th IEEE International Conference on Application-Specific Systems, 2005

2003

Generalized multipartitioning of multi-dimensional arrays for parallelizing line-sweep computations.

Alain Darte, John M. Mellor-Crummey, Robert J. Fowler, Daniel G. Chavarría-Miranda

J. Parallel Distributed Comput., 2003

2002

Constructing and exploiting linear schedules with prescribed parallelism.

Alain Darte, Robert Schreiber, B. Ramakrishna Rau, Frédéric Vivien

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

Complexity of Multi-dimensional Loop Alignment.

Alain Darte, Guillaume Huard

Proceedings of the STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes, 2002

Generalized Multipartitioning for Multi-Dimensional Arrays.

Daniel G. Chavarría-Miranda, Alain Darte, Robert J. Fowler, John M. Mellor-Crummey

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

New Results on Array Contraction.

Alain Darte, Guillaume Huard

Proceedings of the 13th IEEE International Conference on Application-Specific Systems, 2002

2001

Loop Parallelization Algorithms.

Alain Darte, Yves Robert, Frédéric Vivien

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

2000

On the complexity of loop fusion.

Alain Darte

Parallel Comput., 2000

Loop Shifting for Loop Compaction.

Alain Darte, Guillaume Huard

Int. J. Parallel Program., 2000

A Constructive Solution to the Juggling Problem in Processor Array Synthesis.

Alain Darte, Robert Schreiber, B. Ramakrishna Rau, Frédéric Vivien

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

Temporary Arrays for Distribution of Loops with Control Dependences.

Alain Darte, Georges-André Silber

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

Scheduling the Computations of a Loop Nest with Respect to a Given Mapping.

Alain Darte, Claude G. Diderich, Marc Gengler, Frédéric Vivien

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

Scheduling and automatic parallelization.

Alain Darte, Yves Robert, Frédéric Vivien

Birkhäuser, ISBN: 978-3-7643-4149-7, 2000

1999

the NESTOR Library: A Tool for Implementing FORTRAN Source Transformations.

Georges-André Silber, Alain Darte

Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

1998

Circuit Retiming Applied to Decomposed Software Pipelining.

Pierre-Yves Calland, Alain Darte, Yves Robert

IEEE Trans. Parallel Distributed Syst., 1998

Loop Parallelization Algorithms: From Parallelism Extraction to Code Generation.

Pierre Boulet, Alain Darte, Georges-André Silber, Frédéric Vivien

Parallel Comput., 1998

On the Removal of Anti- and Output-Dependences.

Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien

Int. J. Parallel Program., 1998

1997

Parallelizing Nested Loops with Approximations of Distance Vectors: A Survey.

Alain Darte, Frédéric Vivien

Parallel Process. Lett., 1997

Combining Retiming and Scheduling Techniques for Loop Parallelization and Loop Tiling.

Alain Darte, Georges-André Silber, Frédéric Vivien

Parallel Process. Lett., 1997

Plugging Anti and Output Dependence Removal Techniques Into Loop Parallelization Algorithm.

Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien

Parallel Comput., 1997

HPFIT: A Set of Integrated Tools for the Parallelization of Applications Using High Performance Fortran. PART I: HPFIT and the TransTOOL Environment.

Thomas Brandes, Serge Chaumette, Marie Christine Counilh, Jean Roman, Alain Darte, Frederic Desprez, J. C. Mignot

Parallel Comput., 1997

On the Optimality of Allen and Kennedy's Algorithm for Parallelism Extraction in Nested Loops.

Alain Darte, Frédéric Vivien

Parallel Algorithms Appl., 1997

Optimal Fine and Medium Grain Parallelism Detection in Polyhedral Reduced Dependence Graphs.

Alain Darte, Frédéric Vivien

Int. J. Parallel Program., 1997

1996

A Characterization of One-to-One Modular Mappings.

Alain Darte, Michèle Dion, Yves Robert

Parallel Process. Lett., 1996

A New Guaranteed Heuristic for the Software Pipelining Problem.

Pierre-Yves Calland, Alain Darte, Yves Robert

Proceedings of the 10th international conference on Supercomputing, 1996

On the Optimality of Allen and Kennedy's Algorithm for Parallel Extraction in Nested Loops.

Alain Darte, Frédéric Vivien

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

1995

Revisiting the Decomposition of Karp, Miller and Winograd.

Alain Darte, Frédéric Vivien

Parallel Process. Lett., 1995

Affine-by-Statement Scheduling of Uniform and Affine Loop Nests over Parametric.

Alain Darte, Yves Robert

J. Parallel Distributed Comput., 1995

Evaluating Array Expressions On Massively Parallel Machines With Communication/ Computation Overlap.

Vincent Bouchitté, Pierre Boulet, Alain Darte, Yves Robert

Int. J. High Perform. Comput. Appl., 1995

1994

Constructive Methods for Scheduling Uniform Loop Nests.

Alain Darte, Yves Robert

IEEE Trans. Parallel Distributed Syst., 1994

On the Alignment Problem.

Alain Darte, Yves Robert

Parallel Process. Lett., 1994

Mapping Uniform Loop Nests Onto Distributed Memory Architectures.

Alain Darte, Yves Robert

Parallel Comput., 1994

(Pen)-ultimate tiling?

Pierre Boulet, Alain Darte, Tanguy Risset, Yves Robert

Integr., 1994

1993

Mapping Uniform Loop Nests onto Distributed Memory Architectures.

Alain Darte

Proceedings of the Parallel Computing: Trends and Applications, 1993

Communication-minimal mapping of uniform loop nests onto distributed memory architectures.

Alain Darte, Yves Robert

Proceedings of the International Conference on Application-Specific Array Processors, 1993

1992

Erratum to: Regular partitioning for synthesizing fixed-size systolic arrays.

Alain Darte

Integr., 1992

Linear scheduling is close to optimality.

Alain Darte, Leonid Khachiyan, Yves Robert

Proceedings of the Application Specific Array Processors, 1992

1991

Linear Scheduling Is Nearly Optimal.

Alain Darte, Leonid Khachiyan, Yves Robert

Parallel Process. Lett., 1991

Regular partitioning for synthesizing fixed-size systolic arrays.

Alain Darte

Integr., 1991

Two heuristics for task scheduling.

Alain Darte

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

Synthesizing systolic arrays: some recent developments.

Alain Darte, Tanguy Risset, Yves Robert

Proceedings of the Application Specific Array Processors, 1991