Laurent Thévenoux, Philippe Langlois, Matthieu Martel. Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time.
Concurrency and Computation: Practice and Experience, Wiley, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953.
⟨10.1002/cpe.3953⟩.
⟨hal-01236919v2⟩