Accéder directement au contenu

Philippe Langlois

48
Documents

Publications

Image document

Optimizing Cherenkov photons generation and propagation in CORSIKA for CTA Monte-Carlo simulations

Luisa Arrabito , Matthieu Carrère , Konrad Bernlöhr , Johan J Bregeon , Adnane Khattabi
Computing and Software for Big Science, 2020, 4, pp.9. ⟨10.1007/s41781-020-00042-y⟩
Article dans une revue lirmm-02884139v1
Image document

Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time

Laurent Thévenoux , Philippe Langlois , Matthieu Martel
Concurrency and Computation: Practice and Experience, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩
Article dans une revue hal-01236919v2
Image document

First steps towards more numerical reproducibility

Fabienne Jézéquel , Philippe Langlois , Nathalie Revol
ESAIM: Proceedings and Surveys, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. ⟨10.1051/proc/201445023⟩
Article dans une revue lirmm-00872562v1
Image document

Algorithms for Accurate, Validated and Fast Polynomial Evaluation

Stef Graillat , Philippe Langlois , Nicolas Louvet
Japan Journal of Industrial and Applied Mathematics, 2009, 26 (2-3), pp.191-214. ⟨10.1007/BF03186531⟩
Article dans une revue hal-00285603v1
Image document

Real and complex pseudozero sets for polynomials with applications

Stef Graillat , Philippe Langlois
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.45-56. ⟨10.1051/ita:2007006⟩
Article dans une revue hal-01146488v1
Image document

Additive Symmetric: the Non-Negative Case

Marc Daumas , Philippe Langlois
Theoretical Computer Science, 2003, 291 (2), pp.143-157. ⟨10.1016/S0304-3975(02)00223-2⟩
Article dans une revue inria-00072516v1
Image document

A C++ Cherenkov photons simulation in CORSIKA 8

Matthieu Carrère , Luisa Arrabito , Johan Bregeon , David Parello , Philippe Langlois
CHEP 2021 - 25th International Conference on Computing in High-Energy and Nuclear Physics, May 2021, Online, France. pp.#03011, ⟨10.1051/epjconf/202125103011⟩
Communication dans un congrès hal-03326900v1
Image document

Numerical Accuracy Stuff: Tools. . . and Prerequisites

Philippe Langlois
CTAOptSim General Workshop, Dec 2018, Montpellier, France
Communication dans un congrès lirmm-02059798v1
Image document

Performance optimization of the air shower simulation program for the Cherenkov Telescope Array

Luisa Arrabito , Konrad Bernlöhr , Johan Bregeon , Gernot Maier , Philippe Langlois
23rd International Conference on Computing in High Energy and Nuclear Physics, Jul 2018, Sofia, Bulgaria. pp.05041, ⟨10.1051/epjconf/201921405041⟩
Communication dans un congrès lirmm-02057548v1
Image document

Reproducible Parallel Simulations in HPC

Chemseddine Chohra , Philippe Langlois , Rafife Nheilli , David Parello
CSE: Computational Science and Engineering, Feb 2017, Altanta, Georgia, United States
Communication dans un congrès lirmm-02091186v1
Image document

First improvements toward a reproducible Telemac-2D

Rafife Nheili , Philippe Langlois , Christophe Denis
XXIIIrd TELEMAC-MASCARET User Conference , Oct 2016, Paris, France
Communication dans un congrès lirmm-01371152v1
Image document

Reproducible, Accurately Rounded and Efficient BLAS

Chemseddine Chohra , Philippe Langlois , David Parello
Euro-Par: Parallel Processing Workshops., Aug 2016, Grenoble, France. pp.609-620, ⟨10.1007/978-3-319-58943-5_49⟩
Communication dans un congrès lirmm-01280324v2
Image document

Parallel experiments with RARE-BLAS

Chemseddine Chohra , Philippe Langlois , David Parello
SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2016, Timisoara, Romania. pp.135-138, ⟨10.1109/SYNASC.2016.032⟩
Communication dans un congrès lirmm-01349698v1
Image document

