Skip to Main content
Number of documents

46


Journal articles6 documents

  • Luisa Arrabito, Matthieu Carrère, Konrad Bernlöhr, Johan Bregeon, Adnane Khattabi, et al.. Optimizing Cherenkov photons generation and propagation in CORSIKA for CTA Monte-Carlo simulations. Computing and Software for Big Science, Springer, 2020, 4, pp.9. ⟨10.1007/s41781-020-00042-y⟩. ⟨lirmm-02884139⟩
  • 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 papers26 documents

  • Chemseddine Chohra, Philippe Langlois, David Parello. Reproducible and Accurate Parallel Triangular Solver. 9th International Congress on Industrial and Applied Mathematics (ICIAM), Jul 2019, Valencia, Spain. ⟨lirmm-02427986⟩
  • Philippe Langlois. Numerical Accuracy Stuff: Tools. . . and Prerequisites. CTAOptSim General Workshop, Dec 2018, Montpellier, France. ⟨lirmm-02059798⟩
  • 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. 23rd International Conference on Computing in High Energy and Nuclear Physics, Jul 2018, Sofia, Bulgaria. pp.05041, ⟨10.1051/epjconf/201921405041⟩. ⟨lirmm-02057548⟩
  • 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⟩
  • 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⟩
  • 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, 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⟩
  • 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, 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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. 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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. 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. From Rounding Error Estimation to Automatic Correction with Automatic Differentiation. RR-3967, INRIA. 2000. ⟨inria-00072681⟩
  • Philippe Langlois. Automatic Linear Correction of Rounding Errors. RR-3828, INRIA. 1999. ⟨inria-00072830⟩