Recherche

Publications

• A duality between exceptions and states.
  Avec Jean-Guillaume Dumas, Dominique Duval et Jean-Claude Reynaud.
  Mathematical Structures in Computer Science, 2012.
• Decorated proofs for computational effects: States.
  Avec Jean-Guillaume Dumas, Dominique Duval, et Jean-Claude Reynaud.
  ACCAT 2012 : Applied and Computational Category Theory (ETAPS 2012), pp 12, 24 Mars – 1 Avril 2012, Tallinn, Estonie.
• Benaloh’s Dense Probabilistic Encryption Revisited.
  Progress in Cryptology - AFRICACRYPT 2011 - 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011.
  Avec Pascal Lafourcade et Mohamed Alnuaimi.
• Recursive double-size fixed precision arithmetic.
  Avec Christophe Chabot, Jean-Guillaume Dumas et Pascal Giorgi.
  Rapport de Recherche IMAG-hal-00582593, arXiv. Avril 2011.
• Benaloh’s Dense Probabilistic Encryption Revisited.
  Rapport de recherche, 2011.
  Avec Pascal Lafourcade et Mohamed Alnuaimi.
• Calcul mathématique avec Sage.
  Chapitre de livre, 2010.
  Avec Alexandre Casamayou, Guillaume Connan, Thierry Dumont, François Maltey, Matthias Meulien, Marc Mezzarobba, Clément Pernet, Nicolas M. Thiéry et Paul Zimmermann.
  [BibTeX]
• Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields.
  Journal of Symbolic Computations, Volume 46, issue 7, p 823–840, juillet 2011.
  Avec Jean-Guillaume Dumas et Bruno Salvy.
• States and exceptions are dual effects.
  Rapport de recherche, janvier 2010.
  Avec Jean-Guillaume Dumas, Dominique Duval et Jean-Claude Reynaud.
• Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields.
  Rapport de recherche, HAL, numéro hal-00315772, août 2008.
  Avec Jean-Guillaume Dumas et Bruno Salvy.
  [BibTeX] [PDF] (version locale)
• Compressed Modular Matrix Multiplication.
  MICA'2008: Milestones in Computer Algebra, pp 133-140, Stonehaven Bay, Trinidad and Tobago, 1-3 May 2008.
  Avec Jean-Guillaume Dumas et Bruno Salvy.
  [BibTeX] [PDF] (version locale)
• Intégration numérique avec erreur bornée en précision arbitraire.
  Thèse (sous la direction de Paul Zimmermann), soutenue en décembre 2006.
  [BibTeX] [PDF]
• MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.
  ACM Transactions on Mathematical Software, 33(2), June 2007.
  Avec Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier et Paul Zimmermann.
  [PDF] (Version Rapport de Recherche INRIA) [BibTeX]
• Accurate Multiple-Precision Gauss-Legendre Quadrature.
  In 18th IEEE Symposium on Computer Arithmetic (ARITH-18 2007), 25-27 June 2007, Montpellier, France.
  [PDF] (Version préliminaire) [BibTeX]
• Multiple-Precision Correctly rounded Newton-Cotes quadrature.
  RAIRO Inf Theor. Appl. 41 (2007).
  [PDF] (Version rapport de recherche INRIA) [BibTeX]
• A comparison of polynomial evaluation schemes.
  In 6th Conference on Real Numbers and Computers RNC6. (Dagsthul, Allemagne). 2004.
  Avec Susanne Schmitt.
  [PDF] [BibTeX]
• Accurate Summation: Towards a Simpler and Formal Proof.
  In Proc. of RNC'5, pages 97-108, Mars 2003.
  Avec Paul Zimmermann.
  [PDF] [BibTeX]

Logiciels

• Correctly Rounded Quadrature, la bibliothèque d’intégration numérique démarrée dans le cadre de ma thèse.
  [BibTeX]

J’écris aussi des logiciels qui n’ont pas spécialement leur place dans ma page pro (encore que), vous les trouverez directement depuis ma page d’accueil.

Exposés

Passés :

• 2011-07-07 : Africacrypt 2011, Dakar (Sénégal). (Slides)
• 2011-06-22 : APVP 2011, Toulouse.
• 2011-06-09 : Réunion d’équipe Arénaire, ÉNS Lyon.
• 2010-06-22 : 3rd Annual Canada-France Workshop on Foundations & Practice of Security, Toronto Canada.
• 2010-05-26 : APVP 2010 : Atelier Protection de la Vie Privée, Annecy.
• 2009-10-28 : RAIM'09 : Troisièmes Rencontres Arithmétique de l’Informatique Mathématique, École Normale Supérieure de Lyon.
• 2009-05-05 : Séminaire crypto XLIM, Limoges.
• 2009-03-31 : Séminaire de cryptologie, codage et infrastructures sécurisées, Grenoble.
• 2009-03-26 : Séminaire département MAD, LJK Grenoble.
• 2009-03-12 : Séminaire de Cryptologie GREYC, Caen.
• 2008-09-26 : Réunion d’équipe Arénaire, ÉNS Lyon.
• 2007-11-21 : Journées 2007 de l’ANR GECKO, Sophia Antipolis.
• 2007-06-26 : ARITH 18, Montpellier.
• 2007-06-14 : Séminaire BIPOP-CASYS, Grenoble.
• 2007-01-29 : Journées Nationales de Calcul Formel, Luminy.
• 2007-01-23 : Rencontres arithmétiques de l’informatique mathématique, Montpellier.
• 2006-12-11 : Séminaire ALGO, Paris.
• 2006-06-12 : TYPES Workshop on Numbers and Proofs, Orsay.
• 2006-06-02 : Journées Nationales d’Arithmétique des Ordinateurs, Lyon.
• 2006-01-05 : Séminaire de l’équipe DALI, Perpignan.
• 2005-10-06 : Séminaire de l’équipe ANP, Paris.
• 2004-11-15 : RNC6, Dagstuhl (Allemagne).
• 2004-05-25 : Journées Arinews Printemps 2004, Paris.
• 2003-09-03 : RNC5, École Normale Supérieure de Lyon.