Recovering numerical reproducibility in hydrodynamic simulations

Philippe Langlois , Rafife Nheili , Christophe Denis
ARITH: Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.63-70, ⟨10.1109/ARITH.2016.27⟩
Communication dans un congrès lirmm-01274671v1
Image document

Cas d’études de calculs parallèles numériquement reproductibles

Philippe Langlois , Chemseddine Chohra , Rafife Nheili
Retour d'expéRiences sur la Recherche Reproductible, MISC/CaSciModOT, Dec 2015, Orléans, France
Communication dans un congrès lirmm-01240737v1
Image document

Automatic Source-to-Source Error Compensation of Floating-Point Programs

Laurent Thévenoux , Philippe Langlois , Matthieu Martel
Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. pp.9--16, ⟨10.1109/CSE.2015.11⟩
Communication dans un congrès hal-01158399v1
Image document

Numerical Reproducibility: Feasibility Issues

Philippe Langlois , Rafife Nheili , Christophe Denis
NTMS: New Technologies, Mobility and Security, Jul 2015, Paris, France. pp.1-5, ⟨10.1109/NTMS.2015.7266509⟩
Communication dans un congrès lirmm-01141852v1
Image document

Numerical Reproducibility in open TELEMAC: A Case Study within the Tomawac Library

Rafife Nheili , Philippe Langlois , Christophe Denis
HPCSET: High Performance Computing Simulation in Energy/Transport Domains, Jul 2015, Frankfurt, Germany
Communication dans un congrès lirmm-01101715v1

Solutions to ensure the reproducibility of the digital simulation of the effect of waves on the coast

Rafife Nheili , Philippe Langlois , Christophe Denis
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France
Communication dans un congrès lirmm-01179997v1
Image document

Level 1 Parallel RTN-BLAS: Implementation and Efficiency Analysis

Chemseddine Chohra , Philippe Langlois , David Parello
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany
Communication dans un congrès lirmm-01095172v1
Image document

Efficiency of Reproducible Level 1 BLAS

Chemseddine Chohra , Philippe Langlois , David Parello
SCAN: Scientific Computing, Computer Arithmetic, and Validated Numerics, Sep 2014, Würzburg, Germany. pp.99-108, ⟨10.1007/978-3-319-31769-4_8⟩
Communication dans un congrès lirmm-01101723v1

Towards a Reliable Performance Evaluation of Accurate Summation Algorithms

Philippe Langlois , Bernard Goossens , David Parello
SCE: Computational Science and Engineering, SIAM, Feb 2013, Boston, Ma, United States
Communication dans un congrès hal-01233879v1
Image document

Améliorer l'analyse de la performance des algorithmes numériques

David Parello , Bernard Goossens , Philippe Langlois
ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France
Communication dans un congrès lirmm-00762550v2
Image document

Sur la reproductibilité des mesures des performances d'algorithmes numériques avec PerPI

David Parello , Philippe Langlois , Bernard Goossens
ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France
Communication dans un congrès lirmm-00762024v1
Image document

Computing Time for Summation Algorithm: Less Hazard and More Scientific Research

Bernard Goossens , Philippe Langlois , David Parello , Kathy Porada
Numerical Sofware: Design, Analysis and Verification, Jul 2012, Santander, Spain
Communication dans un congrès lirmm-00835508v1

Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic

Philippe Langlois , Matthieu Martel , Laurent Thévenoux
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia
Communication dans un congrès hal-00821667v1
Image document

Accuracy Versus Time: A Case Study with Summation Algorithms

Philippe Langlois , Matthieu Martel , Laurent Thévenoux
PASCO'10 : Parallel Symbolic Computation 2010, Jul 2010, Grenoble, France. pp.121-130, ⟨10.1145/1837210.1837229⟩
Communication dans un congrès hal-00477511v1
Image document

Performance Evaluation of Core Numerical Algorithms: A Tool to Measure Instruction Level Parallelism

