2023-journal.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2023-journal.cite -ob 2023-journal.bib -c 'year = 2023 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@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{georges23jacm,
  topics = {team},
  title = {Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code},
  author = {Georges, A{\"i}na Linn and Gu{\'e}neau, Arma{\"e}l and Van Strydonck, Thomas and Timany, Amin and Trieu, Alix and Devriese, Dominique and Birkedal, Lars},
  hal = {https://hal.science/hal-03826854},
  journal = {Journal of the ACM},
  year = 2023,
  doi = {10.1145/3623510}
}

@article{boldo23an,
  topics = {team},
  title = {Floating-point arithmetic},
  author = {Boldo, Sylvie and Jeannerod, Claude-Pierre and Melquiond, Guillaume and Muller, Jean-Michel},
  hal = {https://hal.science/hal-04095151},
  journal = {Acta Numerica},
  publisher = {Cambridge University Press},
  volume = 32,
  pages = {203--290},
  year = 2023,
  doi = {10.1017/S0962492922000101}
}

@article{martindorel23jar,
  topics = {team},
  title = {Enabling Floating-Point Arithmetic in the {Coq} Proof Assistant},
  author = {Martin-Dorel, {\'E}rik and Melquiond, Guillaume and Roux, Pierre},
  hal = {https://inria.hal.science/hal-04114233},
  journal = {Journal of Automated Reasoning},
  publisher = {Springer Verlag},
  volume = 67,
  number = 33,
  year = 2023,
  doi = {10.1007/s10817-023-09679-x}
}

@article{balabonski23lmcs,
  topics = {team},
  title = {{A strong call-by-need calculus}},
  author = {Balabonski, Thibaut and Lanco, Antoine and Melquiond, Guillaume},
  hal = {https://inria.hal.science/hal-03409681},
  journal = {{Logical Methods in Computer Science}},
  volume = 19,
  number = 1,
  year = 2023,
  doi = {10.46298/lmcs-19(1:21)2023}
}