Année de production

Nombre de documents

7

Laurent Thévenoux, Inria Engineer at LIP, ENS de Lyon


Article dans une revue1 document

  • 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, 2016, <10.1002/cpe.3953>. <hal-01236919>

Communication dans un congrès4 documents

  • Laurent Thévenoux, Philippe Langlois, Matthieu Martel. Automatic Source-to-Source Error Compensation of Floating-Point Programs. IEEE. Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. 2015 IEEE 18th International Conference on Computational Science and Engineering, pp.9--16, 2015, <http://paginas.fe.up.pt/~specs/events/cse2015/>. <10.1109/CSE.2015.11>. <hal-01158399>
  • Philippe Langlois, Matthieu Martel, Laurent Thévenoux. Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic. SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2012. <hal-00821667>
  • Philippe Langlois, Matthieu Martel, Laurent Thévenoux. Trade-off Between Accuracy and Time for Automatically Generated Summation Algorithms. SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2010, Lyon, France. 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2010. <hal-00821668>
  • Philippe Langlois, Matthieu Martel, Laurent Thévenoux. Accuracy Versus Time: A Case Study with Summation Algorithms. ACM. PASCO'10 : Parallel Symbolic Computation 2010, Jul 2010, Grenoble, France. pp.121-130, 2010, <10.1145/1837210.1837229>. <hal-00477511>

Thèse1 document

  • Laurent Thévenoux. Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754. Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français. <tel-01143824>

Pré-publication, Document de travail1 document

  • Laurent Thévenoux, Matthieu Martel, Philippe Langlois. Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs. 2015. <hal-01157509>