Accéder directement au contenu
Nombre de documents

45

Publications de Clément Pernet


Article dans une revue11 documents

  • David Lucas, Vincent Neiger, Clement Pernet, Daniel Roche, Johan Rosenkilde. Verification Protocols with Sub-Linear Communication for Polynomial Matrix Operations. Journal of Symbolic Computation, Elsevier, 2021, 105, pp.165--198. ⟨10.1016/j.jsc.2020.06.006⟩. ⟨hal-01829139v2⟩
  • Vincent Neiger, Clément Pernet. Deterministic computation of the characteristic polynomial in the time of matrix multiplication. Journal of Complexity, Elsevier, 2021, 67, pp.101572. ⟨10.1016/j.jco.2021.101572⟩. ⟨hal-02963147v2⟩
  • Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic. Some fast algorithms multiplying a matrix by its adjoint. Journal of Symbolic Computation, Elsevier, In press. ⟨hal-03095393⟩
  • Jean-Guillaume Dumas, Erich Kaltofen, David Lucas, Clément Pernet. Elimination-based certificates for triangular equivalence and rank profiles. Journal of Symbolic Computation, Elsevier, 2020, 98, pp.246-269. ⟨10.1016/j.jsc.2019.07.013⟩. ⟨hal-02191075⟩
  • Claude-Pierre Jeannerod, Théo Mary, Clément Pernet, Daniel Roche. Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic. SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2019, 40 (4), pp.1478-1496. ⟨10.1137/19M1255628⟩. ⟨hal-02008666v4⟩
  • Clement Pernet, Arne Storjohann. Time and space efficient generators for quasiseparable matrices. Journal of Symbolic Computation, Elsevier, 2018, Special issue on the 41th International Symposium on Symbolic and Alge-braic Computation (ISSAC’16), 85, pp.224-246. ⟨10.1016/j.jsc.2017.07.010⟩. ⟨hal-01424252v2⟩
  • Jean-Guillaume Dumas, Clement Pernet, Ziad Sultan. Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition. Journal of Symbolic Computation, Elsevier, 2017, Special issue on ISSAC'15, 83, pp.187-210. ⟨10.1016/j.jsc.2016.11.011⟩. ⟨hal-01251223v2⟩
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan. Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. Parallel Computing, Elsevier, 2016, 57, pp.235-249. ⟨10.1016/j.parco.2015.10.003⟩. ⟨hal-01084238v2⟩
  • Claude-Pierre Jeannerod, Clément Pernet, Arne Storjohann. Rank-profile revealing Gaussian elimination and the CUP matrix decomposition. Journal of Symbolic Computation, Elsevier, 2013, 56, pp.46-68. ⟨10.1016/j.jsc.2013.04.004⟩. ⟨hal-00841300⟩
  • Clement Pernet, William Stein. Fast computation of Hermite normal forms of random integer matrices. Journal of Number Theory, Elsevier, 2010, 130 (7), pp.1675―1683. ⟨10.1016/j.jnt.2010.01.017⟩. ⟨hal-00798442⟩
  • Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet. Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK packages. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2008, 35 (3), pp.19:1-42. ⟨10.1145/1391989.1391992⟩. ⟨hal-00018223v4⟩

Communication dans un congrès26 documents

  • Erich Kaltofen, Clément Pernet, Zhi-Hong Yang. Hermite Interpolation With Error Correction. ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Virtual Event, Russia. pp.241-247, ⟨10.1145/3452143.3465525⟩. ⟨hal-03350894⟩
  • Clément Pernet, Hippolyte Signargout, Pierre Karpman, Gilles Villard. Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices. ISSAC'21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. ⟨10.1145/3452143.3465542⟩. ⟨hal-03189115⟩
  • Gaspard Anthoine, Jean-Guillaume Dumas, Michael Hanling, Mélanie de Jonghe, Aude Maignan, et al.. Dynamic proofs of retrievability with low server storage. 30th USENIX Security Symposium, Aug 2021, virtual event, United States. pp.537--554. ⟨hal-02875379v4⟩
  • Jean-Guillaume Dumas, Clement Pernet, Alexandre Sedoglavic. On fast multiplication of a matrix by its transpose. ISSAC 2020, Jul 2020, Kalamata, Greece. pp.162-169, ⟨10.1145/3373207.3404021⟩. ⟨hal-02432390v4⟩
  • Jean-Guillaume Dumas, Joris van der Hoeven, Clément Pernet, Daniel Roche. LU factorization with errors. International Symposium on Symbolic and Algebraic Computation - ISSAC'19, Jul 2019, Beijing, China. pp.131-138, ⟨10.1145/3326229.3326244⟩. ⟨hal-01997592⟩
  • Jean-Guillaume Dumas, Clément Pernet. Symmetric indefinite triangular factorization revealing the rank profile matrix. ISSAC'18, Jul 2018, New York, United States. pp.151-158, ⟨10.1145/3208976.3209019⟩. ⟨hal-01704793⟩
  • Jean-Guillaume Dumas, David Lucas, Clément Pernet. Certificates for triangular equivalence and rank profiles. ACM International Symposium on Symbolic and Algebraic Computations - ISSAC'17, Jul 2017, Kaiserslautern, Germany. pp.133-140, ⟨10.1145/3087604.3087609⟩. ⟨hal-01466093v2⟩
  • Erich Kaltofen, Clement Pernet, Arne Storjohann, Cleveland Waddell. Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction. ISSAC'17 - 2017 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087645⟩. ⟨hal-01982114⟩
  • Clement Pernet. Computing with quasiseparable matrices. International Symposium on Symbolic and Algebraic Computation (ISSAC'16), Jul 2016, Waterloo, Canada. pp.389-396, ⟨10.1145/2930889.2930915⟩. ⟨hal-01264131v2⟩
  • Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Computing the Rank Profile Matrix. ISSAC, Steve Linton, Jul 2015, Bath, United Kingdom. pp.146--153, ⟨10.1145/2755996.2756682⟩. ⟨hal-01107722v2⟩
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan. Parallel computation of echelon forms. EuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩. ⟨hal-00947013⟩
  • Erich L. Kaltofen, Clément Pernet. Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance. ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp. 272-279, ⟨10.1145/2608628.2608660⟩. ⟨hal-01068308⟩
  • Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders. Elements of Design for Containers and Solutions in the LinBox Library. ICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩. ⟨hal-01015138⟩
  • Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Simultaneous computation of the row and column rank profiles. ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, MA, United States. pp.181-188, ⟨10.1145/2465506.2465517⟩. ⟨hal-00778136⟩
  • Amrit Kumar, Jean-Louis Roch, Clément Pernet. Secured Outsourced Linear Algebra. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC. ⟨hal-00926445⟩
  • Morgan Barbier, Clément Pernet, Guillaume Quintin. On the decoding of quasi-BCH codes. WCC - International Workshop on Coding and Cryptography, Apr 2013, Bergen, Norway. ⟨hal-00768566⟩
  • Matthew T. Comer, Erich L. Kaltofen, Clement Pernet. Sparse Polynomial Interpolation and Berlekamp/Massey Algorithm That Correct Outlier Errors in Input Values. ISSAC \'12: Proceedings of the 2012 international symposium on symbolic and algebraic computation, 2012, Grenoble, France. ⟨hal-00796255⟩
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders. LinBox founding scope allocation, parallel building blocks, and separate compilation. ICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.77-83, ⟨10.1007/978-3-642-15582-6_16⟩. ⟨hal-00506599⟩
  • Martin Albrecht, Clement Pernet. Efficient Decomposition of Dense Matrices over GF(2). Proceedings of the Wokshop on Tools for Cryptanalysis, 2010, Egham, United Kingdom. ⟨hal-00798458⟩
  • Majid Khonji, Clement Pernet, Jean-Louis Roch, Thomas Roche, Thomas Stalinski. Output-sensitive decoding for redundant residue systems. ISSAC'10: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, 2010, New York, NY, United States. pp.265―272, ⟨10.1145/1837934.1837985⟩. ⟨hal-00798446⟩
  • Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou. Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.55-62, ⟨10.1145/1576702.1576713⟩. ⟨hal-00163141v5⟩
  • Jean-Guillaume Dumas, Clément Pernet, B. David Saunders. On finding multiplicities of characteristic polynomial factors of black-box matrices. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.135-142, ⟨10.1145/1576702.1576723⟩. ⟨hal-00357262v2⟩
  • Jean-Guillaume Dumas, Clément Pernet, Jean-Louis Roch. Adaptive triangular system solving. Challenges in Symbolic Computation Software - Dagstuhl Seminar 06271, Jul 2006, Dagstuhl, Germany. pp.770. ⟨hal-00318543⟩
  • Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan. Efficient Computation of the Characteristic Polynomial. International Symposium on Symbolic and Algebraic Computation (ISSAC'15), Jul 2005, Beijing, China. pp.140-147. ⟨hal-00004056v2⟩
  • Jean-Guillaume Dumas, Pascal Giorgi, Clement Pernet. FFPACK: finite field linear algebra package. International Symposium on Symbolic and Algebraic Computation (ISSAC'04), Jul 2004, Santander, Spain. pp.119-126, ⟨10.1145/1005285.1005304⟩. ⟨hal-02018838⟩
  • Jean-Guillaume Dumas, Thierry Gautier, Clement Pernet. Finite field linear algebra subroutines. International Symposium on Symbolic and Algebraic Computation (ISSAC'02), Jul 2002, Lille, France. pp.63-74, ⟨10.1145/780506.780515⟩. ⟨hal-02018841⟩

Ouvrage (y compris édition critique et traduction)2 documents

  • Paul Zimmermann, Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, et al.. Computational Mathematics with SageMath. SIAM, 2018, 978-1-61197-545-1. ⟨10.1137/1.9781611975468⟩. ⟨hal-01646401⟩
  • Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse, et al.. Calcul mathématique avec Sage. CreateSpace, pp.468, 2013, 9781481191043. ⟨inria-00540485v2⟩

Chapitre d'ouvrage1 document

  • Jean-Guillaume Dumas, Clément Pernet. Computational linear algebra over finite fields. Gary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman & Hall / CRC, pp.514-528, 2013, Discrete Mathematics and Its Applications, 9781439873786. ⟨hal-00688254⟩

Pré-publication, Document de travail2 documents

  • Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche. VESPo: Verified Evaluation of Secret Polynomials: with application to low-storage dynamic proofs of retrievability. 2021. ⟨hal-03365854⟩
  • Clément Pernet, Aude Rondepierre, Gilles Villard. Computing the Kalman form. 2006. ⟨hal-00009558v4⟩

Rapport1 document

  • Martin R. Albrecht, Gregory V. Bard, Clement Pernet. Efficient Dense Gaussian Elimination over the Finite Field with Two Elements. [Research Report] 2011. ⟨hal-00796873⟩

Thèse1 document

  • Clément Pernet. Algèbre linéaire exacte efficace : le calcul du polynôme caractéristique. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2006. Français. ⟨tel-00111346⟩

HDR1 document

  • Clément Pernet. High Performance and Reliable Algebraic Computing. Symbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014. ⟨tel-01094212⟩