Number of documents

44


Journal articles5 documents

  • 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⟩
  • Fabienne Jézéquel, Philippe Langlois, Nathalie Revol. First steps towards more numerical reproducibility. ESAIM: Proceedings and Surveys, EDP Sciences, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. ⟨10.1051/proc/201445023⟩. ⟨lirmm-00872562⟩
  • Stef Graillat, Philippe Langlois, Nicolas Louvet. Algorithms for Accurate, Validated and Fast Polynomial Evaluation. Japan Journal of Industrial and Applied Mathematics, Kinokuniya Company, 2009, 26 (2-3), pp.191-214. ⟨10.1007/BF03186531⟩. ⟨hal-00285603⟩
  • Stef Graillat, Philippe Langlois. Real and complex pseudozero sets for polynomials with applications. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41 (1), pp.45-56. ⟨10.1051/ita:2007006⟩. ⟨hal-01146488⟩
  • Marc Daumas, Philippe Langlois. Additive Symmetric: the Non-Negative Case. Theoretical Computer Science, Elsevier, 2003, 291 (2), pp.143-157. ⟨10.1016/S0304-3975(02)00223-2⟩. ⟨inria-00072516⟩

Conference papers25 documents

  • Luisa Arrabito, Konrad Bernlöhr, Johan Bregeon, Gernot Maier, Philippe Langlois, et al.. Performance optimization of the air shower simulation program for the Cherenkov Telescope Array. CHEP: Computing in High Energy and Nuclear Physics, Jul 2018, Sofia, Bulgaria. ⟨lirmm-02057548⟩
  • Philippe Langlois. Numerical Accuracy Stuff: Tools. . . and Prerequisites. CTAOptSim General Workshop, Dec 2018, Montpellier, France. ⟨lirmm-02059798⟩
  • Chemseddine Chohra, Philippe Langlois, Rafife Nheilli, David Parello. Reproducible Parallel Simulations in HPC. CSE: Computational Science and Engineering, Feb 2017, Altanta, Georgia, United States. ⟨lirmm-02091186⟩
  • Chemseddine Chohra, Philippe Langlois, David Parello. Reproducible, Accurately Rounded and Efficient BLAS. Euro-Par: Parallel Processing Workshops., Aug 2016, Grenoble, France. pp.609-620, ⟨10.1007/978-3-319-58943-5_49⟩. ⟨lirmm-01280324v2⟩
  • Chemseddine Chohra, Philippe Langlois, David Parello. Parallel experiments with RARE-BLAS. SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2016, Timisoara, Romania. pp.135-138, ⟨10.1109/SYNASC.2016.032⟩. ⟨lirmm-01349698⟩
  • Rafife Nheili, Philippe Langlois, Christophe Denis. First improvements toward a reproducible Telemac-2D. XXIIIrd TELEMAC-MASCARET User Conference , Oct 2016, Paris, France. ⟨lirmm-01371152⟩
  • Philippe Langlois, Rafife Nheili, Christophe Denis. Recovering numerical reproducibility in hydrodynamic simulations. ARITH: Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.63-70, ⟨10.1109/ARITH.2016.27⟩. ⟨lirmm-01274671⟩
  • Philippe Langlois, Rafife Nheili, Christophe Denis. Numerical Reproducibility: Feasibility Issues. NTMS: New Technologies, Mobility and Security, Jul 2015, Paris, France. pp.1-5, ⟨10.1109/NTMS.2015.7266509⟩. ⟨lirmm-01141852⟩
  • Laurent Thévenoux, Philippe Langlois, Matthieu Martel. Automatic Source-to-Source Error Compensation of Floating-Point Programs. Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. pp.9--16, ⟨10.1109/CSE.2015.11⟩. ⟨hal-01158399⟩
  • Philippe Langlois, Chemseddine Chohra, Rafife Nheili. Cas d’études de calculs parallèles numériquement reproductibles. Retour d'expéRiences sur la Recherche Reproductible, MISC/CaSciModOT, Dec 2015, Orléans, France. ⟨lirmm-01240737⟩
  • Rafife Nheili, Philippe Langlois, Christophe Denis. Solutions to ensure the reproducibility of the digital simulation of the effect of waves on the coast. RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France. ⟨lirmm-01179997⟩
  • Rafife Nheili, Philippe Langlois, Christophe Denis. Numerical Reproducibility in open TELEMAC: A Case Study within the Tomawac Library. HPCSET: High Performance Computing Simulation in Energy/Transport Domains, Jul 2015, Frankfurt, Germany. ⟨lirmm-01101715⟩
  • Chemseddine Chohra, Philippe Langlois, David Parello. Efficiency of Reproducible Level 1 BLAS. SCAN: Scientific Computing, Computer Arithmetic, and Validated Numerics, Sep 2014, Würzburg, Germany. pp.99-108, ⟨10.1007/978-3-319-31769-4_8⟩. ⟨lirmm-01101723⟩
  • Chemseddine Chohra, Philippe Langlois, David Parello. Level 1 Parallel RTN-BLAS: Implementation and Efficiency Analysis. SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany. ⟨lirmm-01095172⟩
  • David Parello, Philippe Langlois, Bernard Goossens. Sur la reproductibilité des mesures des performances d'algorithmes numériques avec PerPI. ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. ⟨lirmm-00762024⟩
  • Philippe Langlois, Bernard Goossens, David Parello. Towards a Reliable Performance Evaluation of Accurate Summation Algorithms. SCE: Computational Science and Engineering, SIAM, Feb 2013, Boston, Ma, United States. ⟨hal-01233879⟩
  • David Parello, Bernard Goossens, Philippe Langlois. Améliorer l'analyse de la performance des algorithmes numériques. ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. ⟨lirmm-00762550v2⟩
  • 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. ⟨hal-00821667⟩
  • Bernard Goossens, Philippe Langlois, David Parello, Kathy Porada. Computing Time for Summation Algorithm: Less Hazard and More Scientific Research. Numerical Sofware: Design, Analysis and Verification, Jul 2012, Santander, Spain. ⟨lirmm-00835508⟩
  • Philippe Langlois, Matthieu Martel, Laurent Thévenoux. Accuracy Versus Time: A Case Study with Summation Algorithms. PASCO'10 : Parallel Symbolic Computation 2010, Jul 2010, Grenoble, France. pp.121-130, ⟨10.1145/1837210.1837229⟩. ⟨hal-00477511⟩
  • Bernard Goossens, Philippe Langlois, David Parello, Eric Petit. Performance Evaluation of Core Numerical Algorithms: A Tool to Measure Instruction Level Parallelism. Para: State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavík, Iceland. ⟨hal-00477541v2⟩
  • 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. ⟨hal-00821668⟩
  • Jean-Claude Bajard, Philippe Langlois, Dominique Michelucci, Géraldine Morin, Nathalie Revol. Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics. Advanced Signal Processing Algorithms, Architectures, and Implementations XVIII, Aug 2008, San Diego, United States. 70740M (12 p.), ⟨10.1117/12.796597⟩. ⟨hal-00321291⟩
  • Philippe Langlois, Nicolas Louvet. Faithful Polynomial Evaluation with Compensated Horner Algorithm. ARITH18: 18th IEEE International Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.141--149. ⟨hal-00107222⟩
  • Stef Graillat, Philippe Langlois, Nicolas Louvet. Choosing a twice more accurate dot product implementation. ICNAAM: International Conference of Numerical Analysis and Applied Mathematics, Sep 2006, Hersonnisos, Crete, Greece. pp.498-499. ⟨hal-01351480⟩

