Person: Alain Darte

DBLP: Darte:Alain

Contributed to:

2015

2013

2012

2010

2009

2007

2007

2006

2005

2016

Wrote 11 papers:

CC-2015-DarteI #approximate #optimisation #parametricity

Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes (AD, AI), pp. 151–170.

DATE-2013-AliasDP #kernel #optimisation #synthesis

Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA (CA, AD, AP), pp. 575–580.

PPoPP-2012-AliasDP #kernel #optimisation #synthesis

Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA (CA, AD, AP), pp. 285–286.

SAS-2010-AliasDFG #bound #complexity #multi #ranking #source code #termination

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs (CA, AD, PF, LG), pp. 117–133.

CGO-2009-BoissinotDRDG #correctness #performance #quality

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency (BB, AD, FR, BDdD, CG), pp. 114–125.

CGO-2007-BouchezDR #complexity #on the

On the Complexity of Register Coalescing (FB, AD, FR), pp. 102–114.

LCTES-2007-AliasBD #array #implementation #text-to-text

Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose (CA, FB, AD), pp. 73–82.

LCTES-2007-BouchezDR #complexity #on the

On the complexity of spill everywhere under SSA form (FB, AD, FR), pp. 103–112.

DATE-2006-CherrounDF #constraints #equation #scheduling #using

Scheduling under resource constraints using dis-equations (HC, AD, PF), pp. 1067–1072.

PPoPP-2005-DarteS #algorithm #linear

A linear-time algorithm for optimal barrier placement (AD, RS), pp. 26–35.

CC-2016-DarteIY #memory management

Extended lattice-based memory allocation (AD, AI, TY), pp. 218–228.