Clément Pernet Maître de conférence UJF en délégation au LIP clement.pernet@imag.fr My pgp key Browse my calendar

LIP - AriC, CNRS, Inria, Univ. de Lyon. Laboratoire de l'Informatique du Parallélisme École normale supérieure de Lyon 46 Allée d'Italie 69364 LYON Cedex 07- France Office: GN1 Sud 314 tel: +33 (0)4 72 72 86 83 fax: +33 (0)4 72 72 80 80

Publications

In the pipeline

• Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition (hal-01251223)
  Jean-Guillaume Dumas, Clément Pernet and Ziad Sultan
  Preprint, in submission. 2015

Book chapters

• Calcul mathématique avec Sage, Ch. 8: Algèbre linéaire
  (version électronique, impression sur Amazon.fr, Createspace)
  A. Casamayou, G. Connan, T. Dumont, L. Fousse, F. Maltey, M. Meulien, M. Mezzarobba, C. Pernet, N. Thiéry, P. Zimmermann
  Distribué sous license CC-by-sa
• Handbook of Finite Fields, Ch. Computational linear algebra over finite fields (CRC Press)
  G. Mullen and D Panario editors.

Articles in journals and refereed conference proceedings

2016

• Computing with Quasiseparable Matrices (hal-01264131)
  Clément Pernet
  ISSAC'16

2015

• Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination (hal-01084238, doi:10.1016/j.parco.2015.10.003)
  Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch, Clément Pernet and Ziad Sultan
  Parallel Computing (in Press). 2015
• Computing the Rank Profile Matrix (pdf@ACM, hal-01107722)
  Jean-Guillaume Dumas, Clément Pernet and Ziad Sultan
  ISSAC'15.

2014

• Elements of Design for Containers and Solutions in the LinBox library (extended abstract)
  Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet and B. David Saunders
  ICMS'14
• Sparse polynomial interpolation codes and their decoding beyond half the minimum distance (pdf@ACM, revised pdf, arXiv:1403.3594)
  Erich L. Kaltofen and Clément Pernet
  ISSAC'14
• Parallel computation of echelon forms (hal)
  Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet and Ziad Sultan.
  EUROPAR'14

2013

• Simultaneous computation of the row and column rank profiles (pdf@ACM, arXiv, Slides)
  Jean-Guillaume Dumas, Clément Pernet and Ziad Sultan.
  ISSAC'13, June 2013
• Rank-profile revealing Gaussian elimination and the CUP matrix decomposition (S. Direct, pdf, arXiv)
  C-P. Jeannerod, C. Pernet and A. Storjohann
  Journal of Symbolic Computation. vol 56, Sept 2013.
• On decoding of quasi-BCH codes (hal archive)
  Morgan Barbier, Clément Pernet and Guillaume Quintin.
  WCC'13, Apr. 2013

2012

• Sparse Polynomial Interpolation and Berlekamp/Massey Algorithms That Correct Outlier Errors in Input Values (pdf@ACM, revised pdf,Slides)
  Matthew Comer, Erich Kaltofen and Clément Pernet.
  ISSAC'12, Jul 2012.

2010

• LinBox founding scope allocation, parallel building blocks, and separate compilation (pdf)
  Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet and David Saunders
  Internation Congress on Mathematical Software, Kobe, Sept 13-17, 2010.
• Efficient Decomposition of Dense Matrices over GF(2) (arXiv)
  Martin Albrecht and Clément Pernet.
  Workshop on tools for Cryptanalysis, June 2010.
• Output sensitive decoding for redundant residue sytems (pdf@ACM)
  Majid Khonji, Clément Pernet, Jean-Louis Roch, Thomas Roche, and Thomas Stalinski.
  ISSAC'10, Jul 25, 2010.
• Fast computation of Hermite normal forms of random integer matrices, (pdf)
  Clément Pernet and William Stein
  J. Number Theory (2010), doi:10.1016/j.jnt.2010.01.017

2009

• Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm (pdf@ACM, slides)
  Brice Boyer, Jean-Guillaume Dumas, Clément Pernet and Wei Zhou.
  ISSAC'09, Jul 28, 2009.
• On finding multiplicities of characteristic polynomial factors of black-box matrices (pdf@ACM, slides)
  Jean-Guillaume Dumas, Clément Pernet and David Saunders.
  ISSAC'09, Jul 28, 2009.

2008

• Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages (pdf@ACM, arXiv )
  Jean-Guillaume Dumas, Pascal Giorgi and Clément Pernet
  Transaction on Mathematical Software.Vol. 35, num. 3, 34 pp, Nov. 2008.

2007

• Faster algorithms for the characteristic polynomial (pdf@ACM, slides)
  Clément Pernet and Arne Storjohann,
  ISSAC'07, jul. 29 - aug. 1 2007, Waterloo Ontario, Canada.

2006

• Adaptive Triangular System Solving (pdf)
  Jean-Guillaume Dumas, Jean-Louis Roch and Clément Pernet
  Dagstuhl Seminar Proceedings -- Challenges in Symbolic Comp. Soft. jul 2006, Dagstuhl, Germany.

2005

• Efficient Computation of the Characteristic Polynomial (pdf@ACM, arXiv, slides)
  Jean-Guillaume Dumas, Clément Pernet and Zhendong Wan
  ISSAC'05, jul. 24-27 2005, Beijing China.

2004

• FFPACK: Finite Field Linear Algebra Package (pdf@ACM, slides)
  Jean-Guillaume Dumas, Pascal Giorgi and Clément Pernet
  ISSAC'04, jul. 4-7, 2004, Santander España.

2002

• Finite Fields Linear Algebra Subroutines (pdf@ACM, Slides)
  Jean-Guillaume Dumas, Thierry Gautier and Clément Pernet
  ISSAC'02, jul. 7-10, 2002, Lille, France.

Posters

• Secured Outsourced Linear Algebra
  Amrit Kumar, Clément Pernet and Jean-Louis Roch (hal-00926445)
  SafeComp 2013, sept 24-27. Toulouse, France
  
• LU based algorithms for the characteristic polynomial over a finite field (abstract@ACM, pdf)
  Clément Pernet and Zhendong Wan
  ISSAC'03, aug. 4-10 2003, Philadelphia, USA
  
• LUdivine: A Symbolic block LU factorisation for matrices over finite fields using BLAS (pdf)
  Morgan Brassel, Pascal Giorgi and Clément Pernet
  ECCAD'03: East Coast Computer Algebra Day, apt. 5, 2003, Clemson, USA
  

Reports

• High Performance and Reliable Algebraic Compting (Slides, Manuscript)
  Habilitation à diriger des recherches Université J. Fourier, Grenoble 1. 21 Nov. 2014.
• Efficient Dense Gaussian Elimination over the Finite Field with Two Elements (arXiv)
  M. Albrecht, G. Bard and C. Pernet
  arXiv:1111.6549v1 tech report, in submission. Nov 2011.
• Frobenius form in expected matrix multiplication time over sufficiently large fields (pdf)
  Clément Pernet and Arne Storjohann.
  Tech report, 2007.
• The report of my work during my first post-doctoral period at the Symbolic Computation Group at University of Waterloo, Ontario, Canada.
• Algèbre linéaire exacte efficace : le calcul du polynôme caractéristique (pdf)
  PhD dissertation, University Joseph Fourier (Grenoble 1, France). sept. 27, 2006.
• Computing the Kalman form (arXiv)
  Rapport de recherche IMAG-ccsd-00009558, ArXiv:cs/0510014v4 [cs.SC], oct. 2005.
• Calcul du polynôme caractéristique sur des corps finis (ps.gz)
  Master thesis dissertation, University Joseph Fourier (Grenoble 1, France). jun. 30, 2003
• Implementation of Winograd's algorithm over finite fields using ATLAS level 3 BLAS (ps.gz)
  Tech. report IMAG-ID

Talks

• Computing the Rank Profile Matrix (Slides)
  AriC Seminar. Lab. de l'Informatique du Parallélisme, ENS de Lyon. Oct. 8, 2015.
• High Performance Computer Algebra: How to Use Floating Point Arithmetic Exactly ? (Slides)
  Journée recherche informatique et calcul. Lab. de l'Informatique du Parallélisme, Lyon. Sept. 29, 2015.
• Exact Linear Algebra Algorithmic: Theory and Practice ( pdf@ACM, Slides)
  Tutorial presentation at ISSAC '15. Bath, UK. Jul. 6-9, 2015.
• Parallel Computation of Echelon Forms and Rank Profiles (Slides)
  Minisymposium on High Performance Symbolic Computation.
  SIAM conf. on Parallel Processing for Scientific Computing. Portland, OR, USA. Feb. 18-21, 2014.
• (Sparse) Interpolation with Outliers (Slides)
  Minisymposium on Sparse models, interpolation and polynomials.
  SIAM meeting on Applied Algebraic Geomety 2013. Fort Collins, CO, USA. Aug 1-4, 2013.
• Simultaneous computation of the row and column rank profiles
  Minisymposium on Exact Linear Algebra Algorithms
  SIAM meeting on Applied Algebraic Geomety 2013. Fort Collins, CO, USA. Aug 1-4, 2013.
• Adaptive decoding for dense and sparse evaluation/interpolation codes (pdf)
  Séminaire Calcul formel et Codes, IRMAR, Rennes, 23 novembre. 2012.
• Computing canonical forms in exact linear algebra (pdf)
  Plenary lecture at ECRYPT II Summer School on Tools, Mykonos, Greece, June 1st. 2012.
