DALI
Digits Architectures Logiciels Informatique

Publications de l'équipe DALI


Publications HAL de la structure DALI

2019

Journal articles

titre
Efficient Fixed Base Exponentiation and Scalar Multiplication based on a Multiplicative Splitting Exponent Recoding
auteur
Jean-Marc Robert, Christophe Negre, Thomas Plantard
article
Journal of Cryptographic Engineering, Springer, 2019, 9 (2), pp.115-136. ⟨10.1007/s13389-018-0196-7⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01926767/file/fixed-base-expo-and-scalar-mult-v19.pdf BibTex
titre
Hierarchical approach for deriving a reproducible unblocked LU factorization
auteur
Roman Iakymchuk, Stef Graillat, David Defour, Enrique Quintana-Ortí
article
International Journal of High Performance Computing Applications, SAGE Publications, 2019, pp.#1094342019832968. ⟨10.1177/1094342019832968⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01419813/file/reprolu.pdf BibTex

2018

Conference papers

titre
Performance optimization of the air shower simulation program for the Cherenkov Telescope Array
auteur
Luisa Arrabito, Konrad Bernlöhr, Johan Bregeon, Gernot Maier, Philippe Langlois, David Parello, Guillaume Revy
article
CHEP: Computing in High Energy and Nuclear Physics, Jul 2018, Sofia, Bulgaria
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02057548/file/chep2018.pdf BibTex
titre
Numerical Accuracy Stuff: Tools. . . and Prerequisites
auteur
Philippe Langlois
article
CTAOptSim General Workshop, Dec 2018, Montpellier, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02059798/file/NumAcc_CTAOpt1218.pdf BibTex
titre
Meta-implementation of vectorized logarithm function in binary floating-point arithmetic
auteur
Hugues de Lassus Saint-Geniès, Nicolas Brunie, Guillaume Revy
article
ASAP: Application-specific Systems, Architectures and Processors, Jul 2018, Milan, Italy
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01840853/file/2018-MetaLog.pdf BibTex

Theses

titre
Elementary functions : towards automatically generated, efficient, and vectorizable implementations
auteur
Hugues De Lassus Saint-Genies
article
Other [cs.OH]. Université de Perpignan, 2018. English. ⟨NNT : 2018PERP0010⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01841424/file/These_de-Lassus-Saint-Genies_Hugues_2018.pdf BibTex

Preprints, Working Papers, ...

titre
Efficient Regular Scalar Multiplication on the Jacobian of Hyperelliptic Curve over Prime Field Based on Divisor Splitting
auteur
Christophe Negre, Thomas Plantard
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01852041/file/regular-expo-hyperelliptic-v11.pdf BibTex

2017

Journal articles

titre
Midpoint-Radius Interval-based Method to Deal with Uncertainty in Power Flow Analysis
auteur
Manuel Marin, Federico Milano, David Defour
article
Electric Power Systems Research, Elsevier, 2017, 147, pp.81-87. ⟨10.1016/j.epsr.2017.02.017⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01475577/file/intervalpf.pdf BibTex
titre
Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks
auteur
Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy
article
Journal of Systems Architecture, Elsevier, 2017, 76, pp.133-148. ⟨10.1016/j.sysarc.2016.11.010⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01279628/file/2016-FixedPointLinearAlgebra.pdf BibTex
titre
Computing On Many Cores
auteur
Bernard Goossens, David Parello, Katarzyna Porada, Djallal Rahmoune
article
Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (15), pp.e4120. ⟨10.1002/cpe.4120⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01302904/file/cc-pe.pdf BibTex
titre
Efficient Regular Modular Exponentiation Using Multiplicative Half-Size Splitting
auteur
Christophe Negre, Thomas Plantard
article
Journal of Cryptographic Engineering, Springer, 2017, 7 (3), pp.245-253. ⟨10.1007/s13389-016-0134-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01185249/file/regular-expo-with-half-size-mult7.pdf BibTex
titre
Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time
auteur
Laurent Thévenoux, Philippe Langlois, Matthieu Martel
article
Concurrency and Computation: Practice and Experience, Wiley, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01236919/file/tlm.pdf BibTex
titre
Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions
auteur
Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.2058-2071. ⟨10.1109/TC.2017.2703870⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01844332/file/deLasDefRev16-ieeeTC-revision.pdf BibTex

Conference papers

titre
Asynchronous Power Flow on Graphic Processing Units
auteur
Manuel Marin, David Defour, Federico Milano
article
PDP: Parallel, Distributed and network-Based Processing, Mar 2017, St Petersburg, Russia
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01475578/file/asynchronousPF.pdf BibTex
titre
Reproducible Parallel Simulations in HPC
auteur
Chemseddine Chohra, Philippe Langlois, Rafife Nheilli, David Parello
article
CSE: Computational Science and Engineering, Feb 2017, Altanta, Georgia, United States
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02091186/file/cse2017.pdf BibTex
titre
Efficient Leak Resistant Modular Exponentiation in RNS
auteur
Andrea Lesavourey, Christophe Negre, Thomas Plantard
article
ARITH: Computer Arithmetic, Jul 2017, London, United Kingdom. pp.156-163, ⟨10.1109/ARITH.2017.39⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01925642/file/s11-negre.pdf BibTex

