BibTeX records: Alain Darte

download as .bib file

@inproceedings{DBLP:conf/cc/DarteIY16,
  author       = {Alain Darte and
                  Alexandre Isoard and
                  Tomofumi Yuki},
  editor       = {Ayal Zaks and
                  Manuel V. Hermenegildo},
  title        = {Extended lattice-based memory allocation},
  booktitle    = {Proceedings of the 25th International Conference on Compiler Construction,
                  {CC} 2016, Barcelona, Spain, March 12-18, 2016},
  pages        = {218--228},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2892208.2892213},
  doi          = {10.1145/2892208.2892213},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cc/DarteIY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/DarteI15,
  author       = {Alain Darte and
                  Alexandre Isoard},
  editor       = {Bj{\"{o}}rn Franke},
  title        = {Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric
                  Sizes},
  booktitle    = {Compiler Construction - 24th International Conference, {CC} 2015,
                  Held as Part of the European Joint Conferences on Theory and Practice
                  of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9031},
  pages        = {151--170},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46663-6\_8},
  doi          = {10.1007/978-3-662-46663-6\_8},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/DarteI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/ColombetBD14,
  author       = {Quentin Colombet and
                  Florian Brandner and
                  Alain Darte},
  title        = {Studying Optimal Spilling in the Light of {SSA}},
  journal      = {{ACM} Trans. Archit. Code Optim.},
  volume       = {11},
  number       = {4},
  pages        = {47:1--47:26},
  year         = {2014},
  url          = {https://doi.org/10.1145/2685392},
  doi          = {10.1145/2685392},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/taco/ColombetBD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AliasDP13,
  author       = {Christophe Alias and
                  Alain Darte and
                  Alexandru Plesco},
  editor       = {Enrico Macii},
  title        = {Optimizing remote accesses for offloaded kernels: application to high-level
                  synthesis for {FPGA}},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
                  March 18-22, 2013},
  pages        = {575--580},
  publisher    = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year         = {2013},
  url          = {https://doi.org/10.7873/DATE.2013.127},
  doi          = {10.7873/DATE.2013.127},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/AliasDP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AliasDFG13,
  author       = {Christophe Alias and
                  Alain Darte and
                  Paul Feautrier and
                  Laure Gonnord},
  title        = {Rank: {A} Tool to Check Program Termination and Computational Complexity},
  booktitle    = {Sixth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
                  March 18-22, 2013},
  pages        = {238},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICSTW.2013.75},
  doi          = {10.1109/ICSTW.2013.75},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AliasDFG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BoissinotBDR12,
  author       = {Benoit Boissinot and
                  Philip Brisk and
                  Alain Darte and
                  Fabrice Rastello},
  title        = {{SSI} Properties Revisited},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {11},
  number       = {{S1}},
  pages        = {21},
  year         = {2012},
  url          = {https://doi.org/10.1145/2180887.2180898},
  doi          = {10.1145/2180887.2180898},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/BoissinotBDR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/AliasDP12,
  author       = {Christophe Alias and
                  Alain Darte and
                  Alexandru Plesco},
  editor       = {J. Ramanujam and
                  P. Sadayappan},
  title        = {Optimizing remote accesses for offloaded kernels: application to high-level
                  synthesis for {FPGA}},
  booktitle    = {Proceedings of the 17th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, {PPOPP} 2012, New Orleans, LA, USA,
                  February 25-29, 2012},
  pages        = {285--286},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2145816.2145856},
  doi          = {10.1145/2145816.2145856},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/AliasDP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BoissinotBDDR11,
  author       = {Benoit Boissinot and
                  Florian Brandner and
                  Alain Darte and
                  Beno{\^{\i}}t Dupont de Dinechin and
                  Fabrice Rastello},
  editor       = {Hongseok Yang},
  title        = {A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in
                  Strict {SSA} Programs},
  booktitle    = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
                  Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7078},
  pages        = {137--154},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25318-8\_13},
  doi          = {10.1007/978-3-642-25318-8\_13},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/BoissinotBDDR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/ColombetBD11,
  author       = {Quentin Colombet and
                  Florian Brandner and
                  Alain Darte},
  editor       = {Rajesh K. Gupta and
                  Vincent John Mooney},
  title        = {Studying optimal spilling in the light of {SSA}},
  booktitle    = {Proceedings of the 14th International Conference on Compilers, Architecture,
                  and Synthesis for Embedded Systems, {CASES} 2011, part of the Seventh
                  Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14,
                  2011},
  pages        = {25--34},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2038698.2038706},
  doi          = {10.1145/2038698.2038706},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cases/ColombetBD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/Darte11,
  author       = {Alain Darte},
  editor       = {David A. Padua},
  title        = {Parallelism Detection in Nested Loops, Optimal},
  booktitle    = {Encyclopedia of Parallel Computing},
  pages        = {1429--1442},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-0-387-09766-4\_519},
  doi          = {10.1007/978-0-387-09766-4\_519},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/parallel/Darte11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/AliasDP10,
  author       = {Christophe Alias and
                  Alain Darte and
                  Alexandru Plesco},
  editor       = {Fran{\c{c}}ois Charot and
                  Frank Hannig and
                  J{\"{u}}rgen Teich and
                  Christophe Wolinski},
  title        = {Optimizing {DDR-SDRAM} communications at C-level for automatically-generated
                  hardware accelerators an experience with the Altera {C2H} {HLS} tool},
  booktitle    = {21st {IEEE} International Conference on Application-specific Systems
                  Architectures and Processors, {ASAP} 2010, Rennes, France, 7-9 July
                  2010},
  pages        = {329--332},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ASAP.2010.5540967},
  doi          = {10.1109/ASAP.2010.5540967},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/AliasDP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Darte10,
  author       = {Alain Darte},
  title        = {Understanding loops: The influence of the decomposition of Karp, Miller,
                  and Winograd},
  booktitle    = {8th {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
  pages        = {139--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/MEMCOD.2010.5558638},
  doi          = {10.1109/MEMCOD.2010.5558638},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/Darte10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AliasDFG10,
  author       = {Christophe Alias and
                  Alain Darte and
                  Paul Feautrier and
                  Laure Gonnord},
  editor       = {Radhia Cousot and
                  Matthieu Martel},
  title        = {Multi-dimensional Rankings, Program Termination, and Complexity Bounds
                  of Flowchart Programs},
  booktitle    = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
                  France, September 14-16, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6337},
  pages        = {117--133},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15769-1\_8},
  doi          = {10.1007/978-3-642-15769-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/AliasDFG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/BouchezCDRG10,
  author       = {Florent Bouchez and
                  Quentin Colombet and
                  Alain Darte and
                  Fabrice Rastello and
                  Christophe Guillon},
  editor       = {Ed F. Deprettere and
                  Todor P. Stefanov},
  title        = {Parallel copy motion},
  booktitle    = {13th International Workshop on Software and Compilers for Embedded
                  Systems, {SCOPES} '10, St. Goar, Germany, June 29-30, 2010},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1811212.1811214},
  doi          = {10.1145/1811212.1811214},
  timestamp    = {Fri, 03 May 2019 12:48:52 +0200},
  biburl       = {https://dblp.org/rec/conf/scopes/BouchezCDRG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/BoissinotDRDG09,
  author       = {Benoit Boissinot and
                  Alain Darte and
                  Fabrice Rastello and
                  Beno{\^{\i}}t Dupont de Dinechin and
                  Christophe Guillon},
  title        = {Revisiting Out-of-SSA Translation for Correctness, Code Quality and
                  Efficiency},
  booktitle    = {Proceedings of the {CGO} 2009, The Seventh International Symposium
                  on Code Generation and Optimization, Seattle, Washington, USA, March
                  22-25, 2009},
  pages        = {114--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/CGO.2009.19},
  doi          = {10.1109/CGO.2009.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cgo/BoissinotDRDG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DinizJDK09,
  author       = {Pedro C. Diniz and
                  Ben H. H. Juurlink and
                  Alain Darte and
                  Wolfgang Karl},
  editor       = {Henk J. Sips and
                  Dick H. J. Epema and
                  Hai{-}Xiang Lin},
  title        = {Introduction},
  booktitle    = {Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference,
                  Delft, The Netherlands, August 25-28, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5704},
  pages        = {295--296},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03869-3\_29},
  doi          = {10.1007/978-3-642-03869-3\_29},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/DinizJDK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/BouchezDR08,
  author       = {Florent Bouchez and
                  Alain Darte and
                  Fabrice Rastello},
  editor       = {Erik R. Altman},
  title        = {Advanced conservative and optimistic register coalescing},
  booktitle    = {Proceedings of the 2008 International Conference on Compilers, Architecture,
                  and Synthesis for Embedded Systems, {CASES} 2008, Atlanta, GA, USA,
                  October 19-24, 2008},
  pages        = {147--156},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1450095.1450119},
  doi          = {10.1145/1450095.1450119},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cases/BouchezDR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/CherrounDF07,
  author       = {Hadda Cherroun and
                  Alain Darte and
                  Paul Feautrier},
  title        = {Reservation table scheduling: branch-and-bound based optimization
                  \emph{vs}. integer linear programming techniques},
  journal      = {{RAIRO} Oper. Res.},
  volume       = {41},
  number       = {4},
  pages        = {427--454},
  year         = {2007},
  url          = {https://doi.org/10.1051/ro:2007036},
  doi          = {10.1051/RO:2007036},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rairo/CherrounDF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/DarteQ07,
  author       = {Alain Darte and
                  C. Quinson},
  title        = {Scheduling Register-Allocated Codes in User-Guided High-Level Synthesis},
  booktitle    = {{IEEE} International Conference on Application-Specific Systems, Architectures
                  and Processors, {ASAP} 2007, Montr{\'{e}}al, Qu{\'{e}}bec,
                  Canada, July 8-11, 2007},
  pages        = {140--147},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ASAP.2007.4429971},
  doi          = {10.1109/ASAP.2007.4429971},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/DarteQ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/BouchezDR07,
  author       = {Florent Bouchez and
                  Alain Darte and
                  Fabrice Rastello},
  title        = {On the Complexity of Register Coalescing},
  booktitle    = {Fifth International Symposium on Code Generation and Optimization
                  {(CGO} 2007), 11-14 March 2007, San Jose, California, {USA}},
  pages        = {102--114},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/CGO.2007.26},
  doi          = {10.1109/CGO.2007.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cgo/BouchezDR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/AliasBD07,
  author       = {Christophe Alias and
                  Fabrice Baray and
                  Alain Darte},
  editor       = {Santosh Pande and
                  Zhiyuan Li},
  title        = {Bee+Cl@k: an implementation of lattice-based array contraction in
                  the source-to-source translator rose},
  booktitle    = {Proceedings of the 2007 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
                  Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California,
                  USA, June 13-15, 2007},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1254766.1254778},
  doi          = {10.1145/1254766.1254778},
  timestamp    = {Sun, 02 Oct 2022 16:11:14 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/AliasBD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/BouchezDR07,
  author       = {Florent Bouchez and
                  Alain Darte and
                  Fabrice Rastello},
  editor       = {Santosh Pande and
                  Zhiyuan Li},
  title        = {On the complexity of spill everywhere under {SSA} form},
  booktitle    = {Proceedings of the 2007 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
                  Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California,
                  USA, June 13-15, 2007},
  pages        = {103--112},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1254766.1254782},
  doi          = {10.1145/1254766.1254782},
  timestamp    = {Sat, 31 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/BouchezDR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-3642,
  author       = {Florent Bouchez and
                  Alain Darte and
                  Fabrice Rastello},
  title        = {On the Complexity of Spill Everywhere under {SSA} Form},
  journal      = {CoRR},
  volume       = {abs/0710.3642},
  year         = {2007},
  url          = {http://arxiv.org/abs/0710.3642},
  eprinttype    = {arXiv},
  eprint       = {0710.3642},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0710-3642.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CherrounDF06,
  author       = {Hadda Cherroun and
                  Alain Darte and
                  Paul Feautrier},
  editor       = {Georges G. E. Gielen},
  title        = {Scheduling under resource constraints using dis-equations},
  booktitle    = {Proceedings of the Conference on Design, Automation and Test in Europe,
                  {DATE} 2006, Munich, Germany, March 6-10, 2006},
  pages        = {1067--1072},
  publisher    = {European Design and Automation Association, Leuven, Belgium},
  year         = {2006},
  url          = {https://doi.org/10.1109/DATE.2006.243957},
  doi          = {10.1109/DATE.2006.243957},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/CherrounDF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/BouchezDGR06,
  author       = {Florent Bouchez and
                  Alain Darte and
                  Christophe Guillon and
                  Fabrice Rastello},
  editor       = {George Alm{\'{a}}si and
                  Calin Cascaval and
                  Peng Wu},
  title        = {Register Allocation: What Does the NP-Completeness Proof of Chaitin
                  et al. Really Prove? Or Revisiting Register Allocation: Why and How},
  booktitle    = {Languages and Compilers for Parallel Computing, 19th International
                  Workshop, {LCPC} 2006, New Orleans, LA, USA, November 2-4, 2006. Revised
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4382},
  pages        = {283--298},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-72521-3\_21},
  doi          = {10.1007/978-3-540-72521-3\_21},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/BouchezDGR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/DarteSV05,
  author       = {Alain Darte and
                  Robert Schreiber and
                  Gilles Villard},
  title        = {Lattice-Based Memory Allocation},
  journal      = {{IEEE} Trans. Computers},
  volume       = {54},
  number       = {10},
  pages        = {1242--1257},
  year         = {2005},
  url          = {https://doi.org/10.1109/TC.2005.167},
  doi          = {10.1109/TC.2005.167},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/DarteSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/DarteH05,
  author       = {Alain Darte and
                  Guillaume Huard},
  title        = {New Complexity Results on Array Contraction and Related Problems},
  journal      = {J. {VLSI} Signal Process.},
  volume       = {40},
  number       = {1},
  pages        = {35--55},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11265-005-4937-3},
  doi          = {10.1007/S11265-005-4937-3},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vlsisp/DarteH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/DarteDR05,
  author       = {Alain Darte and
                  Steven Derrien and
                  Tanguy Risset},
  title        = {Hardware/Software Interface for Multi-Dimensional Processor Arrays},
  booktitle    = {16th {IEEE} International Conference on Application-Specific Systems,
                  Architectures, and Processors {(ASAP} 2005), 23-25 July 2005, Samos,
                  Greece},
  pages        = {28--35},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ASAP.2005.38},
  doi          = {10.1109/ASAP.2005.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/DarteDR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/DarteS05,
  author       = {Alain Darte and
                  Robert Schreiber},
  editor       = {Keshav Pingali and
                  Katherine A. Yelick and
                  Andrew S. Grimshaw},
  title        = {A linear-time algorithm for optimal barrier placement},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Symposium on Principles and Practice
                  of Parallel Programming, {PPOPP} 2005, June 15-17, 2005, Chicago,
                  IL, {USA}},
  pages        = {26--35},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1065944.1065949},
  doi          = {10.1145/1065944.1065949},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/DarteS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/DarteMFC03,
  author       = {Alain Darte and
                  John M. Mellor{-}Crummey and
                  Robert J. Fowler and
                  Daniel G. Chavarr{\'{\i}}a{-}Miranda},
  title        = {Generalized multipartitioning of multi-dimensional arrays for parallelizing
                  line-sweep computations},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {63},
  number       = {9},
  pages        = {887--911},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0743-7315(03)00103-5},
  doi          = {10.1016/S0743-7315(03)00103-5},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jpdc/DarteMFC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/DarteSV03,
  author       = {Alain Darte and
                  Robert Schreiber and
                  Gilles Villard},
  editor       = {Jaime H. Moreno and
                  Praveen K. Murthy and
                  Thomas M. Conte and
                  Paolo Faraboschi},
  title        = {Lattice-based memory allocation},
  booktitle    = {Proceedings of the International Conference on Compilers, Architectures
                  and Synthesis for Embedded Systems, {CASES} 2003, San Jose, California,
                  USA, October 30 - November 1, 2003},
  pages        = {298--308},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/951710.951749},
  doi          = {10.1145/951710.951749},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cases/DarteSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/DarteSRV02,
  author       = {Alain Darte and
                  Robert Schreiber and
                  B. Ramakrishna Rau and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {Constructing and exploiting linear schedules with prescribed parallelism},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {7},
  number       = {1},
  pages        = {159--172},
  year         = {2002},
  url          = {https://doi.org/10.1145/504914.504921},
  doi          = {10.1145/504914.504921},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/todaes/DarteSRV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/DarteH02,
  author       = {Alain Darte and
                  Guillaume Huard},
  title        = {New Results on Array Contraction},
  booktitle    = {13th {IEEE} International Conference on Application-Specific Systems,
                  Architectures, and Processors {(ASAP} 2002), 17-19 July 2002, San
                  Jose, CA, {USA}},
  pages        = {359--370},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ASAP.2002.1030735},
  doi          = {10.1109/ASAP.2002.1030735},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/DarteH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Chavarria-MirandaDFM02,
  author       = {Daniel G. Chavarr{\'{\i}}a{-}Miranda and
                  Alain Darte and
                  Robert J. Fowler and
                  John M. Mellor{-}Crummey},
  title        = {Generalized Multipartitioning for Multi-Dimensional Arrays},
  booktitle    = {16th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
                  Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/IPDPS.2002.1015501},
  doi          = {10.1109/IPDPS.2002.1015501},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ipps/Chavarria-MirandaDFM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DarteH02,
  author       = {Alain Darte and
                  Guillaume Huard},
  editor       = {Helmut Alt and
                  Afonso Ferreira},
  title        = {Complexity of Multi-dimensional Loop Alignment},
  booktitle    = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
                  Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2285},
  pages        = {179--191},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45841-7\_14},
  doi          = {10.1007/3-540-45841-7\_14},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/DarteH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cosps/DarteRV01,
  author       = {Alain Darte and
                  Yves Robert and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  editor       = {Santosh Pande and
                  Dharma P. Agrawal},
  title        = {Loop Parallelization Algorithms},
  booktitle    = {Compiler Optimizations for Scalable Parallel Systems Languages, Compilation
                  Techniques, and Run Time Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1808},
  pages        = {141--172},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45403-9\_5},
  doi          = {10.1007/3-540-45403-9\_5},
  timestamp    = {Sun, 02 Oct 2022 15:58:02 +0200},
  biburl       = {https://dblp.org/rec/conf/cosps/DarteRV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0002251,
  author       = {Alain Darte and
                  Yves Robert and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {Scheduling and automatic parallelization},
  publisher    = {Birkh{\"{a}}user},
  year         = {2000},
  isbn         = {978-3-7643-4149-7},
  timestamp    = {Tue, 12 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0002251.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/DarteH00,
  author       = {Alain Darte and
                  Guillaume Huard},
  title        = {Loop Shifting for Loop Compaction},
  journal      = {Int. J. Parallel Program.},
  volume       = {28},
  number       = {5},
  pages        = {499--534},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1007506711786},
  doi          = {10.1023/A:1007506711786},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/DarteH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/Darte00,
  author       = {Alain Darte},
  title        = {On the complexity of loop fusion},
  journal      = {Parallel Comput.},
  volume       = {26},
  number       = {9},
  pages        = {1175--1193},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0167-8191(00)00034-X},
  doi          = {10.1016/S0167-8191(00)00034-X},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/Darte00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DarteS00,
  author       = {Alain Darte and
                  Georges{-}Andr{\'{e}} Silber},
  editor       = {Arndt Bode and
                  Thomas Ludwig and
                  Wolfgang Karl and
                  Roland Wism{\"{u}}ller},
  title        = {Temporary Arrays for Distribution of Loops with Control Dependences},
  booktitle    = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference,
                  Munich, Germany, August 29 - September 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1900},
  pages        = {357--367},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44520-X\_47},
  doi          = {10.1007/3-540-44520-X\_47},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/DarteS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DarteDGV00,
  author       = {Alain Darte and
                  Claude G. Diderich and
                  Marc Gengler and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  editor       = {Arndt Bode and
                  Thomas Ludwig and
                  Wolfgang Karl and
                  Roland Wism{\"{u}}ller},
  title        = {Scheduling the Computations of a Loop Nest with Respect to a Given
                  Mapping},
  booktitle    = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference,
                  Munich, Germany, August 29 - September 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1900},
  pages        = {405--414},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44520-X\_52},
  doi          = {10.1007/3-540-44520-X\_52},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/DarteDGV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/DarteSRV00,
  author       = {Alain Darte and
                  Robert Schreiber and
                  B. Ramakrishna Rau and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {A Constructive Solution to the Juggling Problem in Processor Array
                  Synthesis},
  booktitle    = {Proceedings of the 14th International Parallel {\&} Distributed
                  Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000},
  pages        = {815--822},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/IPDPS.2000.846069},
  doi          = {10.1109/IPDPS.2000.846069},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/DarteSRV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/Darte99,
  author       = {Alain Darte},
  title        = {On the Complexity of Loop Fusion},
  booktitle    = {Proceedings of the 1999 International Conference on Parallel Architectures
                  and Compilation Techniques, Newport Beach, California, USA, October
                  12-16, 1999},
  pages        = {149--157},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/PACT.1999.807510},
  doi          = {10.1109/PACT.1999.807510},
  timestamp    = {Mon, 30 May 2022 14:39:02 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/Darte99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/SilberD99,
  author       = {Georges{-}Andr{\'{e}} Silber and
                  Alain Darte},
  editor       = {Peter M. A. Sloot and
                  Marian Bubak and
                  Alfons G. Hoekstra and
                  Louis O. Hertzberger},
  title        = {the {NESTOR} Library: {A} Tool for Implementing {FORTRAN} Source Transformations},
  booktitle    = {High-Performance Computing and Networking, 7th International Conference,
                  {HPCN} Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1593},
  pages        = {653--662},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/BFb0100626},
  doi          = {10.1007/BFB0100626},
  timestamp    = {Sun, 12 Nov 2023 02:09:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpcn/SilberD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/DarteH99,
  author       = {Alain Darte and
                  Guillaume Huard},
  editor       = {Larry Carter and
                  Jeanne Ferrante},
  title        = {Loop Shifting for Loop Compaction},
  booktitle    = {Languages and Compilers for Parallel Computing, 12th International
                  Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1863},
  pages        = {415--431},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44905-1\_26},
  doi          = {10.1007/3-540-44905-1\_26},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/DarteH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/CallandDRV98,
  author       = {Pierre{-}Yves Calland and
                  Alain Darte and
                  Yves Robert and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {On the Removal of Anti- and Output-Dependences},
  journal      = {Int. J. Parallel Program.},
  volume       = {26},
  number       = {2},
  pages        = {285--312},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1018790129478},
  doi          = {10.1023/A:1018790129478},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijpp/CallandDRV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/BouletDSV98,
  author       = {Pierre Boulet and
                  Alain Darte and
                  Georges{-}Andr{\'{e}} Silber and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {Loop Parallelization Algorithms: From Parallelism Extraction to Code
                  Generation},
  journal      = {Parallel Comput.},
  volume       = {24},
  number       = {3-4},
  pages        = {421--444},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-8191(98)00020-9},
  doi          = {10.1016/S0167-8191(98)00020-9},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/BouletDSV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/CallandDR98,
  author       = {Pierre{-}Yves Calland and
                  Alain Darte and
                  Yves Robert},
  title        = {Circuit Retiming Applied to Decomposed Software Pipelining},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {9},
  number       = {1},
  pages        = {24--35},
  year         = {1998},
  url          = {https://doi.org/10.1109/71.655240},
  doi          = {10.1109/71.655240},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/CallandDR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/DarteV97,
  author       = {Alain Darte and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {Optimal Fine and Medium Grain Parallelism Detection in Polyhedral
                  Reduced Dependence Graphs},
  journal      = {Int. J. Parallel Program.},
  volume       = {25},
  number       = {6},
  pages        = {447--496},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1025168022993},
  doi          = {10.1023/A:1025168022993},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/DarteV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/paapp/DarteV97,
  author       = {Alain Darte and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {On the Optimality of Allen and Kennedy's Algorithm for Parallelism
                  Extraction in Nested Loops},
  journal      = {Parallel Algorithms Appl.},
  volume       = {12},
  number       = {1-3},
  pages        = {83--112},
  year         = {1997},
  url          = {https://doi.org/10.1080/01495739708941417},
  doi          = {10.1080/01495739708941417},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/paapp/DarteV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/BrandesCCRDDM97,
  author       = {Thomas Brandes and
                  Serge Chaumette and
                  Marie Christine Counilh and
                  Jean Roman and
                  Alain Darte and
                  Frederic Desprez and
                  J. C. Mignot},
  title        = {{HPFIT:} {A} Set of Integrated Tools for the Parallelization of Applications
                  Using High Performance Fortran. {PART} {I:} {HPFIT} and the TransTOOL
                  Environment},
  journal      = {Parallel Comput.},
  volume       = {23},
  number       = {1-2},
  pages        = {71--87},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0167-8191(96)00097-X},
  doi          = {10.1016/S0167-8191(96)00097-X},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/BrandesCCRDDM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/CallandDRV97,
  author       = {Pierre{-}Yves Calland and
                  Alain Darte and
                  Yves Robert and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {Plugging Anti and Output Dependence Removal Techniques Into Loop Parallelization
                  Algorithm},
  journal      = {Parallel Comput.},
  volume       = {23},
  number       = {1-2},
  pages        = {251--266},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0167-8191(96)00108-1},
  doi          = {10.1016/S0167-8191(96)00108-1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/CallandDRV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/DarteV97,
  author       = {Alain Darte and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {Parallelizing Nested Loops with Approximations of Distance Vectors:
                  {A} Survey},
  journal      = {Parallel Process. Lett.},
  volume       = {7},
  number       = {2},
  pages        = {133--144},
  year         = {1997},
  url          = {https://doi.org/10.1142/S0129626497000152},
  doi          = {10.1142/S0129626497000152},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/DarteV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/DarteSV97,
  author       = {Alain Darte and
                  Georges{-}Andr{\'{e}} Silber and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {Combining Retiming and Scheduling Techniques for Loop Parallelization
                  and Loop Tiling},
  journal      = {Parallel Process. Lett.},
  volume       = {7},
  number       = {4},
  pages        = {379--392},
  year         = {1997},
  url          = {https://doi.org/10.1142/S0129626497000383},
  doi          = {10.1142/S0129626497000383},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/DarteSV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/DarteDR96,
  author       = {Alain Darte and
                  Mich{\`{e}}le Dion and
                  Yves Robert},
  title        = {A Characterization of One-to-One Modular Mappings},
  journal      = {Parallel Process. Lett.},
  volume       = {6},
  number       = {1},
  pages        = {145--157},
  year         = {1996},
  url          = {https://doi.org/10.1142/S0129626496000157},
  doi          = {10.1142/S0129626496000157},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/DarteDR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/DarteV96,
  author       = {Alain Darte and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {Optimal fine and medium grain parallelism detection in polyhedral
                  reduced dependence graphs},
  booktitle    = {Proceedings of the Fifth International Conference on Parallel Architectures
                  and Compilation Techniques, PACT'96, Boston, MA, USA, October 20-23,
                  1996},
  pages        = {281--291},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/PACT.1996.552676},
  doi          = {10.1109/PACT.1996.552676},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/DarteV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/CallandDRV96,
  author       = {Pierre{-}Yves Calland and
                  Alain Darte and
                  Yves Robert and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {On the Removal of Anti and Output Dependences},
  booktitle    = {1996 International Conference on Application-Specific Systems, Architectures,
                  and Processors {(ASAP} '96), August 19-23, 1996, Chicago, {IL} , {USA}},
  pages        = {353--364},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ASAP.1996.542829},
  doi          = {10.1109/ASAP.1996.542829},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/CallandDRV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DarteV96,
  author       = {Alain Darte and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  editor       = {Luc Boug{\'{e}} and
                  Pierre Fraigniaud and
                  Anne Mignotte and
                  Yves Robert},
  title        = {On the Optimality of Allen and Kennedy's Algorithm for Parallel Extraction
                  in Nested Loops},
  booktitle    = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
                  Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1123},
  pages        = {379--388},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61626-8\_50},
  doi          = {10.1007/3-540-61626-8\_50},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/DarteV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/CallandDR96,
  author       = {Pierre{-}Yves Calland and
                  Alain Darte and
                  Yves Robert},
  editor       = {Pen{-}Chung Yew},
  title        = {A New Guaranteed Heuristic for the Software Pipelining Problem},
  booktitle    = {Proceedings of the 10th international conference on Supercomputing,
                  {ICS} 1996, Philadelphia, PA, USA, May 25-28, 1996},
  pages        = {261--269},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/237578.237613},
  doi          = {10.1145/237578.237613},
  timestamp    = {Tue, 06 Nov 2018 11:07:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/CallandDR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/1996dppm,
  editor       = {Guy{-}Ren{\'{e}} Perrin and
                  Alain Darte},
  title        = {The Data Parallel Programming Model: Foundations, {HPF} Realization,
                  and Scientific Applications},
  series       = {Lecture Notes in Computer Science},
  volume       = {1132},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61736-1},
  doi          = {10.1007/3-540-61736-1},
  isbn         = {3-540-61736-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/1996dppm.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhpca/BouchitteBDR95,
  author       = {Vincent Bouchitt{\'{e}} and
                  Pierre Boulet and
                  Alain Darte and
                  Yves Robert},
  title        = {Evaluating Array Expressions On Massively Parallel Machines With Communication/
                  Computation Overlap},
  journal      = {Int. J. High Perform. Comput. Appl.},
  volume       = {9},
  number       = {3},
  pages        = {205--219},
  year         = {1995},
  url          = {https://doi.org/10.1177/109434209500900303},
  doi          = {10.1177/109434209500900303},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijhpca/BouchitteBDR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/DarteR95,
  author       = {Alain Darte and
                  Yves Robert},
  title        = {Affine-by-Statement Scheduling of Uniform and Affine Loop Nests over
                  Parametric},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {29},
  number       = {1},
  pages        = {43--59},
  year         = {1995},
  url          = {https://doi.org/10.1006/jpdc.1995.1105},
  doi          = {10.1006/JPDC.1995.1105},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/DarteR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/DarteV95,
  author       = {Alain Darte and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {Revisiting the Decomposition of Karp, Miller and Winograd},
  journal      = {Parallel Process. Lett.},
  volume       = {5},
  pages        = {551--562},
  year         = {1995},
  url          = {https://doi.org/10.1142/S0129626495000497},
  doi          = {10.1142/S0129626495000497},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/DarteV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/DarteV95,
  author       = {Alain Darte and
                  Fr{\'{e}}d{\'{e}}ric Vivien},
  title        = {Revisiting the Decomposition of Karp, Miller and Winograd},
  booktitle    = {The International Conference on Application Specific Array Processors
                  (ASAP'95), July 24-26, 1995, Strasbourg, France},
  pages        = {13--25},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ASAP.1995.522901},
  doi          = {10.1109/ASAP.1995.522901},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/DarteV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/DarteDR95,
  author       = {Alain Darte and
                  Mich{\`{e}}le Dion and
                  Yves Robert},
  title        = {A characterization of one-to-one modular mappings},
  booktitle    = {Proceedings of the Seventh {IEEE} Symposium on Parallel and Distributed
                  Processing, {SPDP} 1995, San Antonio, Texas , USA, October 25-28,
                  1995},
  pages        = {382--389},
  publisher    = {{IEEE}},
  year         = {1995},
  url          = {https://doi.org/10.1109/SPDP.1995.530709},
  doi          = {10.1109/SPDP.1995.530709},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spdp/DarteDR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/BouletDRR94,
  author       = {Pierre Boulet and
                  Alain Darte and
                  Tanguy Risset and
                  Yves Robert},
  title        = {(Pen)-ultimate tiling?},
  journal      = {Integr.},
  volume       = {17},
  number       = {1},
  pages        = {33--51},
  year         = {1994},
  url          = {https://doi.org/10.1016/0167-9260(94)90019-1},
  doi          = {10.1016/0167-9260(94)90019-1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/integration/BouletDRR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/DarteR94,
  author       = {Alain Darte and
                  Yves Robert},
  title        = {Mapping Uniform Loop Nests Onto Distributed Memory Architectures},
  journal      = {Parallel Comput.},
  volume       = {20},
  number       = {5},
  pages        = {679--710},
  year         = {1994},
  url          = {https://doi.org/10.1016/0167-8191(94)90001-9},
  doi          = {10.1016/0167-8191(94)90001-9},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/DarteR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/DarteR94,
  author       = {Alain Darte and
                  Yves Robert},
  title        = {On the Alignment Problem},
  journal      = {Parallel Process. Lett.},
  volume       = {4},
  pages        = {259--270},
  year         = {1994},
  url          = {https://doi.org/10.1142/S0129626494000259},
  doi          = {10.1142/S0129626494000259},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/DarteR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/DarteR94,
  author       = {Alain Darte and
                  Yves Robert},
  title        = {Constructive Methods for Scheduling Uniform Loop Nests},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {5},
  number       = {8},
  pages        = {814--822},
  year         = {1994},
  url          = {https://doi.org/10.1109/71.298207},
  doi          = {10.1109/71.298207},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/DarteR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/BouchitteBDR94,
  author       = {Vincent Bouchitt{\'{e}} and
                  Pierre Boulet and
                  Alain Darte and
                  Yves Robert},
  editor       = {Bruno Buchberger and
                  Jens Volkert},
  title        = {Evaluating Array Expressions on Massively Parallel Machines with Communication/
                  Computation Overlap},
  booktitle    = {Parallel Processing: {CONPAR} 94 - {VAPP} VI, Third Joint International
                  Conference on Vector and Parallel Processing, Linz, Austria, September
                  6-8, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {854},
  pages        = {713--724},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58430-7\_62},
  doi          = {10.1007/3-540-58430-7\_62},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/conpar/BouchitteBDR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/DarteR93,
  author       = {Alain Darte and
                  Yves Robert},
  title        = {Communication-minimal mapping of uniform loop nests onto distributed
                  memory architectures},
  booktitle    = {International Conference on Application-Specific Array Processors,
                  {ASAP} 1993, Proceedings, Venice, Italy, 25-27 October, 1993},
  pages        = {1--14},
  publisher    = {{IEEE}},
  year         = {1993},
  url          = {https://doi.org/10.1109/ASAP.1993.397116},
  doi          = {10.1109/ASAP.1993.397116},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/DarteR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/Darte93,
  author       = {Alain Darte},
  editor       = {Gerhard R. Joubert and
                  Denis Trystram and
                  Frans J. Peters and
                  David J. Evans},
  title        = {Mapping Uniform Loop Nests onto Distributed Memory Architectures},
  booktitle    = {Parallel Computing: Trends and Applications, {PARCO} 1993, Grenoble,
                  France},
  pages        = {287--294},
  publisher    = {Elsevier},
  year         = {1993},
  timestamp    = {Tue, 13 Mar 2018 14:43:53 +0100},
  biburl       = {https://dblp.org/rec/conf/parco/Darte93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/Darte92,
  author       = {Alain Darte},
  title        = {Erratum to: Regular partitioning for synthesizing fixed-size systolic
                  arrays},
  journal      = {Integr.},
  volume       = {13},
  number       = {1},
  pages        = {97--98},
  year         = {1992},
  url          = {https://doi.org/10.1016/0167-9260(92)90020-Y},
  doi          = {10.1016/0167-9260(92)90020-Y},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/integration/Darte92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/DarteKR92,
  author       = {Alain Darte and
                  Leonid Khachiyan and
                  Yves Robert},
  title        = {Linear scheduling is close to optimality},
  booktitle    = {Application Specific Array Processors, {ASAP} 1992, Proceedings of
                  the International Conference on, Berkeley, CA, USA, 4-7 August, 1992},
  pages        = {37--46},
  publisher    = {{IEEE}},
  year         = {1992},
  url          = {https://doi.org/10.1109/ASAP.1992.218583},
  doi          = {10.1109/ASAP.1992.218583},
  timestamp    = {Sun, 08 Aug 2021 01:40:48 +0200},
  biburl       = {https://dblp.org/rec/conf/asap/DarteKR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/Darte91,
  author       = {Alain Darte},
  title        = {Regular partitioning for synthesizing fixed-size systolic arrays},
  journal      = {Integr.},
  volume       = {12},
  number       = {3},
  pages        = {293--304},
  year         = {1991},
  url          = {https://doi.org/10.1016/0167-9260(91)90026-H},
  doi          = {10.1016/0167-9260(91)90026-H},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/integration/Darte91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/DarteKR91,
  author       = {Alain Darte and
                  Leonid Khachiyan and
                  Yves Robert},
  title        = {Linear Scheduling Is Nearly Optimal},
  journal      = {Parallel Process. Lett.},
  volume       = {1},
  pages        = {73--81},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129626491000021},
  doi          = {10.1142/S0129626491000021},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/DarteKR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/DarteRR91,
  author       = {Alain Darte and
                  Tanguy Risset and
                  Yves Robert},
  title        = {Synthesizing systolic arrays: some recent developments},
  booktitle    = {Application Specific Array Processors, 1991. Proceedings of the International
                  Conference on, Barcelona, Spain, 2-4 Sept., 1991},
  pages        = {372--386},
  publisher    = {{IEEE}},
  year         = {1991},
  url          = {https://doi.org/10.1109/ASAP.1991.238908},
  doi          = {10.1109/ASAP.1991.238908},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/DarteRR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccc/Darte91,
  author       = {Alain Darte},
  editor       = {Patrice Quinton and
                  Yves Robert},
  title        = {Two heuristics for task scheduling},
  booktitle    = {Algorithms and Parallel {VLSI} Architectures II, Proceedings of the
                  International Workshop Algorithms and Parallel {VLSI} Architectures
                  II, Ch{\^{a}}teau de Bonas, Gers, France, June 3-6, 1991},
  pages        = {383},
  publisher    = {Elsevier},
  year         = {1991},
  timestamp    = {Wed, 04 Sep 2002 15:26:25 +0200},
  biburl       = {https://dblp.org/rec/conf/ccc/Darte91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics