| 2016 | CC | Extended lattice-based memory allocation. | Alain Darte, Alexandre Isoard, Tomofumi Yuki |
| 2015 | CC | Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes. | Alain Darte, Alexandre Isoard |
| 2013 | DATE | Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA. | Christophe Alias, Alain Darte, Alexandru Plesco |
| 2013 | ICST | Rank: A Tool to Check Program Termination and Computational Complexity. | Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord |
| 2012 | PPoPP | Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA. | Christophe Alias, Alain Darte, Alexandru Plesco |
| 2011 | APLAS | A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. | Benoit Boissinot, Florian Brandner, Alain Darte, Benot Dupont de Dinechin, Fabrice Rastello |
| 2011 | CASES | Studying optimal spilling in the light of SSA. | Quentin Colombet, Florian Brandner, Alain Darte |
| 2010 | MEMOCODE | Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd. | Alain Darte |
| 2010 | SAS | Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. | Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord |
| 2010 | SCOPES | Parallel copy motion. | Florent Bouchez, Quentin Colombet, Alain Darte, Fabrice Rastello, Christophe Guillon |
| 2009 | CGO | Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency. | Benoit Boissinot, Alain Darte, Fabrice Rastello, Benot Dupont de Dinechin, Christophe Guillon |
| 2009 | EuroPar | Introduction. | Pedro C. Diniz, Ben H. H. Juurlink, Alain Darte, Wolfgang Karl |
| 2008 | CASES | Advanced conservative and optimistic register coalescing. | Florent Bouchez, Alain Darte, Fabrice Rastello |
| 2007 | CGO | On the Complexity of Register Coalescing. | Florent Bouchez, Alain Darte, Fabrice Rastello |
| 2006 | DATE | Scheduling under resource constraints using dis-equations. | Hadda Cherroun, Alain Darte, Paul Feautrier |
| 2005 | PPoPP | A linear-time algorithm for optimal barrier placement. | Alain Darte, Robert Schreiber |
| 2003 | CASES | Lattice-based memory allocation. | Alain Darte, Robert Schreiber, Gilles Villard |
| 2002 | STACS | Complexity of Multi-dimensional Loop Alignment. | Alain Darte, Guillaume Huard |
| 2000 | EuroPar | Scheduling the Computations of a Loop Nest with Respect to a Given Mapping. | Alain Darte, Claude G. Diderich, Marc Gengler, Frdric Vivien |
| 2000 | EuroPar | Temporary Arrays for Distribution of Loops with Control Dependences. | Alain Darte, Georges-Andr Silber |
| 1996 | EuroPar | On the Optimality of Allen and Kennedy's Algorithm for Parallel Extraction in Nested Loops. | Alain Darte, Frdric Vivien |
| 1996 | ICS | A New Guaranteed Heuristic for the Software Pipelining Problem. | Pierre-Yves Calland, Alain Darte, Yves Robert |
| 1991 | CCC | Two heuristics for task scheduling. | Alain Darte |