Reports

titre
A Many-core Parallelizing Processor
auteur
Katarzyna Porada, Bernard Goossens
article
[Technical Report] Université de Perpignan Via Domita. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01558374/file/Technical_report.pdf BibTex

Theses

titre
Towards Reproducible, Accurately Rounded and Efficient BLAS
auteur
Chemseddine Chohra
article
Computer Arithmetic. Université de Perpignan Via Domitia (UPVD), 2017. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02025855/file/These%20Finale.pdf BibTex

Preprints, Working Papers, ...

titre
Reproductibilité des expériences de l'article "Analyse et réduction du chemin critique dans l'exécution d'une application
auteur
Katarzyna Porada, David Parello, Bernard Goossens
article
2017
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01600249/file/realis-08.pdf BibTex
titre
FP-ANR: A representation format to handle floating-point cancellation at run-time
auteur
David Defour
article
2017
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01549601/file/cancellation.pdf BibTex

2016

Journal articles

titre
An efficient representation format for fuzzy intervals based on symmetric membership functions
auteur
Manuel Marin, David Defour, Federico Milano
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2016, 43 (3), pp.23:1--23:22. ⟨10.1145/2939364⟩
Accès au bibtex
BibTex
titre
A software scheduling solution to avoid corrupted units on GPUs
auteur
David Defour, Eric Petit
article
Journal of Parallel and Distributed Computing, Elsevier, 2016, 90-91, pp.1--8. ⟨10.1016/j.jpdc.2016.01.001⟩
Accès au bibtex
BibTex

Conference papers

titre
Hierarchical Approach for Deriving a Reproducible LU factorization on GPUs
auteur
Roman Iakymchuk, Stef Graillat, David Defour, Enrique Quintana-Ortí
article
The Numerical Reproducibility at Exascale (NRE16) workshop held as part of the Supercomputing Conference (SC16), Nov 2016, Salt Lake City, UT, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01382645/file/reprolu.abstract.pdf BibTex
titre
First improvements toward a reproducible Telemac-2D
auteur
Rafife Nheili, Philippe Langlois, Christophe Denis
article
XXIIIrd TELEMAC-MASCARET User Conference , Oct 2016, Paris, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01371152/file/TUC_2016_NHEILI.pdf BibTex
titre
Reproducible and Accurate Algorithms for Numerical Linear Algebra
auteur
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
article
PP: Parallel Processing for Scientific Computing, Apr 2016, Paris, France
Accès au bibtex
BibTex
titre
Parallel experiments with RARE-BLAS
auteur
Chemseddine Chohra, Philippe Langlois, David Parello
article
SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2016, Timisoara, Romania. pp.135-138, ⟨10.1109/SYNASC.2016.032⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01349698/file/SYNASC.pdf BibTex
titre
Reproducible, Accurately Rounded and Efficient BLAS
auteur
Chemseddine Chohra, Philippe Langlois, David Parello
article
Euro-Par: Parallel Processing Workshops., Aug 2016, Grenoble, France. pp.609-620, ⟨10.1007/978-3-319-58943-5_49⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01280324/file/REPPAR16.pdf BibTex
titre
Automated design of floating-point logarithm functions on integer processors
auteur
Guillaume Revy
article
ARITH: Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.172-180, ⟨10.1109/ARITH.2016.28⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276677/file/2015-Auto-FpLog.pdf BibTex
titre
Efficient Randomized Regular Modular Exponentiation using Combined Montgomery and Barrett Multiplications
auteur
Andrea Lesavourey, Christophe Negre, Thomas Plantard
article
ICETE: International Joint Conference on e-Business and Telecommunications, Jul 2016, Lisbon, Portugal. pp.368-375, ⟨10.5220/0005998503680375⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01330898/file/randomized-barret-montgomery7.pdf BibTex
titre
Recovering numerical reproducibility in hydrodynamic simulations
auteur
Philippe Langlois, Rafife Nheili, Christophe Denis
article
ARITH: Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.63-70, ⟨10.1109/ARITH.2016.27⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01274671/file/LaNhDe_2016%20%281%29.pdf BibTex
titre
Towards Fast, Accurate and Reproducible LU Factorization
auteur
Roman Iakymchuk, David Defour, Stef Graillat
article
SCAN 2016, 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2016, Uppsala, Sweden. pp.59-60
Accès au bibtex
BibTex
titre
Parallel Locality and Parallelization Quality
auteur
Bernard Goossens, David Parello, Katarzyna Porada, Djallal Rahmoune
article
PMAM: Programming Models and Applications for Multicores and Manycores, Mar 2016, Barcelona, Spain. pp.59-68, ⟨10.1145/2883404.2883410⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01252007/file/pmam_2016.pdf BibTex
titre
Performances de schémas d'évaluation polynomiale sur architectures vectorielles
auteur
Hugues de Lassus Saint-Geniès, Guillaume Revy
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Lab-STICC, Jul 2016, Lorient, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01324740/file/dLSGRe16.pdf BibTex
titre
Enhanced Digital Signature using RNS Digit Exponent Representation
auteur
Thomas Plantard, Jean-Marc Robert
article
WAIFI: Workshop on the Arithmetic of Finite Fields, Department of Mathematics of Ghent University, Jul 2016, Gand, Belgium. pp.177-192, ⟨10.1007/978-3-319-55227-9_13⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01337561/file/paper.pdf BibTex
titre
Reproducible and Accurate Matrix Multiplication
auteur
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
article
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany. pp.126-137, ⟨10.1007/978-3-319-31769-4_11⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01539180/file/IDCG16.pdf BibTex

Habilitation à diriger des recherches

titre
Multiplication in Finite Fields and Elliptic Curves
auteur
Christophe Negre
article
Cryptographie et sécurité [cs.CR]. Université de Montpellier, 2016
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/tel-01385034/file/hdr9.pdf BibTex

Other publications

titre
Obtenir des simulations hydrodynamiques numériquement reproductibles
auteur
Rafife Nheili, Philippe Langlois
article
2016
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01309785/file/HS-recherche-7-DALI.pdf BibTex

Reports

titre
Lazy Leak Resistant Exponentiation in RNS
auteur
Andrea Lesavourey, Christophe Negre, Thomas Plantard
article
[Research Report] DALI (UPVD); LIRMM (UM, CNRS). 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01330927/file/randomized-exponentiation-rns11.pdf BibTex

Theses

titre
How to improve the numerical reproducibility of hydrodynamics simulations: analysis and solutions for one open-source HPC software
auteur
Rafife Nheili
article
Computer Science [cs]. Université de Perpignan Via Domita, 2016. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01418384/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
Paralléliser sur un processeur à beaucoup de coeurs
auteur
Djallal Rahmoune, Bernard Goossens, David Parello, Katarzyna Porada
article
2016
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01330908/file/compas2016_paper_2.pdf BibTex

2015

Journal articles

titre
Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures
auteur
Sylvain Collange, David Defour, Stef Graillat, Roman Iakymchuk
article
Parallel Computing, Elsevier, 2015, 49, pp.83-97. ⟨10.1016/j.parco.2015.09.001⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01206348/file/superaccumulator.pdf BibTex
titre
Transformation of a PID Controller for Numerical Accuracy
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩
Accès au bibtex
BibTex
titre
New Parallel Approaches for Scalar Multiplication in Elliptic Curve over Fields of Small Characteristic
auteur
Christophe Negre, Jean-Marc Robert
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2015, 64 (10), pp.2875-2890. ⟨10.1109/TC.2015.2389817⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00908463/file/parallelization-ecsm8.pdf BibTex

Conference papers

titre
Cas d?études de calculs parallèles numériquement reproductibles
auteur
Philippe Langlois, Chemseddine Chohra, Rafife Nheili
article
Retour d'expéRiences sur la Recherche Reproductible, MISC/CaSciModOT, Dec 2015, Orléans, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01240737/file/rrrr15_sl.pdf BibTex
titre
ExBLAS: Reproducible and Accurate BLAS Library
auteur
Roman Iakymchuk, Sylvain Collange, David Defour, Stef Graillat
article
NRE: Numerical Reproducibility at Exascale, Nov 2015, Austin, TX, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01202396/file/exblas.pdf BibTex
titre
Automatic Source-to-Source Error Compensation of Floating-Point Programs
auteur
Laurent Thévenoux, Philippe Langlois, Matthieu Martel
article
Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. pp.9--16, ⟨10.1109/CSE.2015.11⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01158399/file/LMT15a-ieee.pdf BibTex
titre
Measuring predictability of Nvidia?s GPU warp and block schedulers: Application to the summation problem
auteur
David Defour
article
MCSoC: Embedded Multicore/Many-core Systems-on-Chip, Sep 2015, Turin, Italy. pp.17-24, ⟨10.1109/MCSoC.2015.9⟩
Accès au bibtex
BibTex
titre
Reproducible floating-point atomic addition in data-parallel environment
auteur
David Defour, Sylvain Collange
article
ACSIS, Sep 2015, Lodz, Poland. pp.721-728, ⟨10.15439/2015F86⟩
Accès au bibtex
BibTex
titre
Toward a Core Design to Distribute an Execution on a Many-Core Processor
auteur
Bernard Goossens, David Parello, Katarzyna Porada, Djallal Rahmoune
article
PaCT: Parallel Computing Technologies, Aug 2015, Petrozavodsk, Russia. pp.390-404, ⟨10.1007/978-3-319-21909-7_38⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01152664/file/submited-pact-2015.pdf BibTex
titre
Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation
auteur
Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy
article
ASAP: Application-specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. pp.74-81, ⟨10.1109/ASAP.2015.7245712⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01134232/file/pythagorean_triples.pdf BibTex
titre
Numerical Reproducibility: Feasibility Issues
auteur
Philippe Langlois, Rafife Nheili, Christophe Denis
article
NTMS: New Technologies, Mobility and Security, Jul 2015, Paris, France. pp.1-5, ⟨10.1109/NTMS.2015.7266509⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01141852/file/LangloisNheiliDenis.pdf BibTex
titre
Parallel Approaches for Efficient Scalar Multiplication over Elliptic Curve
auteur
Christophe Negre, Jean-Marc Robert
article
SECRYPT, Jul 2015, Colmar, France. pp.202-209, ⟨10.5220/0005512502020209⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01206530/file/parallelization-with-push5.pdf BibTex
titre
Numerical Reproducibility in open TELEMAC: A Case Study within the Tomawac Library
auteur
Rafife Nheili, Philippe Langlois, Christophe Denis
article
HPCSET: High Performance Computing Simulation in Energy/Transport Domains, Jul 2015, Frankfurt, Germany
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01101715/file/NheiliLangloisDenis.pdf BibTex
titre
Réduction d'argument basée sur les triplets pythagoriciens pour l'évaluation de fonctions trigonométriques
auteur
Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Jun 2015, Lille, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01136772/file/dLSGDR15.pdf BibTex
titre
Trade-off Approaches for Leak Resistant Modular Arithmetic in RNS
auteur
Christophe Negre, Guilherme Perin
article
ACISP: Australasian Conference on Information Security and Privacy, Jun 2015, Brisbane, Australia. pp.107-124, ⟨10.1007/978-3-319-19962-7_7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01143367/file/lra-randomise-rns10.pdf BibTex
titre
Intra-procedural Optimization of the Numerical Accuracy of Programs
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01164340/file/salsa_DMC.pdf BibTex
titre
Efficient Modular Exponentiation Based on Multiple Multiplications by a Common Operand
auteur
Christophe Negre, Thomas Plantard, Jean-Marc Robert
article
ARITH: Computer Arithmetic, INRIA, Jun 2015, Lyon, France. pp.144-151, ⟨10.1109/ARITH.2015.24⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01142327/file/exponentiation-with-optimized-montgomery16.pdf BibTex
titre
Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩
Accès au bibtex
BibTex
titre
Reproducible Triangular Solvers for High-Performance Computing
auteur
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
article
ITNG: Information Technology - New Generations, Apr 2015, Las Vegas, NV, United States. pp.353-358, ⟨10.1109/ITNG.2015.63⟩
Accès au bibtex
BibTex
titre
Recent Advances in Parallel Implementations of Scalar Multiplication over Binary Elliptic Curves
auteur
Christophe Negre, Jean-Marc Robert
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, A.Tisserand; D. Menard; S. Duquesne; S. Collange; N. SaintPierre, Apr 2015, Rennes, France
Accès au bibtex
BibTex
titre
Solutions to ensure the reproducibility of the digital simulation of the effect of waves on the coast
auteur
Rafife Nheili, Philippe Langlois, Christophe Denis
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France
Accès au bibtex
BibTex
titre
An efficient midpoint-radius implementation to handle symmetric fuzzy intervals
auteur
Manuel Marin, David Defour, Federico Milano
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France
Accès au bibtex
BibTex
titre
Reproducibility and Accuracy for High-Performance Computing
auteur
Roman Iakymchuk, Sylvain Collange, David Defour, Stef Graillat
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France
Accès au bibtex
BibTex

Poster communications

titre
Error-free Tables for Trigonometric Function Evaluation
auteur
Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy
article
ARCHI: Architecture des systèmes matériels et logiciels embarqués, et méthodes de conception associées, Jun 2015, Lille, France. 8e édition de l?école thématique Archi, 2015
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01273490/file/Archi15-poster%20%281%29.pdf BibTex
titre
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
auteur
Mohamed Amine Najahi
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontres Arithmétiques de l?Informatique Mathématique, 2015
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277374/file/Raim2015.pdf BibTex
titre
ExBLAS: Reproducible and Accurate BLAS Library
auteur
Roman Iakymchuk, Stef Graillat, Sylvain Collange, David Defour
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontre Arithmétique de l'Informatique Mathématique, 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01140280/file/tikzp.pdf BibTex

Reports

titre
Implementation and Efficiency of Reproducible Level 1 BLAS
auteur
Chemseddine Chohra, Philippe Langlois, David Parello
article
[Research Report] DALI - UPVD/LIRMM, UCD. 2015
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01179986/file/15%20pages.pdf BibTex
titre
An efficient midpoint-radius representation format to deal with symmetric fuzzy numbers
auteur
Manuel Marin, David Defour, Federico Milano
article
[Research Report] DALI - UPVD/LIRMM, UCD. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01140485/file/fuzzyGPU.pdf BibTex

Theses

titre
GPU-ENHANCED POWER FLOW ANALYSIS
auteur
Manuel Marin
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Perpignan Via Domita, 2015. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01299182/file/Thesis.pdf BibTex
titre
Contrer l'attaque Simple Power Analysis efficacement dans les applications de la cryptographie asymétrique, algorithmes et implantations
auteur
Jean-Marc Robert
article
Cryptographie et sécurité [cs.CR]. Université de Perpignan, 2015. Français. ⟨NNT : 2015PERP0039⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01269753/file/These_Robert_Jean-Marc_2015.pdf BibTex

Preprints, Working Papers, ...