Bernard Goossens , Philippe Langlois , David Parello , Eric Petit
Para: State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavík, Iceland
Communication dans un congrès hal-00477541v2

Trade-off Between Accuracy and Time for Automatically Generated Summation Algorithms

Philippe Langlois , Matthieu Martel , Laurent Thévenoux
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2010, Lyon, France
Communication dans un congrès hal-00821668v1

Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics

Jean-Claude Bajard , Philippe Langlois , Dominique Michelucci , Géraldine Morin , Nathalie Revol
Advanced Signal Processing Algorithms, Architectures, and Implementations XVIII, Aug 2008, San Diego, United States. 70740M (12 p.), ⟨10.1117/12.796597⟩
Communication dans un congrès hal-00321291v1
Image document

Faithful Polynomial Evaluation with Compensated Horner Algorithm

Philippe Langlois , Nicolas Louvet
ARITH18: 18th IEEE International Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.141--149
Communication dans un congrès hal-00107222v1
Image document

Choosing a twice more accurate dot product implementation

Stef Graillat , Philippe Langlois , Nicolas Louvet
ICNAAM: International Conference of Numerical Analysis and Applied Mathematics, Sep 2006, Hersonnisos, Crete, Greece. pp.498-499
Communication dans un congrès hal-01351480v1
Image document

Reproducible and Accurate Parallel Triangular Solver

Chemseddine Chohra , Philippe Langlois , David Parello
ICIAM 2019 - 9th International Congress on Industrial and Applied Mathematics, Jul 2019, Valencia, Spain. SIAM
Poster de conférence lirmm-02427986v1

Informatique mathématique

Philippe Langlois
Philippe Langlois. Presses Universitaires de Perpignan, Première édition, pp.283, 2013, Etudes, 9782354121839
Ouvrages lirmm-00835506v1
Image document

PerPI: A Tool to Measure Instruction Level Parallelism

Bernard Goossens , Philippe Langlois , David Parello , Eric Petit
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⟩
Chapitre d'ouvrage lirmm-01349703v1
Image document

Implementation and Efficiency of Reproducible Level 1 BLAS

Chemseddine Chohra , Philippe Langlois , David Parello
[Research Report] DALI - UPVD/LIRMM, UCD. 2015
Rapport lirmm-01179986v1
Image document

Less Hazardous and More Scientific Research for Summation Algorithm Computing Times

Philippe Langlois , David Parello , Bernard Goossens , Kathy Porada
[Research Report] RR-12021, Lirmm. 2012
Rapport lirmm-00737617v1
Image document

Compensated Horner algorithm in K times the working precision

Philippe Langlois , Nicolas Louvet
[Research Report] 2008
Rapport inria-00267077v1
Image document

Validating Polynomial Numerical Computations with Complementary Automatic Methods

Philippe Langlois , Nathalie Revol
[Research Report] RR-4205, INRIA. 2001
Rapport inria-00072417v1
Image document

An Automatic Correcting Method

Philippe Langlois
RR-4204, INRIA. 2001
Rapport inria-00072418v1
Image document

Additive symmetric: the non-negative case

Marc Daumas , Philippe Langlois
[Research Report] LIP RR-2001-06, Laboratoire de l'informatique du parallélisme. 2001, 2+11p
Rapport hal-02101768v1
Image document

A Revised Presentation of the CENA Method

Philippe Langlois
RR-4025, INRIA. 2000
Rapport inria-00072615v1
Image document

From Rounding Error Estimation to Automatic Correction with Automatic Differentiation

Philippe Langlois
RR-3967, INRIA. 2000
Rapport inria-00072681v1
Image document

Stochastic Localization of Instability and Deterministic Enhancement of Accuracy for Iterative Algorithms

Philippe Langlois
RR-3966, INRIA. 2000
Rapport inria-00072682v1
Image document

Automatic Linear Correction of Rounding Errors

Philippe Langlois
RR-3828, INRIA. 1999
Rapport inria-00072830v1