• Parallel programming tools for exact linear algebra (pdf)
  Plenary lecture at ECRYPT II Summer School on Tools, Mykonos, Greece, June 1st. 2012.
• Adaptive decoding for evaluation/interpolation codes
  Séminaire Codage Cryptologie et Algorithmes, IHP, UPMC, Paris Fev 3rd, 2012.
• Elimination and echelon forms in exact linear algebra
  SIAM workshop on Applied Algebraic Geometry, NCSU, Raleigh, NC, USA., Oct 7, 2011.
• Elimination and echelon forms in exact linear algebra (pdf)
  Invited talk at the East Coast Computer Algebra Day, U of Waterloo, ON, Canada, Apr 9, 2011.
• Adaptive decoding for evaluation/interpolation codes (pdf)
  Algebra Seminar, C. Shannon Institure, UC Dublin, Ireland, June 3rd, 2010.
• Décodage adaptatif pour les systèmes multimodulaires redondants (pdf)
  Journées nationales du Calcul Formel, 3-7 Mai 2010, CIRM Luminy, France.
• Décodage adaptatif pour les systèmes multimodulaires redondants (pdf)
  Séminaire du Groupe de Travail ARENAIRE, LIP, ENS-Lyon, 25 Mars 2010.
• Calcul efficace de la forme normale de Hermite de matrices entières (pdf)
  Séminaire du projet ALGORITHMS, INRIA Rocquencourt, 11 Janvier 2010.
• Parallel adaptive computing with Kaapi middleware (pdf)
  Second workshop of the joint laboratory for petascale computing, Urbana Champaign, IL, USA, Dec 2, 2009.
• Exact linear algebra tools for computer assisted proofs (pdf)
  Dagstuhl Seminar, Dagstuhl Germany, Nov 19, 2009.
• Calcul intensif, algèbre linéaire exact et applications (pdf)
  1ère journée du GDR Calcul, Institut Henri Poincaré, Paris, Nov 10, 2009.
• The LinBox library (pdf)
  Combinatorial and Algebraic Topology Workshop, Sandia Labs, Santa Fe, NM, USA. Aug 29, 2009.
• Computing exactly with unsafe resources: fault tolerant exact linear algebra and cloud computing (pdf)
  Sage Days 16, Universitat Politècnica de Catalunya, Barcelona, Spain. June 23, 2009.
• Design perspectives for exact linear algebra libraries (pdf)
  Number Theory and computation seminar, U. of Washington, Seattle, WA, USA. Nov. 13, 2008.
• Efficient Exact Linear Algebra over GPU (pdf)
  Sage Days 9, Simon Fraser University, Burnaby, Canada, aug. 15, 2008.
• What can you compute exactly whith floating point linear algebra. (pdf)
  Sage Seminar, University of Washington, Dept. of Mathematics, jan. 24, 2008.
• Algèbre linéaire dense dans des petits corps finis: théorie et pratique.
  Séminaire CACAO, INRIA-LORIA, Nancy, nov. 29, 2007.
• Algèbre linéaire dense dans des petits corps finis: théorie et pratique.
  Groupe de travail ARENAIRE, LIP-ENS, Lyon, nov. 28, 2007.
• Fast exact linear algebra: LinBox (pdf)
  Sage Days 6, Universty of Bristol, UK, nov. 11, 2007.
• Matrix multiplication based computations of the characteristic polynomial
  Seminar at the University of Calgary, Canada, oct. 31, 2007.
• Recent advances in exact linear algebra
  Seminar of Algorithms and Complexity, University of Toronto, dpt. of Mathematics, oct. 15, 2007.
• Matrix multiplication based exact linear algebra: how asymptotic and practical efficiency meet
  SAGE Days 3, IPAM-UCLA, Los Angeles, USA, feb. 2007
• Matrix multiplication based computations of the characteristic polynomial (pdf)
  ORCCA Joint lab. meeting, University of Western Ontario, London, Canada, feb. 2007
• Parallel perspectives for the LinBox library ( pdf)
  Interactive Parallel Computation, MSRI workshop, Berkeley, USA, jan 2007
• Algorithmique dense pour le calcul du polynome caractéristique
  Journées nationales du calcul formel, Luminy, nov 2005
• Calcul du polynome caractéristique sur des corps finis
  Ecole jeunes chercheurs en algorithmique et calcul formel, Grenoble, apr 2004
• Etude du conditionnement de classes de matrices complexes (pdf)
  Fall meeting of the laboratory of modelisation and computation, Sept 2004.
  
• Algorithmes probabilistes : application en cryptographie et en algèbre linéaire
  Séminaire compréhensible Institut Fourier - Lab. de Modélisation et Calcul, jan 2003

Curriculum Vitae

Français.