rieuhelft.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc rieuhelft.cite -ob rieuhelft.bib -c 'author : "Rieu-Helft"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{rieuhelft16tapas,
  author = {Rapha{\"e}l Rieu-Helft and Pascal Cuoq},
  title = {Result graphs for an abstract interpretation-based static analyzer},
  booktitle = {7th Workshop on Tools for Automatic Program Analysis},
  year = 2016
}

@inproceedings{rieuhelft17jfla,
  topics = {team},
  title = {Result graphs for an abstract interpretation-based static analyzer},
  author = {Rapha{\"e}l Rieu-Helft and Pascal Cuoq},
  crossref = {jfla17}
}

@inproceedings{rieuhelft17vstte,
  topics = {team},
  title = {How to Get an Efficient yet Verified Arbitrary-Precision Integer Library},
  author = {Rieu-Helft, Rapha{\"e}l and March{\'e}, Claude and Melquiond, Guillaume},
  hal = {https://hal.inria.fr/hal-01519732},
  booktitle = {9th Working Conference on Verified Software: Theories, Tools, and Experiments},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  volume = 10712,
  year = 2017,
  month = jul,
  pages = {84--101},
  doi = {10.1007/978-3-319-72308-2_6},
  keywords = {arbitrary-precision arithmetic ; deductive program verification ; C language ; Why3 program verifier},
  pdf = {https://hal.inria.fr/hal-01519732/file/main.pdf}
}

@inproceedings{rieuhelft18jfla,
  topics = {team},
  crossref = {jfla18},
  title = {{Un m{\'e}canisme d'extraction vers C pour Why3}},
  author = {Rieu-Helft, Rapha{\"e}l},
  hal = {https://hal.inria.fr/hal-01653153},
  pdf = {https://hal.inria.fr/hal-01653153/file/main.pdf},
  hal_id = {hal-01653153},
  hal_version = {v1}
}

@inproceedings{melquiond18ijcar,
  topics = {team},
  title = {A {Why3} Framework for Reflection Proofs and its Application to {GMP}'s Algorithms},
  author = {Melquiond, Guillaume and Rieu-Helft, Rapha{\"e}l},
  hal = {https://hal.inria.fr/hal-01699754},
  booktitle = {9th International Joint Conference on Automated Reasoning},
  address = {Oxford, United Kingdom},
  editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
  series = {Lecture Notes in Computer Science},
  year = 2018,
  month = jul
}

@inproceedings{rieuhelft19jfla,
  topics = {team},
  title = {Un m{\'e}canisme de preuve par r{\'e}flexion pour {Why3} et son application aux algorithmes de {GMP}},
  author = {Rieu-Helft, Rapha{\"e}l},
  hal = {https://hal.inria.fr/hal-01943010},
  crossref = {jfla19}
}

@inproceedings{melquiond19arith,
  topics = {team},
  title = {Formal Verification of a State-of-the-Art Integer Square Root},
  author = {Melquiond, Guillaume and Rieu-Helft, Rapha\"el},
  hal = {https://hal.inria.fr/hal-02092970},
  booktitle = {Symposium on Computer Arithmetic},
  address = {Kyoto, Japan},
  pages = {183--186},
  year = 2019,
  month = jun
}

@inproceedings{melquiond20issac,
  topics = {team},
  title = {{WhyMP}, a Formally Verified Arbitrary-Precision Integer Library},
  author = {Melquiond, Guillaume and Rieu-Helft, Rapha{\"e}l},
  hal = {https://hal.inria.fr/hal-02566654},
  booktitle = {45th International Symposium on Symbolic and Algebraic Computation (ISSAC)},
  pages = {352--359},
  year = 2020,
  doi = {10.1145/3373207.3404029},
  keywords = {Integer arithmetic ; Deductive program verification ; Mathematical library}
}

@phdthesis{rieuhelft20phd,
  topics = {team},
  title = {Development and verification of arbitrary-precision integer arithmetic libraries},
  author = {Rieu-Helft, Rapha{\"e}l},
  hal = {https://tel.archives-ouvertes.fr/tel-03032942},
  school = {Universit{\'e} Paris-Saclay},
  year = 2020,
  keywords = {Static analysis ; Arbitrary-precision integer arithmetic ; Deductive verification of programs ; Proof by reflection ; Why3 ; V{\'e}rification d{\'e}ductive de programmes ; Arithm{\'e}tique enti{\`e}re en pr{\'e}cision arbitraire ; Analyse statique ; Preuve par r{\'e}flexion ; Why3},
  type = {Th{\`e}se de Doctorat}
}

@article{melquiond23jsc,
  topics = {team},
  title = {{WhyMP}, a Formally Verified Arbitrary-Precision Integer Library},
  author = {Melquiond, Guillaume and Rieu-Helft, Rapha{\"e}l},
  hal = {https://hal.inria.fr/hal-03233220},
  journal = {Journal of Symbolic Computation},
  publisher = {Elsevier},
  volume = 115,
  pages = {74--95},
  year = 2023,
  doi = {10.1016/j.jsc.2022.07.007}
}

@article{rieuhelft19jfr,
  topics = {team},
  title = {A {Why3} proof of {GMP} algorithms},
  author = {Rieu-Helft, Rapha{\"e}l},
  hal = {https://inria.hal.science/hal-02477578},
  journal = {Journal of Formalized Reasoning},
  publisher = {ASDD-AlmaDL},
  year = 2019,
  doi = {10.6092/issn.1972-5787/9730}
}

@techreport{bonnot23rr,
  topics = {team},
  author = {Bonnot, Paul and Boyer, Beno\^it and Faissole, Florian and March\'e, Claude and
  Rieu-Helft, Rapha\"el},
  title = {Formally Verified Bounds on Rounding Errors in Concrete Implementations of Logarithm-Sum-Exponential Functions},
  institution = {Inria},
  type = {Research Report},
  number = 9531,
  year = 2023,
  hal = {https://inria.hal.science/hal-04343157}
}

@proceedings{jfla17,
  topics = {team},
  hal = {https://hal.inria.fr/hal-01662072},
  title = {Journ\'ees Francophones des Langages Applicatifs},
  editor = {Boldo, Sylvie and Signoles, Julien},
  year = 2017,
  booktitle = {Vingt-huiti\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {Gourette, France},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA}
}

@proceedings{jfla18,
  topics = {team},
  title = {Vingt-neuvi\`emes Journ\'ees Francophones des Langages Applicatifs},
  booktitle = {Vingt-neuvi\`emes Journ{\'e}es Francophones des Langages Applicatifs},
  address = {Banyuls-sur-mer, France},
  year = 2018,
  month = jan,
  editor = {Boldo, Sylvie and Magaud, Nicolas},
  hal = {https://hal.inria.fr/hal-01707376}
}

@proceedings{jfla19,
  title = {Trenti\`emes Journ\'ees Francophones des Langages Applicatifs},
  booktitle = {Trenti\`emes Journ{\'e}es Francophones des Langages Applicatifs},
  address = {Les Rousses, France},
  year = 2019,
  month = jan,
  editor = {Magaud, Nicolas and Dargaye, Zaynah},
  hal = {https://hal.archives-ouvertes.fr/hal-01985195v1}
}