Philippe Langlois

Publications

Article dans une revue (6)

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 Khattabiet al. Computing and Software for Big Science, 2020, 4, pp.9. ⟨10.1007/s41781-020-00042-y⟩ Article dans une revue lirmm-02884139v1
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
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
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
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
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

Communication dans un congrès (27)

A C++ Cherenkov photons simulation in CORSIKA 8 Matthieu Carrère,Luisa Arrabito,Johan Bregeon,David Parello,Philippe Langloiset al. 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
Augmenter l’impact de la vectorisation par transformation automatique de programmes Harris Ludwig Boudi,Philippe Langlois,Guillaume Revy ComPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France Communication dans un congrès lirmm-04939382v1
Performance optimization of the air shower simulation program for the Cherenkov Telescope Array Luisa Arrabito,Konrad Bernlöhr,Johan Bregeon,Gernot Maier,Philippe Langloiset al. CHEP 2018 - 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
Numerical Accuracy Stuff: Tools. . . and Prerequisites Philippe Langlois CTAOptSim General Workshop, Dec 2018, Montpellier, France Communication dans un congrès lirmm-02059798v1
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
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
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
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
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
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
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
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
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
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
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
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
Améliorer l'analyse de la performance des algorithmes numériques David Parello,Bernard Goossens,Philippe Langlois ComPAS 2013 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France Communication dans un congrès lirmm-00762550v2
Sur la reproductibilité des mesures des performances d'algorithmes numériques avec PerPI David Parello,Philippe Langlois,Bernard Goossens ComPAS 2013 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France Communication dans un congrès lirmm-00762024v1
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
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
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
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
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
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
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

Poster de conférence (1)

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

Ouvrages (1)

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

Chapitre d'ouvrage (1)

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

Autre publication scientifique (1)

Obtenir des simulations hydrodynamiques numériquement reproductibles Rafife Nheili,Philippe Langlois 2016 Autre publication scientifique lirmm-01309785v1

Pré-publication, Document de travail (2)

Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs Laurent Thévenoux,Matthieu Martel,Philippe Langlois 2015 Pré-publication, Document de travail hal-01157509v1
More Instruction Level Parallelism Explains the Actual Efficiency of Compensated Algorithms Philippe Langlois,Nicolas Louvet 2007 Pré-publication, Document de travail hal-00165020v1

Rapport (10)

Implementation and Efficiency of Reproducible Level 1 BLAS Chemseddine Chohra,Philippe Langlois,David Parello [Research Report] DALI - UPVD/LIRMM, UCD. 2015 Rapport (rapport de recherche) lirmm-01179986v1
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 (rapport de recherche) lirmm-00737617v1
Compensated Horner algorithm in K times the working precision Philippe Langlois,Nicolas Louvet [Research Report] 2008 Rapport (rapport de recherche) inria-00267077v1
An Automatic Correcting Method Philippe Langlois RR-4204, INRIA. 2001 Rapport inria-00072418v1
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 (rapport de recherche) hal-02101768v1
Validating Polynomial Numerical Computations with Complementary Automatic Methods Philippe Langlois,Nathalie Revol [Research Report] RR-4205, INRIA. 2001 Rapport (rapport de recherche) inria-00072417v1
Stochastic Localization of Instability and Deterministic Enhancement of Accuracy for Iterative Algorithms Philippe Langlois RR-3966, INRIA. 2000 Rapport inria-00072682v1
A Revised Presentation of the CENA Method Philippe Langlois RR-4025, INRIA. 2000 Rapport inria-00072615v1
From Rounding Error Estimation to Automatic Correction with Automatic Differentiation Philippe Langlois RR-3967, INRIA. 2000 Rapport inria-00072681v1
Automatic Linear Correction of Rounding Errors Philippe Langlois RR-3828, INRIA. 1999 Rapport inria-00072830v1