Alain Darte

Publication Activity (10 Years)

Years Active: 1991-2016
Publications (10 Years): 2

Top Topics

Real Time Image Processing

Computational Complexity

Program Understanding

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Alain Darte, Alexandre Isoard, Tomofumi Yuki
Extended lattice-based memory allocation. CC (2016)
Alain Darte, Alexandre Isoard
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes. CC (2015)
Quentin Colombet, Florian Brandner, Alain Darte
Studying Optimal Spilling in the Light of SSA. ACM Trans. Archit. Code Optim. 11 (4) (2014)
Christophe Alias, Alain Darte, Alexandru Plesco
Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA. DATE (2013)
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
Rank: A Tool to Check Program Termination and Computational Complexity. ICST Workshops (2013)
Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello
SSI Properties Revisited. ACM Trans. Embed. Comput. Syst. 11 (S1) (2012)
Christophe Alias, Alain Darte, Alexandru Plesco
Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA. PPOPP (2012)
Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello
A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. APLAS (2011)
Quentin Colombet, Florian Brandner, Alain Darte
Studying optimal spilling in the light of SSA. CASES (2011)
Florent Bouchez, Quentin Colombet, Alain Darte, Fabrice Rastello, Christophe Guillon
Parallel copy motion. SCOPES (2010)
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. SAS (2010)
Alain Darte
Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd. MEMOCODE (2010)
Christophe Alias, Alain Darte, Alexandru Plesco
Optimizing DDR-SDRAM communications at C-level for automatically-generated hardware accelerators an experience with the Altera C2H HLS tool. ASAP (2010)
Pedro C. Diniz, Ben H. H. Juurlink, Alain Darte, Wolfgang Karl
Introduction. Euro-Par (2009)
Benoit Boissinot, Alain Darte, Fabrice Rastello, Benoît Dupont de Dinechin, Christophe Guillon
Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency. CGO (2009)
Florent Bouchez, Alain Darte, Fabrice Rastello
Advanced conservative and optimistic register coalescing. CASES (2008)
Florent Bouchez, Alain Darte, Fabrice Rastello
On the complexity of spill everywhere under SSA form. LCTES (2007)
Alain Darte, C. Quinson
Scheduling Register-Allocated Codes in User-Guided High-Level Synthesis. ASAP (2007)
Christophe Alias, Fabrice Baray, Alain Darte
Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose. LCTES (2007)
Hadda Cherroun, Alain Darte, Paul Feautrier
. integer linear programming techniques. RAIRO Oper. Res. 41 (4) (2007)
Florent Bouchez, Alain Darte, Fabrice Rastello
On the Complexity of Register Coalescing. CGO (2007)
Florent Bouchez, Alain Darte, Fabrice Rastello
On the Complexity of Spill Everywhere under SSA Form CoRR (2007)
Hadda Cherroun, Alain Darte, Paul Feautrier
Scheduling under resource constraints using dis-equations. DATE (2006)
Florent Bouchez, Alain Darte, Christophe Guillon, Fabrice Rastello
Register Allocation: What Does the NP-Completeness Proof of Chaitin et al. Really Prove? Or Revisiting Register Allocation: Why and How. LCPC (2006)
Alain Darte, Guillaume Huard
New Complexity Results on Array Contraction and Related Problems. J. VLSI Signal Process. 40 (1) (2005)
Alain Darte, Steven Derrien, Tanguy Risset
Hardware/Software Interface for Multi-Dimensional Processor Arrays. ASAP (2005)
Alain Darte, Robert Schreiber, Gilles Villard
Lattice-Based Memory Allocation. IEEE Trans. Computers 54 (10) (2005)
Alain Darte, Robert Schreiber
A linear-time algorithm for optimal barrier placement. PPOPP (2005)
Alain Darte, Robert Schreiber, Gilles Villard
Lattice-based memory allocation. CASES (2003)
Alain Darte, John M. Mellor-Crummey, Robert J. Fowler, Daniel G. Chavarría-Miranda
Generalized multipartitioning of multi-dimensional arrays for parallelizing line-sweep computations. J. Parallel Distributed Comput. 63 (9) (2003)
Alain Darte, Robert Schreiber, B. Ramakrishna Rau, Frédéric Vivien
Constructing and exploiting linear schedules with prescribed parallelism. ACM Trans. Design Autom. Electr. Syst. 7 (1) (2002)
Alain Darte, Guillaume Huard
New Results on Array Contraction. ASAP (2002)
Daniel G. Chavarría-Miranda, Alain Darte, Robert J. Fowler, John M. Mellor-Crummey
Generalized Multipartitioning for Multi-Dimensional Arrays. IPDPS (2002)
Alain Darte, Guillaume Huard
Complexity of Multi-dimensional Loop Alignment. STACS (2002)
Alain Darte, Yves Robert, Frédéric Vivien
Loop Parallelization Algorithms. Compiler Optimizations for Scalable Parallel Systems Languages (2001)
Alain Darte, Robert Schreiber, B. Ramakrishna Rau, Frédéric Vivien
A Constructive Solution to the Juggling Problem in Processor Array Synthesis. IPDPS (2000)
Alain Darte
On the complexity of loop fusion. Parallel Comput. 26 (9) (2000)
Alain Darte, Claude G. Diderich, Marc Gengler, Frédéric Vivien
Scheduling the Computations of a Loop Nest with Respect to a Given Mapping. Euro-Par (2000)
Alain Darte, Georges-André Silber
Temporary Arrays for Distribution of Loops with Control Dependences. Euro-Par (2000)
Alain Darte, Guillaume Huard
Loop Shifting for Loop Compaction. Int. J. Parallel Program. 28 (5) (2000)
Alain Darte
On the Complexity of Loop Fusion. IEEE PACT (1999)
Georges-André Silber, Alain Darte
the NESTOR Library: A Tool for Implementing FORTRAN Source Transformations. HPCN Europe (1999)
Alain Darte, Guillaume Huard
Loop Shifting for Loop Compaction. LCPC (1999)
Pierre-Yves Calland, Alain Darte, Yves Robert
Circuit Retiming Applied to Decomposed Software Pipelining. IEEE Trans. Parallel Distributed Syst. 9 (1) (1998)
Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien
On the Removal of Anti- and Output-Dependences. Int. J. Parallel Program. 26 (2) (1998)
Pierre Boulet, Alain Darte, Georges-André Silber, Frédéric Vivien
Loop Parallelization Algorithms: From Parallelism Extraction to Code Generation. Parallel Comput. 24 (3-4) (1998)
Thomas Brandes, Serge Chaumette, Marie Christine Counilh, Jean Roman, Alain Darte, Frederic Desprez, J. C. Mignot
HPFIT: A Set of Integrated Tools for the Parallelization of Applications Using High Performance Fortran. PART I: HPFIT and the TransTOOL Environment. Parallel Comput. 23 (1-2) (1997)
Alain Darte, Georges-André Silber, Frédéric Vivien
Combining Retiming and Scheduling Techniques for Loop Parallelization and Loop Tiling. Parallel Process. Lett. 7 (4) (1997)
Alain Darte, Frédéric Vivien
On the Optimality of Allen and Kennedy's Algorithm for Parallelism Extraction in Nested Loops. Parallel Algorithms Appl. 12 (1-3) (1997)
Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien
Plugging Anti and Output Dependence Removal Techniques Into Loop Parallelization Algorithm. Parallel Comput. 23 (1-2) (1997)
Alain Darte, Frédéric Vivien
Optimal Fine and Medium Grain Parallelism Detection in Polyhedral Reduced Dependence Graphs. Int. J. Parallel Program. 25 (6) (1997)
Alain Darte, Frédéric Vivien
Parallelizing Nested Loops with Approximations of Distance Vectors: A Survey. Parallel Process. Lett. 7 (2) (1997)
Alain Darte, Frédéric Vivien
Optimal fine and medium grain parallelism detection in polyhedral reduced dependence graphs. IEEE PACT (1996)
Pierre-Yves Calland, Alain Darte, Yves Robert
A New Guaranteed Heuristic for the Software Pipelining Problem. International Conference on Supercomputing (1996)
Alain Darte, Frédéric Vivien
On the Optimality of Allen and Kennedy's Algorithm for Parallel Extraction in Nested Loops. Euro-Par, Vol. I (1996)
Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien
On the Removal of Anti and Output Dependences. ASAP (1996)
Alain Darte, Michèle Dion, Yves Robert
A Characterization of One-to-One Modular Mappings. Parallel Process. Lett. 6 (1) (1996)
Alain Darte, Michèle Dion, Yves Robert
A characterization of one-to-one modular mappings. SPDP (1995)
Vincent Bouchitté, Pierre Boulet, Alain Darte, Yves Robert
Evaluating Array Expressions On Massively Parallel Machines With Communication/ Computation Overlap. Int. J. High Perform. Comput. Appl. 9 (3) (1995)
Alain Darte, Frédéric Vivien
Revisiting the Decomposition of Karp, Miller and Winograd. Parallel Process. Lett. 5 (1995)
Alain Darte, Frédéric Vivien
Revisiting the Decomposition of Karp, Miller and Winograd. ASAP (1995)
Alain Darte, Yves Robert
Affine-by-Statement Scheduling of Uniform and Affine Loop Nests over Parametric. J. Parallel Distributed Comput. 29 (1) (1995)
Pierre Boulet, Alain Darte, Tanguy Risset, Yves Robert
(Pen)-ultimate tiling? Integr. 17 (1) (1994)
Alain Darte, Yves Robert
Constructive Methods for Scheduling Uniform Loop Nests. IEEE Trans. Parallel Distributed Syst. 5 (8) (1994)
Alain Darte, Yves Robert
On the Alignment Problem. Parallel Process. Lett. 4 (1994)
Vincent Bouchitté, Pierre Boulet, Alain Darte, Yves Robert
Evaluating Array Expressions on Massively Parallel Machines with Communication/ Computation Overlap. CONPAR (1994)
Alain Darte, Yves Robert
Mapping Uniform Loop Nests Onto Distributed Memory Architectures. Parallel Comput. 20 (5) (1994)
Alain Darte, Yves Robert
Communication-minimal mapping of uniform loop nests onto distributed memory architectures. ASAP (1993)
Alain Darte
Mapping Uniform Loop Nests onto Distributed Memory Architectures. PARCO (1993)
Alain Darte, Leonid Khachiyan, Yves Robert
Linear scheduling is close to optimality. ASAP (1992)
Alain Darte
Erratum to: Regular partitioning for synthesizing fixed-size systolic arrays. Integr. 13 (1) (1992)
Alain Darte
Two heuristics for task scheduling. Algorithms and Parallel VLSI Architectures (1991)
Alain Darte
Regular partitioning for synthesizing fixed-size systolic arrays. Integr. 12 (3) (1991)
Alain Darte, Leonid Khachiyan, Yves Robert
Linear Scheduling Is Nearly Optimal. Parallel Process. Lett. 1 (1991)
Alain Darte, Tanguy Risset, Yves Robert
Synthesizing systolic arrays: some recent developments. ASAP (1991)