@article{thevenoux:hal-01236919, TITLE = {{Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time}}, AUTHOR = {Th{\'e}venoux, Laurent and Langlois, Philippe and Martel, Matthieu}, URL = {https://hal.science/hal-01236919}, JOURNAL = {{Concurrency and Computation: Practice and Experience}}, PUBLISHER = {{Wiley}}, SERIES = {Concurrency and Computation: Practice and Experience}, VOLUME = {29}, NUMBER = {7}, PAGES = {e3953}, YEAR = {2017}, DOI = {10.1002/cpe.3953}, KEYWORDS = {compensation ; execution-time performance ; multi-criteria optimization ; floating-point arithmetic ; code synthesis ; numerical accuracy}, PDF = {https://hal.science/hal-01236919v2/file/tlm.pdf}, HAL_ID = {hal-01236919}, HAL_VERSION = {v2}, }