Book sections1 document

  • Bernard Goossens, Philippe Langlois, David Parello, Eric Petit. PerPI: A Tool to Measure Instruction Level Parallelism. Applied Parallel and Scientific Computing, LNCS (7133), pp.270-281, 2012, 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I, 978-3-642-36803-5. ⟨10.1007/978-3-642-28151-8_27⟩. ⟨lirmm-01349703⟩

Directions of work or proceedings1 document

Other publications1 document

  • Rafife Nheili, Philippe Langlois. Obtenir des simulations hydrodynamiques numériquement reproductibles. 2016. ⟨lirmm-01309785⟩

Preprints, Working Papers, ...2 documents

  • Laurent Thévenoux, Matthieu Martel, Philippe Langlois. Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs. 2015. ⟨hal-01157509⟩
  • Philippe Langlois, Nicolas Louvet. More Instruction Level Parallelism Explains the Actual Efficiency of Compensated Algorithms. 2007. ⟨hal-00165020⟩

Reports9 documents

  • Chemseddine Chohra, Philippe Langlois, David Parello. Implementation and Efficiency of Reproducible Level 1 BLAS. [Research Report] DALI - UPVD/LIRMM, UCD. 2015. ⟨lirmm-01179986⟩
  • Philippe Langlois, David Parello, Bernard Goossens, Kathy Porada. Less Hazardous and More Scientific Research for Summation Algorithm Computing Times. [Research Report] RR-12021, Lirmm. 2012. ⟨lirmm-00737617⟩
  • Philippe Langlois, Nicolas Louvet. Compensated Horner algorithm in K times the working precision. [Research Report] 2008. ⟨inria-00267077⟩
  • Philippe Langlois. An Automatic Correcting Method. RR-4204, INRIA. 2001. ⟨inria-00072418⟩
  • Philippe Langlois, Nathalie Revol. Validating Polynomial Numerical Computations with Complementary Automatic Methods. [Research Report] RR-4205, INRIA. 2001. ⟨inria-00072417⟩
  • Philippe Langlois. From Rounding Error Estimation to Automatic Correction with Automatic Differentiation. RR-3967, INRIA. 2000. ⟨inria-00072681⟩
  • Philippe Langlois. A Revised Presentation of the CENA Method. RR-4025, INRIA. 2000. ⟨inria-00072615⟩
  • Philippe Langlois. Stochastic Localization of Instability and Deterministic Enhancement of Accuracy for Iterative Algorithms. RR-3966, INRIA. 2000. ⟨inria-00072682⟩
  • Philippe Langlois. Automatic Linear Correction of Rounding Errors. RR-3828, INRIA. 1999. ⟨inria-00072830⟩