titre
Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures
auteur
Sylvain Collange, David Defour, Stef Graillat, Roman Iakymchuk
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00949355/file/superaccumulator.pdf BibTex
titre
Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs
auteur
Laurent Thévenoux, Matthieu Martel, Philippe Langlois
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01157509/file/LMT15b-abstract.pdf BibTex
titre
Linear circuit analysis based on parallel asynchronous fixed-point method
auteur
Manuel Marin, David Defour, Federico Milano
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01142496/file/IntrinsicallyParallel.pdf BibTex
titre
Reproducible Triangular Solvers for High-Performance Computing
auteur
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01116588/file/trsv.pdf BibTex
titre
Reproducible and Accurate Matrix Multiplication for GPU Accelerators
auteur
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102877/file/paper.pdf BibTex

2014

Journal articles

titre
Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination
auteur
Murat Cenk, Anwar Hasan, Christophe Negre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2014, 63 (9), pp.2273-2287. ⟨10.1109/TC.2013.105⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00712090/file/polynomial-block-recombination-ver23.pdf BibTex
titre
First steps towards more numerical reproducibility
auteur
Fabienne Jézéquel, Philippe Langlois, Nathalie Revol
article
ESAIM: Proceedings and Surveys, EDP Sciences, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. ⟨10.1051/proc/201445023⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00872562/file/JezLanRev13.pdf BibTex
titre
Efficient Binary Polynomial Multiplication Based on Optimized Karatsuba Reconstruction
auteur
Christophe Negre
article
Journal of Cryptographic Engineering, Springer, 2014, 4 (2), pp.91--106. ⟨10.1007/s13389-013-0066-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00724778/file/ext-4way-bernstein15.pdf BibTex
titre
A Fast Chaos-Based Pseudo-Random Bit Generator Using Binary64 Floating-Point Arithmetic
auteur
Michael François, David Defour, Christophe Negre
article
Informatica, Slovene Society Informatika, Ljubljana, 2014, 38 (2), pp.115-124
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01024689/file/13_Francois_-_A_Fast_Chaos-Based_Pseudo-Random_Bit_Generator_Using_Binary64_Floating-Point_Arithmetic.pdf BibTex
titre
Pseudo-random number generator based on mixing of three chaotic maps
auteur
Michael François, Thomas Grosges, Dominique Barchiesi, Robert Erra
article
Communications in Nonlinear Science and Numerical Simulation, Elsevier, 2014, 19 (4), pp.887--895. ⟨10.1016/j.cnsns.2013.08.032⟩
Accès au bibtex
BibTex

Conference papers

titre
Software Implementation of Parallelized ECSM over Binary and Prime Fields
auteur
Jean-Marc Robert
article
Inscrypt: Information Security and Cryptology, Dec 2014, Beijing, China. pp.445-462, ⟨10.1007/978-3-319-16745-9_24⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00998277/file/paper.pdf BibTex
titre
Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition
auteur
Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy
article
DASIP: Design and Architectures for Signal and Image Processing, Oct 2014, Madrid, Spain. pp.1-8, ⟨10.1109/DASIP.2014.7115609⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01212806/file/MaNaRe-DASIP2014-submitted.pdf BibTex
titre
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic
auteur
Christophe Mouilleron, Mohamed Amine Najahi, Guillaume Revy
article
SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. pp.141-148, ⟨10.1109/SYNASC.2014.27⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00814338/file/MoNaRe-SYNASC2014-submitted.pdf BibTex
titre
Level 1 Parallel RTN-BLAS: Implementation and Efficiency Analysis
auteur
Chemseddine Chohra, Philippe Langlois, David Parello
article
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01095172/file/scan2014.pdf BibTex
titre
Efficiency of Reproducible Level 1 BLAS
auteur
Chemseddine Chohra, Philippe Langlois, David Parello
article
SCAN: Scientific Computing, Computer Arithmetic, and Validated Numerics, Sep 2014, Würzburg, Germany. pp.99-108, ⟨10.1007/978-3-319-31769-4_8⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01101723/file/ChohraLangloisParello.pdf BibTex
titre
Power Flow Analysis under Uncertainty using Symmetric Fuzzy Arithmetic
auteur
Manuel Marin, David Defour, Federico Milano
article
PES General Meeting 2014 | Conference & Exposition, Jul 2014, National Harbor, MD, United States. pp.1-5, ⟨10.1109/PESGM.2014.6939274⟩
Accès au bibtex
BibTex
titre
Impact des schedulers sur la prédictibilité dans les GPU
auteur
David Defour
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00951916/file/predictabilite_compas.pdf BibTex
titre
Analyse et réduction du chemin critique dans l'exécution d'une application
auteur
Katarzyna Porada, David Parello, Bernard Goossens
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01158433/file/compas2014_submission_8.pdf BibTex
titre
A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic
auteur
Michael François, David Defour, Pascal Berthomé
article
Theory and Applications of Models of Computation, Apr 2014, Chennai, India. pp.229-247, ⟨10.1007/978-3-319-06089-7_16⟩
Accès au bibtex
BibTex
titre
Algorithmes Parallèles de Multiplication Scalaire Optimisée sur Courbes Elliptiques Binaires
auteur
Jean-Marc Robert
article
C2: Journées Codage et Cryptographie, GT-C2, Mar 2014, Les Sept-Laux, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01121960/file/JC2_03-2014.pdf BibTex
titre
FuzzyGPU : a fuzzy arithmetic library for GPU
auteur
Manuel Marin, David Defour
article
PDP: Parallel, Distributed and Network-Based Processing, Feb 2014, Torino, Italy. pp.624-631, ⟨10.1109/PDP.2014.16⟩
Accès au bibtex
BibTex
titre
Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication
auteur
Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy
article
PECCS: Pervasive and Embedded Computing and Communication Systems, Jan 2014, Lisbonne, Portugal. ⟨10.5220/0004884802040214⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00860383/file/MaNaRe-PECCS2014-submitted.pdf BibTex
titre
Reproducible and Accurate Matrix Multiplication for High-Performance Computing
auteur
Sylvain Collange, David Defour, Stef Graillat, Roman Iakymchuk
article
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wuerzburg, Germany. pp.42-43
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01215627/file/scan14-1.pdf BibTex
titre
Exécution en parallèle d'un programme
auteur
Djallal Rahmoune, David Parello, Bernard Goossens
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01574583/file/compasjallal.pdf BibTex
titre
A Reproducible Accurate Summation Algorithm for High-Performance Computing
auteur
Sylvain Collange, David Defour, Stef Graillat, Roman Iakymchuk
article
EX: Exascale Applied Mathematics Challenges and Opportunities, Jul 2014, Chicago, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01267825/file/10-iakymchuk-abstract.pdf BibTex

