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⟩

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. CHEP: 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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Philippe Langlois. Informatique mathématique : Une photographie en 2013. Philippe Langlois. France. Première édition, Presses Universitaires de Perpignan, pp.283, 2013, Etudes, 9782354121839. ⟨lirmm-00835506⟩

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

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⟩

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⟩