verrou.bib

@inproceedings{fevotte2019,
  author = {François Févotte and Bruno Lathuilière},
  title = {Debugging and Optimization of {HPC} Programs with the {Verrou} Tool},
  booktitle = {International Workshop on Software Correctness for HPC Applications (Correctness)},
  year = {2019},
  month = nov,
  address = {Denver, CO, USA},
  doi = {10.1109/Correctness49594.2019.00006}
}

@article{grasland2019,
  author = {Grasland, Hadrien and F\'evotte, Fran\c{c}ois and Lathuili\`ere, Bruno and Chamont, David},
  title = {Floating-point profiling of {ACTS} using {V}errou},
  doi = {10.1051/epjconf/201921405025},
  journal = {EPJ Web Conf.},
  year = 2019,
  volume = 214
}

@inproceedings{fevotte2017a,
  author = {F{\'e}votte, Fran{\c{c}}ois and Lathuili{\`e}re, Bruno},
  title = {Studying the Numerical Quality of an Industrial Computing Code: A Case
                  Study on code{\_}aster},
  booktitle = {10th International Workshop on Numerical Software Verification (NSV)},
  year = 2017,
  pages = {61--80},
  address = {Heidelberg, Germany},
  month = jul,
  isbn = {978-3-319-63501-9},
  doi = {10.1007/978-3-319-63501-9_5},
}

@inproceedings{fevotte2016,
  author = {François Févotte and Bruno Lathuilière},
  title = { {VERROU}: a {CESTAC} evaluation without recompilation},
  booktitle = {International Symposium on Scientific Computing, Computer
                  Arithmetics and Verified Numerics~(SCAN)},
  year = 2016,
  month = sep,
  address = {Uppsala, Sweden}
}