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}
}