Imprimer ce Page

Programme

Mardi 7 avril :

  • 11h30 – 12h45 : Accueil
  • 12h45 – 13h45 : Repas
  • 14h00 – 14h15 : Ouverture RAIM 2015
  • 14h15 – 17h45 : Session outils pour l’arithmétique des ordinateurs (resp. : Sylvain Collange)

    • Olga Kupriianova (LIP6).
      Metalibm: génération de fonctions mathématiques
    • Silviu Filip (AriC/LIP).
      The Parks McClellan algorithm: a scalable approach for designing FIR filters
    • Chemseddine Chohra (LIRMM/UPVD)
      Reproducible level 1 on massively parallel systems
    • Roman Iakymchuk (LIP6).
      Reproducibility and Accuracy for High-Performance Computing
    • 16h00 – 16h30 : Pause
    • Manuel Marin (LIRMM/UPVD).
      Fuzzy Arithmetic on GPU
    • Pacôme Eberhart (LIP6).
      Validation numérique haute performance avec l’arithmétique stochastique
    • François Févotte (EDF R&D ).
      L’arithmétique stochastique sans recompiler

Mercredi 8 avril :

  • 9h00 – 12h30 : Session arithmétique pour la crypto. (resp. : Sylvain Duquesne)

    • Cours invité (50 minutes) : Christophe Nègre (LIRMM/UPVD).
      Recent Advances in Parallel Implementations of Scalar Multiplication over Binary Elliptic Curves
    • Hugo Labrande (LORIA/INRIA Nancy, University of Calgary).
      Calcul de la fonction thêta de Jacobi en temps quasi-optimal
    • 10h30 – 11h00 : Pause
    • Amine Mrabet (Univ. Paris 8).
      Architecture hardware pour l’algorithme de Montgomery
    • Hamza Jeljeli (LORIA).
      RNS Arithmetic for Linear Algebra of Discrete Logarithm Computations Using Parallel Architectures
    • Karim Bigou (CNRS-IRISA).   thèse soutenue en novembre 2014
      Calcul modulaire en RNS pour les applications cryptographiques
  • 12h45 – 13h45 : Repas
  • 14h00 – 15h00 : Cours invité ouverture thématique en crypto. (50 minutes): Leo Ducas (CWI Amsterdam).
    Algorithmes d’échantillonnages haute précision sur les réseaux euclidiens et leur rôle en cryptographie
  • 15h00 – 17h30 : Session posters et démos (resp. : Arnaud Tisserand)

    • Benjamin Barrois (IRISA).
      Poster : Approximative arithmetic operators: a need for new metrics?
    • Roman Iakymchuk (LIP6).
      Poster : ExBLAS: Reproducible and Accurate BLAS Library
    • Karim Bigou (CNRS-IRISA).
      Poster : Calcul modulaire en RNS pour les applications cryptographiques
    • Gabriel Gallin (CNRS-IRISA).
      Poster : Accélérateur(s) matériel(s) pour HECC
    • Matei Istoan (INSA Lyon, CITI Lab)
      Poster : Filters computing just right
    • Nicolas Simon (INRIA-IRISA).
      Démo : outil ID.Fix: An EDA Tool for Fixed-Point Refinement of Embedded Systems
    • François Févotte (EDF R&D ).
      Démo : L’arithmétique stochastique sans recompiler
    • Olga Kupriianova (LIP6).
      Démo : Metalibm: génération de fonctions mathématiques
    • 16h00 – 16h30 : Pause
    • Suite de la session posters et démos
  • 17h30 – 19h00 : Assemblée Générale du GT ARITH
  • 19h30 – 21h30 : Dîner
  • entre 21h30 et 22h00 : bus de retour au centre ville de Rennes

Jeudi 9 avril :

  • 9h00 – 10h00 : Session arithmétique à basse consommation d’énergie  (resp. : Daniel Ménard)

    • Benoit Lopez (LIP6).      thèse soutenue en novembre 2014
      Optimisation des largeurs pour l’implantation des filtres linéaires en arithmétique virgule fixe
    • Amine Najahi (LIRMM/UPVD).
      Briques de base d’algèbre linéaire en arithmétique à virgule fixe
    • Gael Deest (IRISA).
      Analyse efficace des systèmes linéaires multidimensionnels pour l’optimisation de l’implémentation en virgule fixe
  • 10h30 – 11h00 : Pause
  • 11h00 – 12h45 : Session autres thématiques
    • Rafife Nheili (LIRMM/UPVD).
      Solutions pour assurer la reproductibilité numérique de la simulation de l’effet des vagues sur les côtes
    • Laurent Thévenoux (LIRMM/UPVD).   thèse soutenue en juillet 2014
      Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754
    • Valentina Popescu (AriC/LIP).
      CAMPARY (CudA Multiple Precision ARithmetic librarY)
    • Antoine Plet (AriC/LIP).
      Calculs avec des nombres à virgule flottante paramétrés par la précision
  • 12h40 : Clôture RAIM 2015
  • 12h45 – 13h45 : Repas

Lien Permanent pour cet article : https://raim2015.inria.fr/programme/