[C1] M. Joldes and B. Pasca, “Efficient Floating-Point
Implementation of the Probit Function on FPGAs,” in Application-specific Systems, Architectures and
Processors (ASAP), 2020 IEEE 31st International Conference on, pp. 173–180, 2020. Best Paper Award,
https://hal.archives-_ouvertes.fr/hal-_02875528/.
[C2] M. Joldes and J.-M. Muller, “Algorithms for manipulating quaternions in floating-point
arithmetic,” in Computer Arithmetic (ARITH), 2020 IEEE 27th Symposium on, pp. –to appear–, 2020.
https://hal.archives-_ouvertes.fr/hal-_02470766/.
[C3] D. Arzelier, F. Bréhard, and M. Joldes, “Exchange algorithm for evaluation and approximation
error-optimized polynomials,” in Computer Arithmetic (ARITH), 2019 IEEE 26th Symposium on,
pp. 30–37, 2019. https://hal.archives-_ouvertes.fr/hal-_02006606/.
[C4] F. Bréhard, M. Joldes, and J.-B. Lasserre, “On moment problems with holonomic functions,”
in Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation,
ISSAC ’19, (New York, NY, USA), pp. 66–73, ACM, 2019. Distinguished Paper Award,
https://hal.archives-_ouvertes.fr/hal-_02006645.
[C5] R. Serra, D. Arzelier,
F. Bréhard, and M. Joldes, “Fuel-optimal impulsive fixed-time trajectories in the linearized circular
restricted 3-body-problem,” in IAF Astrodynamics Symposium in 69TH international astronautical
congress, pp. 1–9, 2018. https://hal.archives-_ouvertes.fr/hal-_01830253.
[C6] F. Camps,
P. R. A. Gilz, M. Joldes, and C. Louembet, “Embedding a SDP-based control algorithm for the
orbital rendezvous hovering phases,” in Proceedings of tof IEEE International Conference on Integrated
Navigation Systems, Jun 2018, Saint Petersburg, Russia. 10.23919/ICINS.2018.8405931, pp. 1–7, IEEE,
2018. https://hal.laas.fr/hal-_01729956.
[C7] M. Joldes, J.-M. Muller, and V. Popescu, “Implementation and performance evaluation
of an extended precision floating-point arithmetic library for high-accuracy semidefinite
programming,” in Computer Arithmetic (ARITH), 2017 IEEE 24th Symposium on, pp. 27–34, IEEE,
2017. https://hal.archives-_ouvertes.fr/hal-_01491255/.
[C8] S. Boldo, M. Joldes,
J.-M. Muller, and V. Popescu, “Formal verification of a floating-point expansion renormalization
algorithm,” in International Conference on Interactive Theorem Proving, pp. 98–113, Springer, 2017.
https://hal.archives-_ouvertes.fr/hal-_01512417/document.
[C9]
P. R. A. Gilz, M. Joldes, C. Louembet, and F. Camps, “Model predictive control for rendezvous
hovering phases based on a novel description of constrained trajectories,” in IFAC-PapersOnLine,
vol. 50, pp. 7229–7234, Elsevier, 2017. https://hal.laas.fr/hal-_01484764.
[C10] D. Arzelier, F. Bréhard, N. Deak, M. Joldes,
C. Louembet, A. Rondepierre, and R. Serra, “Linearized impulsive fixed-time fuel-optimal space
rendezvous: A new numerical approach,” in Proceedings of the 20th IFAC Symposium on Automatic
Control in Aerospace, 21-25 August, 2016, Sherbrooke, Quebec, Canada, vol. 49, pp. 373–378, 2016.
https://hal.archives-_ouvertes.fr/hal-_01275427.
[C11] S. Collange,
M. Joldes, J.-M. Muller, and V. Popescu, “Parallel floating-point expansions for extended-precision
GPU computations,” in Proceedings of ASAP 2016: The 27th Annual IEEE International Conference on
Application-specific Systems, Architectures and Processors, 6-8 July 2016, London, England, pp. 139–146,
IEEE, 2016. https://hal.archives-_ouvertes.fr/hal-_01298206.
[C12] F. Bréhard, N. Brisebarre, and M. Joldes, “A new efficient algorithm for computing validated
Chebyshev approximations solutions of linear differential equations,” in SCAN 2016: 17th
International Symposium on Scientific Computing,Computer Arithmetic and Verified Numerics, Uppsala,
Sweden, Sept. 2016, pp. 41–43, 2016.
[C13] M. Joldes, J.-M. Muller, V. Popescu, and W. Tucker, “Campary:
Cuda multiple precision arithmetic library and applications,” in Mathematical Software – ICMS 2016:
5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings (G.-M. Greuel, T. Koch,
P. Paule, and A. Sommese, eds.), (Cham), pp. 232–240, Springer International Publishing, 2016.
https://hal.archives-_ouvertes.fr/hal-_01312858.
[C14] R. Serra, D. Arzelier, M. Joldes, J.-B. Lasserre, A. Rondepierre, and B. Salvy, “A new method
to compute the probability of collision for short-term space encounters,” in Astrodynamics Specialist
Conference, pp. 1–7, Aug 2014.
[C15] R. Serra, D. Arzelier,
M. Joldes, and A. Rondepierre, “Probabilistic collision avoidance for long-term space encounters
via risk selection,” in Advances in Aerospace Guidance, Navigation and Control, pp. 679–698, Springer,
Dec 2015. https://hal.archives-_ouvertes.fr/hal-_01995936/document.
[C16] M. Joldes, J. Muller, and V. Popescu, “On the computation of the reciprocal of floating point
expansions using an adapted Newton-Raphson iteration,” in IEEE 25th International Conference on
Application-Specific Systems,
Architectures and Processors, ASAP 2014, Zurich, Switzerland, June 18-20, 2014, pp. 63–67, IEEE, 2014.
https://hal.archives-_ouvertes.fr/docs/00/95/73/79/PDF/invNewton.pdf.
[C17] N. Brisebarre, M. Joldes, É. Martin-Dorel, M. Mayero, J. Muller, I. Pasca, L. Rideau, and
L. Théry, “Rigorous polynomial approximation using Taylor Models in Coq,” in NASA Formal
Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
(A. Goodloe and S. Person, eds.), vol. 7226 of Lecture Notes in Computer Science, pp. 85–99,
Springer, 2012.
[C18] N. Brisebarre, M. Joldes, P. Kornerup, É. Martin-Dorel, and J. Muller, “Augmented precision
square roots and 2-d norms, and discussion on correctly rounding sqrt(x̂2+ŷ2),” in 20th IEEE
Symposium on Computer Arithmetic, ARITH 2011, Tübingen, Germany, 25-27 July 2011 (E. Antelo,
D. Hough, and P. Ienne, eds.), pp. 23–30, IEEE Computer Society, 2011.
[C19] N. Brisebarre and M. Joldes, “Chebyshev interpolation polynomial-based tools for rigorous
computing,” in Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich,
Germany, July 25-28, 2010, Proceedings (W. Koepf, ed.), pp. 147–154, ACM, 2010.
[C20] F. de Dinechin, M. Joldes, and B. Pasca, “Automatic generation of polynomial-based
hardware architectures for function evaluation,” in 21st IEEE International Conference on
Application-specific Systems Architectures and Processors, ASAP 2010, Rennes, France, 7-9 July 2010
(F. Charot, F. Hannig, J. Teich, and C. Wolinski, eds.), pp. 216–222, IEEE, 2010.
[C21] F. de Dinechin, M. Joldes, B. Pasca, and G. Revy, “Multiplicative square root algorithms for
FPGAs,” in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31
2010 - September 2, 2010, Milano, Italy, pp. 574–577, IEEE, 2010.
[C22] S. Chevillard, M. Joldes, and C. Q. Lauter, “Sollya: An environment for the development of
numerical codes,” in Mathematical Software - ICMS 2010, Third International Congress on Mathematical
Software, Kobe, Japan, September 13-17, 2010. Proceedings (K. Fukuda, J. van der Hoeven, M. Joswig,
and N. Takayama, eds.), vol. 6327 of Lecture Notes in Computer Science, pp. 28–31, Springer, 2010.
[C23] S. Chevillard, M. Joldes, and C. Q. Lauter, “Certified and fast computation of supremum
norms of approximation errors,” in 19th IEEE Symposium on Computer Arithmetic, ARITH 2009,
Portland, Oregon, USA, 9-10 June 2009 (J. D. Bruguera, M. Cornea, D. D. Sarma, and J. Harrison,
eds.), pp. 169–176, IEEE Computer Society, 2009.
