Mioara Joldes

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 20

Top Venues

ACM Trans. Math. Softw.

ARITH

ASAP

CoRR

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. ARITH (2024)
Mareike Dressler, Simon Foucart, Etienne de Klerk, Mioara Joldes, Jean-Bernard Lasserre, Yuan Xu
Optimization-Aided Construction of Multivariate Chebyshev Polynomials. CoRR (2024)
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker
Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Trans. Math. Softw. 50 (1) (2024)
Mioara Joldes
Validated Numerics: Algorithms and Practical Applications in Aerospace. ISSAC (2022)
Mioara Joldes, Fabrizio Lamberti, Alberto Nannarelli
Special Section on "Emerging and Impacting Trends on Computer Arithmetic". IEEE Trans. Emerg. Top. Comput. 9 (3) (2021)
Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean B. Lasserre, S. Laurens, Aude Rondepierre
Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters. CDC (2021)
Mioara Joldes, Bogdan Pasca
Efficient Floating-Point Implementation of the Probit Function on FPGAs. J. Signal Process. Syst. 93 (12) (2021)
Mioara Joldes, Jean-Michel Muller
Algorithms for Manipulating Quaternions in Floating-Point Arithmetic. ARITH (2020)
Nicolas Brisebarre, Mioara Joldes, Jean-Michel Muller, Ana-Maria Nanes, Joris Picot
Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform. ACM Trans. Math. Softw. 46 (2) (2020)
Mioara Joldes, Bogdan Pasca
Efficient Floating-Point Implementation of the Probit Function on FPGAs. ASAP (2020)
Denis Arzelier, Florent Bréhard, Mioara Joldes
Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials. ARITH (2019)
Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre
On Moment Problems with Holonomic Functions. ISSAC (2019)
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes
Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations. ACM Trans. Math. Softw. 44 (4) (2018)
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic. ACM Trans. Math. Softw. 44 (2) (2017)
Alexandre Benoît, Mioara Joldes, Marc Mezzarobba
Rigorous uniform approximation of D-finite functions using Chebyshev expansions. Math. Comput. 86 (305) (2017)
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming. ARITH (2017)
Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu
Formal Verification of a Floating-Point Expansion Renormalization Algorithm. ITP (2017)
Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications. ICMS (2016)
Sylvain Collange, Mioara Joldes, Jean-Michel Muller, Valentina Popescu
Parallel floating-point expansions for extended-precision GPU computations. ASAP (2016)
Mioara Joldes, Olivier Marty, Jean-Michel Muller, Valentina Popescu
Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions. IEEE Trans. Computers 65 (4) (2016)
Alexandre Benoît, Mioara Joldes, Marc Mezzarobba
Rigorous uniform approximation of D-finite functions using Chebyshev expansions. CoRR (2014)
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration. ASAP (2014)
Mioara Joldes, Valentina Popescu, Warwick Tucker
Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library. SIGARCH Comput. Archit. News 42 (4) (2014)
Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
Rigorous Polynomial Approximation Using Taylor Models in Coq. NASA Formal Methods (2012)
Nicolas Brisebarre, Mioara Joldes, Peter Kornerup, Érik Martin-Dorel, Jean-Michel Muller
Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2). IEEE Symposium on Computer Arithmetic (2011)
Sylvain Chevillard, J. Harrison, Mioara Joldes, Christoph Quirin Lauter
Efficient and accurate computation of upper bounds of approximation errors. Theor. Comput. Sci. 412 (16) (2011)
Florent de Dinechin, Mioara Joldes, Bogdan Pasca
Automatic generation of polynomial-based hardware architectures for function evaluation. ASAP (2010)
Florent de Dinechin, Mioara Joldes, Bogdan Pasca, Guillaume Revy
Multiplicative Square Root Algorithms for FPGAs. FPL (2010)
Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter
Sollya: An Environment for the Development of Numerical Codes. ICMS (2010)
Nicolas Brisebarre, Mioara Joldes
Chebyshev interpolation polynomial-based tools for rigorous computing. ISSAC (2010)
Sylvain Chevillard, Mioara Joldes, Christoph Quirin Lauter
Certified and Fast Computation of Supremum Norms of Approximation Errors. IEEE Symposium on Computer Arithmetic (2009)

Mioara Joldes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mioara Joldes