Habilitation à diriger des recherches

titre
Contribution au calcul sur GPU: considérations arithmétiques et architecturales
auteur
David Defour
article
Architectures Matérielles [cs.AR]. Université de Perpignan, 2014
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/tel-01206379/file/HDR_Defour.pdf BibTex

Other publications

titre
Les nombres réels sur un processeur entier
auteur
Mohamed Amine Najahi, Guillaume Revy
article
2014
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01333809/file/HS-Recherche4-2014-DALI.pdf BibTex

Theses

titre
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
auteur
Mohamed Amine Najahi
article
Computer Science [cs]. Université de Perpignan Via Domitia, 2014. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01158310/file/thesis.pdf BibTex
titre
Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754
auteur
Laurent Thévenoux
article
Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01143824/file/these_thevenoux.pdf https://tel.archives-ouvertes.fr/tel-01143824/file/annexe-slides.pdf BibTex

2013

Journal articles

titre
Multiway Splitting Method for Toeplitz Matrix Vector Product
auteur
Anwar Hasan, Christophe Negre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2013, 62 (7), pp.1467-1471. ⟨10.1109/TC.2012.95⟩
Accès au bibtex
BibTex
titre
Improved Three-Way Split Formulas for Binary Polynomial and Toeplitz Matrix Vector Products
auteur
Murat Cenk, Christophe Negre, Anwar Hasan
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2013, 62 (7), pp.1345-1361
Accès au bibtex
BibTex
titre
Improved Area-Time Trade-offs for Field Multiplication using Optimal Normal Bases
auteur
Jithra Adikari, Ayad Barsoum, Anwar Hasan, Ashkan Namin, Christophe Negre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2013, 62 (1), pp.193-199. ⟨10.1109/TC.2011.198⟩
Accès au bibtex
BibTex

Conference papers

titre
GPUburn: A System to Test and Mitigate GPU Hardware Failures
auteur
Eric Petit, David Defour
article
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), Jul 2013, Samos, Greece. pp.263-270, ⟨10.1109/SAMOS.2013.6621133⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00827588/file/GPUburn_SAMOS.pdf BibTex
titre
Impact of Optimized Operations AB,AC and AB+CD in Scalar Multiplication over Binary Elliptic Curve
auteur
Christophe Negre, Jean-Marc Robert
article
AFRICACRYPT: Cryptology in Africa, Jun 2013, Cairo, Egypt. pp.13-30, ⟨10.1007/978-3-642-38553-7_16⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00724785/file/africacrypt13-scalar-mul-with-abpluscd11.pdf BibTex
titre
Regularity versus Load-Balancing on GPU for treefix computations
auteur
David Defour, Manuel Marin
article
ICCS: International Conference on Computational Science, Jun 2013, Barcelone, Spain. pp.309-318
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00768293/file/treefix.pdf BibTex
titre
Synthesizing Accurate Floating-Point Formulas
auteur
Arnault Ioualalen, Matthieu Martel
article
ASAP: Application-Specific Systems, Architectures and Processors, Jun 2013, Washington, DC, United States. pp.113-116, ⟨10.1109/ASAP.2013.6567563⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00835736/file/main.pdf BibTex
titre
Towards a Reliable Performance Evaluation of Accurate Summation Algorithms
auteur
Philippe Langlois, Bernard Goossens, David Parello
article
SCE: Computational Science and Engineering, SIAM, Feb 2013, Boston, Ma, United States
Accès au bibtex
BibTex
titre
Sur la reproductibilité des mesures des performances d'algorithmes numériques avec PerPI
auteur
David Parello, Philippe Langlois, Bernard Goossens
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00762024/file/realis.pdf BibTex
titre
Améliorer l'analyse de la performance des algorithmes numériques
auteur
David Parello, Bernard Goossens, Philippe Langlois
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00762550/file/sympa15-vfinale.pdf BibTex
titre
Températures, erreurs matérielles et GPU
auteur
David Defour, Eric Petit
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. pp.1-11
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00785386/file/GPU_burn.pdf BibTex

