Je suis maître de conférences en informatique à l'Université Joseph Fourier de Grenoble. Je travaille dans l'équipe CASYS au sein du LJK (bureau 14 de la tour IRMA).
Je fais aussi parti du groupe de travail en cryptographie Palo-Alto.
mes publications,
mes logiciels,
mes exposés,
des supports de cours pour certains enseignements,
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.
[PDF] (version locale)
[BibTeX]
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.
[PDF] (version locale)
[BibTeX]
Intégration numérique avec erreur bornée en précision arbitraire.
Thèse, soutenue en décembre 2006.
[PDF]
[BibTeX]
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 Thero. 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.
[PS]
[PDF]
[BibTeX]
Accurate Summation: Towards a Simpler and Formal Proof.
In Proc. of RNC'5, pages 97-108, Mars 2003.
Avec Paul Zimmermann.
[PS]
[PDF]
[BibTeX]
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.
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.
Crypto en M1 math-info (GINF41A4). Quelques supports de cours :
| Adresse : | Bureau 14 tour IRMA 51 rue des Mathematiques BP 53 38041 Grenoble Cedex 9 |
| Téléphone : | +33 (0)4 76 63 58 96 |
| E-mail : | laurent <AT> komite <DOT> net |