Accuracy versus time: a case study with summation algorithms. - Philippe Langlois; Matthieu Martel; Laurent Thévenoux (PASCO, 2010)

Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754. (Code Synthesis to Optimize Accuracy and Speed in Floating-Point Arithmetic). - Laurent Thévenoux (2014)

Automatic Source-to-Source Error Compensation of Floating-Point Programs. - Laurent Thévenoux; Philippe Langlois; Matthieu Martel (CSE, 2015)

More accurate complex multiplication for embedded processors. - Claude-Pierre Jeannerod; Christophe Monat; Laurent Thévenoux (SIES, 2017)

Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time. - Laurent Thévenoux; Philippe Langlois; Matthieu Martel (Concurr. Comput. Pract. Exp., 2017)