galloiswong.bib

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

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

@inproceedings{lampropoulos17popl,
  author = {Leonidas Lampropoulos and
               Diane Gallois-Wong and
               Catalin Hritcu and
               John Hughes and
               Benjamin C. Pierce and
               Li-yao Xia},
  title = {Beginner's luck: a language for property-based generators},
  booktitle = {Symposium on Principles of Programming Languages},
  pages = {114--129},
  year = 2017,
  editor = {Giuseppe Castagna and Andrew D. Gordon},
  publisher = {ACM Press}
}

@unpublished{galloiswong18calculemus,
  topics = {team},
  title = {{A Coq formalization of digital filters}},
  author = {Gallois-Wong, Diane and Boldo, Sylvie and Hilaire, Thibault},
  hal = {https://hal.inria.fr/hal-01728828},
  booktitle = {{CICM 2018 - 11th Conference on Intelligent Computer Mathematics}},
  address = {Hagenberg, Austria},
  editor = {Florian Rabe and William M. Farmer and Grant O. Passmore and Abdou Youssef},
  series = {Intelligent Computer Mathematics},
  pages = {87--103},
  year = {2018},
  month = aug,
  doi = {10.1007/978-3-319-96812-4\_8},
  pdf = {https://hal.inria.fr/hal-01728828/file/CICM18.pdf}
}

@inproceedings{galloiswong19jfla,
  topics = {team},
  title = {Formalisation en {Coq} d'algorithmes de filtres num{\'e}riques},
  author = {Gallois-Wong, Diane},
  hal = {https://hal.inria.fr/hal-01929531},
  booktitle = {30{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
  year = 2019,
  month = jan
}

@article{galloiswong19na,
  topics = {team},
  title = {Optimal Inverse Projection of Floating-Point Addition},
  author = {Gallois-Wong, Diane and Boldo, Sylvie and Cuoq, Pascal},
  hal = {https://hal.inria.fr/hal-01939097},
  journal = {Numerical Algorithms},
  publisher = {Springer},
  year = 2019,
  doi = {10.1007/s11075-019-00711-z},
  pdf = {https://hal.inria.fr/hal-01939097/file/main.pdf}
}

@article{galloiswong20na,
  topics = {team},
  title = {Optimal Inverse Projection of Floating-Point Addition},
  author = {Gallois-Wong, Diane and Boldo, Sylvie and Cuoq, Pascal},
  hal = {https://hal.inria.fr/hal-01939097},
  journal = {Numerical Algorithms},
  publisher = {Springer},
  volume = 83,
  number = 3,
  pages = {957--986},
  year = 2020,
  doi = {10.1007/s11075-019-00711-z}
}

@inproceedings{boldo20arith,
  topics = {team},
  title = {A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm},
  author = {Boldo, Sylvie and Gallois-Wong, Diane and Hilaire, Thibault},
  hal = {https://hal.inria.fr/hal-02982017},
  booktitle = {27th IEEE Symposium on Computer Arithmetic (ARITH)},
  publisher = {IEEE},
  pages = {9--16},
  year = 2020,
  doi = {10.1109/ARITH48897.2020.00011},
  keywords = {Dot Product ; Sum-of-Products ; Correct Round- ing ; Odd Rounding ; Fixed-Point Arithmetic}
}

@phdthesis{galloiswong21phd,
  topics = {team},
  title = {Formalisation en {Coq} des algorithmes de filtre num{\'e}rique calcul{\'e}s en pr{\'e}cision finie},
  author = {Gallois-Wong, Diane},
  hal = {https://tel.archives-ouvertes.fr/tel-03202580},
  number = {2021UPASG016},
  school = {Universit{\'e} Paris-Saclay},
  year = 2021,
  type = {Th{\`e}se de Doctorat}
}