Wiki Agenda Contact Version française

Publications : Diane Gallois-Wong

[4] 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 ]
[3] 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 ]
[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 ]

This page was generated by bibtex2html.