Publications

International journals with review committees

• Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time, with Philippe Langlois and Matthieu Martel.Submitted, Dec. 2015, Accepted for publication in Wiley Concurrency and Computation: Practice and Experience, Aug. 2016, Published online Mar. 2017.

International conferences with review committees and proceedings

• More accurate complex multiplication for embedded processors, with Claude-Pierre Jeannerod and Christophe Monat.12th IEEE International Symposium on Industrial Embedded Systems (SIES), 2017.
• Automatic source-to-source error compensation of floating-point programs, with Philippe Langlois and Matthieu Martel.18th IEEE International Conference on Computational Science and Engineering (CSE), 2015.
• Accuracy versus time: a case study with summation algorithms, with Philippe Langlois and Matthieu Martel.4th International Workshop on Parallel and Symbolic Computation (PASCO), 2010.

International conferences with abstract only

• Automatic code transformation to optimize accuracy and speed in floating-point arithmetic, with Philippe Langlois and Matthieu Martel.15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN), 2012.
• Trade-off between accuracy and time for automatically generated summation algorithms, with Philippe Langlois and Matthieu Martel.14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN), 2010.

Ph.D. and Master's theses

• Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754.Thèse de doctorat, Université de Perpignan Via Domitia, 2014.
• Compromis entre performances et précision dans le cas d'algorithmes de sommation en arithmétique flottante.Mémoire de stage de Master, Université de Perpignan Via Domitia, 2010.