BibTeX records: Basile Clément

• > Home > Persons > Basile Clément

@phdthesis{DBLP:phd/hal/Clement22a,
  author       = {Basile Cl{\'{e}}ment},
  title        = {Translation Validation of Tensor Compilers. (Validation de Traduction
                  pour Compilateurs de Tenseurs)},
  school       = {{\'{E}}cole Normale Sup{\'{e}}rieure, Paris, France},
  year         = {2022},
  url          = {https://tel.archives-ouvertes.fr/tel-03903895},
  timestamp    = {Wed, 25 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/hal/Clement22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/ClementC22,
  author       = {Basile Cl{\'{e}}ment and
                  Albert Cohen},
  title        = {End-to-end translation validation for the halide language},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{OOPSLA1}},
  pages        = {1--30},
  year         = {2022},
  url          = {https://doi.org/10.1145/3527328},
  doi          = {10.1145/3527328},
  timestamp    = {Tue, 10 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ClementC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2102-09823,
  author       = {Fr{\'{e}}d{\'{e}}ric Bour and
                  Basile Cl{\'{e}}ment and
                  Gabriel Scherer},
  title        = {Tail Modulo Cons},
  journal      = {CoRR},
  volume       = {abs/2102.09823},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.09823},
  eprinttype    = {arXiv},
  eprint       = {2102.09823},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-09823.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1904-03383,
  author       = {Ulysse Beaugnon and
                  Basile Cl{\'{e}}ment and
                  Nicolas Tollenaere and
                  Albert Cohen},
  title        = {On the Representation of Partially Specified Implementations and its
                  Application to the Optimization of Linear Algebra Kernels on {GPU}},
  journal      = {CoRR},
  volume       = {abs/1904.03383},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.03383},
  eprinttype    = {arXiv},
  eprint       = {1904.03383},
  timestamp    = {Wed, 24 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-03383.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}