Publications : Diane Gallois-Wong
Retour| [7] | Diane Gallois-Wong. Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie. Thèse de doctorat, Université Paris-Saclay, 2021. [ bib | full text on HAL ] |
| [6] | Diane Gallois-Wong, Sylvie Boldo, and Pascal Cuoq. Optimal inverse projection of floating-point addition. Numerical Algorithms, 83(3):957--986, 2020. [ bib | DOI | full text on HAL ] |
| [5] |
Sylvie Boldo, Diane Gallois-Wong, and Thibault Hilaire.
A correctly-rounded fixed-point-arithmetic dot-product algorithm.
In 27th IEEE Symposium on Computer Arithmetic (ARITH), pages
9--16. IEEE, 2020.
[ bib |
DOI |
full text on HAL ]
Keywords: Dot Product ; Sum-of-Products ; Correct Round- ing ; Odd Rounding ; Fixed-Point Arithmetic |
| [4] | Diane Gallois-Wong. Formalisation en Coq d'algorithmes de filtres numériques. In 30èmes Journées Francophones des Langages Applicatifs, January 2019. [ bib | full text on HAL ] |
| [3] | Diane Gallois-Wong, Sylvie Boldo, and Pascal Cuoq. Optimal inverse projection of floating-point addition. Numerical Algorithms, 2019. [ bib | DOI | full text on HAL | .pdf ] |
| [2] | Diane Gallois-Wong, Sylvie Boldo, and Thibault Hilaire. A Coq formalization of digital filters. August 2018. [ bib | DOI | full text on HAL | .pdf ] |
| [1] | Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, and Li yao Xia. Beginner's luck: a language for property-based generators. In Giuseppe Castagna and Andrew D. Gordon, editors, Symposium on Principles of Programming Languages, pages 114--129. ACM Press, 2017. [ bib ] |
Retour
This page was generated by bibtex2html.