Book sections

titre
Optimiser la représentation des flottants
auteur
David Defour, Manuel Marin
article
HPC Today, 4, pp.65-70, 2013
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Informatique mathématique
auteur
Philippe Langlois
article
Philippe Langlois. France. Première édition, ⟨Presses Universitaires de Perpignan⟩, pp.283, 2013, Etudes, 9782354121839
Accès au bibtex
BibTex

Poster communications

titre
Synthesis of fixed-point programs: the case of matrix multiplication
auteur
Mohamed Amine Najahi
article
EJCIM: École Jeunes Chercheurs en Informatique Mathématique, Apr 2013, Perpignan, France. 13th École Jeunes Chercheurs en Informatique Mathématique (EJCIM 2013) Perpignan, April 12th, 2013, 2013
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277362/file/EJCIM2013.pdf BibTex
titre
État Des Lieux Attaques Passives Courbes Elliptiques
auteur
Jean-Marc Robert
article
EJCIM: École Jeunes Chercheurs en Informatique Mathématique, Apr 2013, Perpignan, France. 2013
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00862374/file/EJCIM2013.pdf BibTex

Reports

titre
A Pseudo-Random Bit Generator Using Three Chaotic Logistic Maps
auteur
Michael François, David Defour
article
[Research Report] LIRMM (UM, CNRS). 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00785380/file/RR-Submitted2013.pdf BibTex
titre
FuzzyGPU: a fuzzy arithmetic library for GPU
auteur
David Defour, Manuel Marin
article
[Research Report] LIRMM. 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00856617/file/fuzzyGPU.pdf BibTex
titre
Improved Three-Way Split Approach for Binary Polynomial Multiplication Based on Optimized Reconstruction
auteur
Christophe Negre
article
[Research Report] RR-1300x, Lirmm. 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00788646/file/ext-bernstein-3way-split-case-v4.pdf BibTex

2012

Journal articles

titre
Sequential Multiplier with Sub-linear Gate Complexity
auteur
Anwar Hasan, Christophe Negre
article
Journal of Cryptographic Engineering, Springer, 2012, 2 (2), pp.91-97. ⟨10.1007/s13389-012-0035-1⟩
Accès au bibtex
BibTex
titre
Toeplitz Matrix Approach for Binary Field Multiplication Using Quadrinomials
auteur
Anwar Hasan, Ashkan Namin, Christophe Negre
article
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, IEEE, 2012, 20 (3), pp.449-458. ⟨10.1109/TVLSI.2011.2106524⟩
Accès au bibtex
BibTex
titre
Block Recombination Approach for Subquadratic Space Complexity Binary Field Multiplication based on Toeplitz Matrix-Vector Product
auteur
Anwar Hasan, Nicolas Méloni, Ashkan Namin, Christophe Negre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2012, 61 (2), pp.151-163. ⟨10.1109/TC.2010.276⟩
Accès au bibtex
BibTex

Conference papers

titre
Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sardana Approach
auteur
Arnault Ioualalen, Matthieu Martel
article
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00698621/file/main.pdf BibTex
titre
Algorithmes et Implémentations Optimisées de Calculs Cryptographiques sur les Courbes Elliptiques Binaires
auteur
Jean-Marc Robert
article
C2: Journées Codage et Cryptographie, GT-C2, Oct 2012, Dinard, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01121958/file/C2-111012.pdf BibTex
titre
Approach based on instruction selection for fast and certified code generation
auteur
Christophe Mouilleron, Mohamed Amine Najahi, Guillaume Revy
article
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00813055/file/MoNaRe12.pdf BibTex
titre
Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic
auteur
Philippe Langlois, Matthieu Martel, Laurent Thévenoux
article
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia
Accès au bibtex
BibTex
titre
Sardana: an Automatic Tool for Numerical Accuracy Optimization
auteur
Arnault Ioualalen, Matthieu Martel
article
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00698619/file/main3.pdf BibTex
titre
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
auteur
Arnault Ioualalen, Matthieu Martel
article
SAS: Static Analysis Symposium, Sep 2012, Deauville, France. pp.75-93
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00698618/file/main.pdf BibTex
titre
Accurate Evaluation of Arithmetic Expressions (Invited Talk)
auteur
Matthieu Martel
article
NSAD: Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. pp.3-16
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00812995/file/NSAD12_martel.pdf BibTex
titre
Towards Faster and Greener Cryptoprocessor for Eta Pairing on Supersingular Elliptic Curve over F_{2^{1223}}
auteur
Adikari Jithra, Anwar Hasan, Christophe Negre
article
Selected Areas in Cryptography, Aug 2012, Windsor, Canada. pp.166-183, ⟨10.1007/978-3-642-35999-6_12⟩
Accès au bibtex
BibTex
titre
Computing Time for Summation Algorithm: Less Hazard and More Scientific Research
auteur
Bernard Goossens, Philippe Langlois, David Parello, Kathy Porada
article
Numerical Sofware: Design, Analysis and Verification, Jul 2012, Santander, Spain
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00835508/file/ifip12_sl.pdf BibTex

