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