Programme avec les résumés des exposés (pdf).

Mardi 28 juin

Session Arithmétique Flottante - Mioara Joldes (LAAS, CNRS, Toulouse)

• 13h00-14h30. Repas à la résidence.
  
  
• 15h00. Cours  : Claude-Pierre Jeannerod (Aric Team, LIP, ENS-Lyon) :
  Analyse d'algorithmes en arithmétique à virgule flottante. slides
  
  
• 16h00. Valentina Popescu (Aric Team, LIP, ENS-Lyon) :
  A new multiplication algorithm for extended precision using floating-point expansions. slides
  
  
• 16h30. Pause.
  
  
• 17h00. Gregoire Lecerf (LIX, Ecole Polytechnique, Palaiseau) :
  Evaluating Straight-Line Programs over Balls. slides
  
  
• 17h30. Antoine Plet (Aric Team, LIP, ENS-Lyon) :
  Développement d'une bibliothèque pour une arithmétique à virgule flottante symbolique. slides
  
  
• 18h00. Vincent Lefèvre (Aric Team, LIP, ENS-Lyon) :
  Correctly Rounded Arbitrary-Precision Floating-Point Summation. slides
  
  
• 18h30. Fin de session.
  
  
• 19h00-20h00. Repas à la résidence.
  

Mercredi 29 juin

Session Calcul Formel - Pascal Giorgi (LIRMM, Université de Montpellier)

• 8h45. Cours : Clément Pernet (Aric Team, LIP, ENS-Lyon) :
  Calcul algébrique haute performance: comment utiliser l'arithmétique flottante exactement ? slides
  
  
• 9h45. Vincent Neiger (Aric Team, LIP, ENS-Lyon) :
  Fast computation of shifted normal forms of polynomial matrices using polynomial approximation. slides
  
  
• 10h15. Pause.
  
  
• 10h45. Bruno Grenet (LIRMM, Université de Montpellier) :
  Calcul de racines de polynômes sur un corps fini à l'aide de transformées de Graeffe. slides
  
  
• 11h15. Svyatoslav Covanov (Caramba team, LORIA, Université de Lorraine) :
  Fast integer multiplication using generalized Fermat primes. slides
  
  
• 11h45. Fredrik Johansson (LFANT team, INRIA Bordeaux sud-ouest, Institut de Mathématiques de Bordeaux):
  Fast reversion of formal power serie. slides
   
• 12h15. Repas à la résidence.

Session Reproductibilité, Validation et Vérification - Guillaume Revy (DALI/LIRMM, UPVD)

• 14h30. Christophe Denis (CMLA, ENS Cachan, Université Paris-Saclay, CNRS) :
  Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic.
  
  
• 15h00. Chemseddine Chohra (DALI-LIRMM, Université de Perpignan) :
  Une Implémentation Reproductible, Précise et Efficace des BLAS. slides
  
  
• 15h30. Rafife Nheili (DALI-LIRMM, Université de Perpignan) :
  Recovering numerical reproducibility in hydrodynamic simulations. slides
  
  
• 16h00. Pause.
  
  
• 16h30. Sylvie Boldo (Toccatta (INRIA Saclay Ile-de-France), LRI (Université Paris Sud)):
  Renormalisation d'expansions: une vérification formelle. slides
  
  
• 17h15. Guillaume Melquiond (Toccatta (INRIA Saclay Ile-de-France), LRI (Université Paris Sud)):
  Formally Verified Approximations of Definite Integrals. slides
  
  
• 17h45. Pause.
  
  
• 18h00. Intervention du GDR et assemblée générale.
  
  
• 19h00. Fin de la session.
  
  
• 20h00. Repas à la résidence.
  

Jeudi 30 juin

Session Opérateurs - Christoph Lauter (LIP6, UPMC)

• 8h45. Cours  : Florent de Dinechin (Socrate Team, CITI INRIA, INSA-Lyon) :
  Computing the floating-point logarithm with fixed-point operations.  slides
  
  
• 10h15. Pause.
  
  
• 10h45. Bogdan Pasca (Altera, Toulouse) :
  Single Precision Natural Logarithm Architecture for Hard Floating-Point and DSP-Enabled FPGAs.
  
  
• 11h15. Volkova Anastasia (Equipe Pequan, LIP6, Université Pierre et Marie Curie) :
  Towards reliable implementation of digital filters. slides
  
  
• 11h45. De Lassus Saint-Genies Hugues (DALI-LIRMM, Université de Perpignan) :
  Performances de schémas d'évaluation polynomiale sur architectures vectorielles. slides
  
  
• 12h15. Repas à la résidence.

Session Arithmétique et Cryptographie - Christophe Negre (DALI/LIRMM, UPVD)

• 14h00. Nicolas Méloni (IMATH , Université de Toulon) :
  Random Digit Representation of Integers. slides
  
  
• 14h30. Mouhartem Fabrice (Aric Team, LIP, ENS-Lyon) :
  Signatures de Groupes et Réseaux Euclidiens. slides
  
  
• 15h00. Tania Richmond (IMATH, Université de Toulon) :
  DPA on the Secure Bit Permutation in the McEliece PKC. slides
  
  
• 15h30. Jean-Marc Robert (DALI-LIRMM, Université de Perpignan) :
  Enhanced Digital Signature with Radix R and RNS Digits Exponent Representation. slides
  
  
• 16h00. Fin des RAIM 2016.