BibTeX records: Clothilde Jeangoudoux

• > Home > Persons > Clothilde Jeangoudoux

@article{DBLP:journals/tecs/LoharJVD23,
  author       = {Debasmita Lohar and
                  Clothilde Jeangoudoux and
                  Anastasia Volkova and
                  Eva Darulova},
  title        = {Sound Mixed Fixed-Point Quantization of Neural Networks},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {22},
  number       = {5s},
  pages        = {136:1--136:26},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609118},
  doi          = {10.1145/3609118},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/LoharJVD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arith/GraillatIJL23,
  author       = {Stef Graillat and
                  Youness Ibrahimy and
                  Clothilde Jeangoudoux and
                  Christoph Quirin Lauter},
  title        = {A parallel compensated Horner scheme for {SIMD} architecture},
  booktitle    = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
                  OR, USA, September 4-6, 2023},
  pages        = {131--138},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ARITH58626.2023.00010},
  doi          = {10.1109/ARITH58626.2023.00010},
  timestamp    = {Mon, 08 Apr 2024 20:48:38 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/GraillatIJL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/JeangoudouxDL21,
  author       = {Clothilde Jeangoudoux and
                  Eva Darulova and
                  Christoph Quirin Lauter},
  editor       = {Cristian Cadar and
                  Xiangyu Zhang},
  title        = {Interval constraint-based mutation testing of numerical specifications},
  booktitle    = {{ISSTA} '21: 30th {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
  pages        = {388--399},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3460319.3464808},
  doi          = {10.1145/3460319.3464808},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/JeangoudouxDL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/LoharJSDC21,
  author       = {Debasmita Lohar and
                  Clothilde Jeangoudoux and
                  Joshua Sobel and
                  Eva Darulova and
                  Maria Christakis},
  editor       = {Jan Friso Groote and
                  Kim Guldstrand Larsen},
  title        = {A Two-Phase Approach for Conditional Floating-Point Verification},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 27th International Conference, {TACAS} 2021, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12652},
  pages        = {43--63},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-72013-1\_3},
  doi          = {10.1007/978-3-030-72013-1\_3},
  timestamp    = {Fri, 14 May 2021 08:34:19 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/LoharJSDC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Jeangoudoux19,
  author       = {Clothilde Jeangoudoux},
  title        = {G{\'{e}}n{\'{e}}ration Automatique de Tests Logiciels dans
                  le Contexte de la Certification A{\'{e}}ronautique. (Automatic
                  test generation for numerical software in the context of aircraft
                  certification)},
  school       = {Pierre and Marie Curie University, Paris, France},
  year         = {2019},
  url          = {https://tel.archives-ouvertes.fr/tel-02947212},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/hal/Jeangoudoux19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arith/JeangoudouxL18,
  author       = {Clothilde Jeangoudoux and
                  Christoph Quirin Lauter},
  title        = {A Correctly Rounded Mixed-Radix Fused-Multiply-Add},
  booktitle    = {25th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2018, Amherst,
                  MA, USA, June 25-27, 2018},
  pages        = {21--28},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ARITH.2018.8464818},
  doi          = {10.1109/ARITH.2018.8464818},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arith/JeangoudouxL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}