Book sections

titre
PerPI: A Tool to Measure Instruction Level Parallelism
auteur
Bernard Goossens, Philippe Langlois, David Parello, Eric Petit
article
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⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01349703/file/para10-lncs.pdf BibTex

Poster communications

titre
Design of Fixed-Point Embedded Systems (defis) French ANR Project
auteur
Daniel Ménard, Romuald Rocher, Olivier Sentieys, Nicolas Simon, Laurent-Stéphane Didier, Thibault Hilaire, Benoît Lopez, Eric Goubault, Sylvie Putot, Franck Vedrine, Mohamed Amine Najahi, Guillaume Revy, Laurent Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti
article
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.365-366, 2012
Accès au bibtex
BibTex
titre
Synthesis of fixed-point programs based on instruction selection, the case of polynomial evaluation
auteur
Mohamed Amine Najahi
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Jun 2012, Dijon, France. 5ièmes Rencontres Arithmétique de l?Informatique Mathématique, 2012
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277361/file/RAIM2012-22062012.pdf BibTex

Reports

titre
Less Hazardous and More Scientific Research for Summation Algorithm Computing Times
auteur
Philippe Langlois, David Parello, Bernard Goossens, Kathy Porada
article
[Research Report] RR-12021, Lirmm. 2012
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00737617/file/hal-scico12.pdf BibTex
titre
Sequential Multiplier with Sub-linear Gate Complexity
auteur
Anwar Hasan, Christophe Negre
article
[Research Report] 2012, pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00712085/file/sub-linv16.pdf BibTex
titre
De quoi est faite une trace d'exécution ?
auteur
Bernard Goossens, Ali El Moussaoui, Ke Chen, David Parello
article
[Research Report] RR-13009, Lirmm. 2012
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00816103/file/papiertsisympa14.pdf BibTex

2011

Journal articles

titre
High performance GHASH and impacts of a class of unconventional bases
auteur
Nicolas Méloni, Christophe Negre, Anwar Hasan
article
Journal of Cryptographic Engineering, Springer, 2011, 1 (3), pp.201-218. ⟨10.1007/s13389-011-0013-z⟩
Accès au bibtex
BibTex
titre
Accélération de la simulation modulaire
auteur
Mourad Bouache, David Parello, Bernard Goossens
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2011, 30 (9/2011), pp.1115-1134. ⟨10.3166/tsi.30.1115-1134⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00675917/file/BoPaGo11.pdf BibTex
titre
Low Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation
auteur
Anwar Hasan, Christophe Negre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (4), pp.602-607
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00813621/file/hasan-negre-dickson-basis9-final.pdf BibTex
titre
Computing floating-point square roots via bivariate polynomial evaluation
auteur
Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.214-227. ⟨10.1109/TC.2010.152⟩
Accès au bibtex
BibTex

Conference papers

titre
RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations
auteur
Matthieu Martel
article
SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2011, Timisoara, Romania. pp.118-122
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00813002/file/synasc11.pdf BibTex
titre
Improved Three-Way Split Formulas for Binary Polynomial Multiplication
auteur
Murat Cenk, Christophe Negre, Anwar Hasan
article
SAC: Selected Areas in Cryptography, Aug 2011, Toronto, Canada. pp.384-398, ⟨10.1007/978-3-642-28496-0_23⟩
Accès au bibtex
BibTex
titre
How to Square Floats Accurately and Efficiently on the ST231 Integer Processor
auteur
Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy
article
ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.77-81, ⟨10.1109/ARITH.2011.19⟩
Accès au bibtex
BibTex
titre
Automatic Generation of Fast and Certified Code for Polynomial Evaluation
auteur
Christophe Mouilleron, Guillaume Revy
article
ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.233-242, ⟨10.1109/ARITH.2011.39⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00531721/file/MouRev11.pdf BibTex
titre
De quoi est fait une trace d'exécution ?
auteur
Bernard Goossens, Ali El Moussaoui, Ke Chen, David Parello
article
SympA: Symposium en Architecture de Machines, Apr 2011, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00675934/file/BoMoKe11.pdf BibTex

Preprints, Working Papers, ...

titre
The mini-square propagation over block cipher and its application to AES and Camellia
auteur
Anwar Hasan, Christophe Negre
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00556843/file/mini-square-attack4.pdf BibTex

Publications antérieures au 1er janvier 2011

Voir ici

Équipe DALI

Université de Perpignan Via Domitia, Bâtiment B - 1er étage, 52 avenue Paul Alduy - F-66860 Perpignan cedex 9, France

LIRMM, CNRS: UMR 5506 - Université Montpellier, 161 rue Ada, 34095 Montpellier Cedex 5, France