Mohamed Amine Najahi

• Bonjour, actuellement je suis ingénieur chez Nvidia. Mon travail consiste à sécuriser les communications des voitures de la prochaine génération.
• Le contenu de cette page a été compilé durant mes années de thèse (2011-2014) et d'ATER (Attaché Temporaire d'Enseignement et de Recherche) (2014-2015) au sein de l'équipe DALI.
• J'ai soutenu ma thèse thèse le 10 décembre 2014 à l'UPVD devant le jury composé de:
  1. Sylvie Boldo (examinatrice)
  2. Florent de Dinechin (rapporteur)
  3. Laurent-Stéphane Didier (rapporteur)
  4. Matthieu Martel (directeur)
  5. Ali Mili (président)
  6. Guillaume Revy (co-directeur)

Recherche

• Sujets de recherche

  1. Arithmètique à virgule fixe:
     • Outils pour la génération de code en virgule fixe.
     • Certification numérique de codes en virgule fixe.
     • Blocs de base l'algèbre linéaire en arithmétique à virgule fixe.

• Logiciels

  • CGPE: Code Generation for Polynomial Evaluation.
  • FPLA: Fixed-Point Linear Algebra.

Publications/Communications

• Thèse de Doctorat

  ---

  [1]

  Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks. Amine Najahi. Thèse de doctorat, Université de Perpignan Via Domitia - Laboratoire d'Informatique, de Robotique, et de Microélectronique de Montpellier. Perpignan, France, 10 Décembre 2014. Thèse [Tel] [PDF] [Exposé]

• Journaux internationaux avec comité de lecture

  ---

  [2]	Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. Matthieu Martel, Amine Najahi, et Guillaume Revy. Accepté au Journal of Systems Architecture, 2016. Article [lirmm-01279628]

• Conférences internationales avec comité de lecture et actes

  ---

  [3]	Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. Matthieu Martel, Amine Najahi, and Guillaume Revy. Accepté pour présentation à Conference on Design and Architectures for Signal and Image Processing (DASIP 2014), Madrid, Espagne, 8-10 Octobre 2014. Article [lirmm-01024984]
  [4]	Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. Christophe Mouilleron, Amine Najahi, and Guillaume Revy. Accepté pour présentation à 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Timisoara, Roumanie, 22-25 Septembre 2014. Article [lirmm-00814338]
  [5]	Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication. Matthieu Martel, Amine Najahi, and Guillaume Revy. Dans A. Ahrens, C. Benavente-Peces , and J. Filipethe, editors, 4th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2014), pages 204-214, Lisbonne, Portugal, 7-9 Janvier 2014. Article [lirmm-00860383]
  [6]	Design of Fixed-point Embedded Systems (DEFIS) French ANR Project. Daniel Ménard, Romuald Rocher, Olivier Sentieys, Nicolas Simon, Laurent-Stéphane Didier, Thibault Hilaire, Benoît Lopez, Éric Goubault, Sylvie Putot, Franck Védrine, Amine Najahi, Guillaume Revy, Laurent Fangain, Christian Samoyeau, Fabrice Lemonnier, and Christophe Clienti. Demo Night of the Conference on Design and Architectures for Signal and Image Processing (DASIP 2012), Karlsruhe, Germany, 23-25 Octobre 2012. Article [hal-00822487]

• Conférences internationales avec sélection sur résumé

  ---

  [7]

  Approach based on instruction selection for fast and certified code generation. Christophe Mouilleron, Amine Najahi , and Guillaume Revy. Dans 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2012), Novosibirsk, Russie, 23-29 Septembre 2012. Article [PDF (abstract)] [BibTeX] [lirmm-00813055]

• Rapports de recherche

  ---

  [8]	Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. Christophe Mouilleron, Amine Najahi, and Guillaume Revy. Rapport de recherche LIRMM-13006, 2013. Article [lirmm-00814338]

• Communications récentes

  ---

  [9]	Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. Conference on Design and Architectures for Signal and Image Processing (DASIP 2014), Madrid, Espagne, 8-10 Octobre 2014. [Exposé]
  [10]	Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Timisoara, Roumanie, 22 Septembre 2014. [Exposé]
  [11]	Code synthesis for linear algebra basic blocks in fixed-point arithmetic: The cases of matrix multiplication and inversion. Journée du GDR ISIS - Arithmétique pour le traitement de signal et de l'image, Paris, France, 3 Juillet 2014. [Expos]
  [12]	Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication. 4th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2014), Lisbonne, Portugal, 7-9 Janvier 2014. [Exposé]
  [13]	Automated synthesis of fixed-point programs: the case of matrix multiplication and, some elements on matrix inversion. Réunion WP3 du projet ANR DEFIS, Perpignan, France, 9 Juillet 2013. [Exposé]
  [14]	Automated synthesis of fixed-point programs: the case of matrix multiplication. Séminaire de l'équipe PEQUAN (LIP6), Paris, France, 30 Mai 2013. [Exposé]
  [15]	Synthesis of fixed point programs: the case of matrix multiplication. École Jeunes Chercheurs en Informatique Mathématique 2013 (EJCIM '13), Perpignan, France, 12 Avril 2013. [Exposé]
  [16]	Synthesis of fixed-point programs based on instruction selection: the case of polynomial evaluation. 5th Rencontres Arithmétique de l'Informatique Mathématique (RAIM '12), Dijon, France, 20-22 Juin 2012. [Exposé]
  [17]	Mieux calculer avec un ordinateur. Congrès pluridisciplinaire des doctorants de l'UPVD '12, Perpignan, France, 7 Juin 2012. [Exposé]

• Projet et thèse de Master

  ---

  [18]	Cryptanalyse algèbrique des systèmes basés sur les codes. Mohamed Amine Najahi. Thèse de Master, Université Pierre et Marie Curie, France, 10 Septembre 2011. Article [PDF] Exposé [PDF]
  [19]	Cryptanalyse algèbrique d'une famille de chiffrements symétriques : Katan & Ktantan. Mohamed Amine Najahi. Projet de première année de Master, Université Pierre et Marie Curie, France, 15 Juin 2010. Article [PDF] Exposé [PDF]

Enseignement

• 2014/15     Ater à l'UPVD.
  • xx heures TEB.
  • Page dédiée
  • 24 heures Introduction aux systèmes d'exploitation.
  • Sujets: [TDo1][TDo2][TDo3][TDo4]
  • 24 heuresProgrammation avancée en C.
  • Sujets: [TDo1][TDo2][TDo3][TDo4][TDo5][Examen 2013][TDo6]
• 2013/14     Vacataire à l'UPVD.
  • 21 heures Programmation avancée en C.
  • 21 heures Système.
  • Sujets: [TDo1][TDo2][TDo3][TDo4][TDo5][Controle][TDo6][Examen]
• 2012/13     Vacataire à l'IMERIR.
  • 35 heures Bases de mathématiques.
  • Sujets: [Semaine 0][Semaine 1][Semaine 2][Semaine 3][Semaine 4][Devoir maison]
  • 35 heures Robotique mobile.

Curriculum vitae

• Depuis novembre 2011     Doctorant en informatique au sein de l'équipe DALI/UPVD.
• 2011     6 mois de stage de recherche au sein des équipes SALSA et SECRET.
• 2011     Master de recherche en informatique à l'UPMC et au MPRI.
• 2010     1 mois de stage de recherche au sein de l'équipe SALSA.
• 2009     Licence de Mathématiques et informatique à l'UPMC.
• Version longue

Divers

• Mon shell: zsh
• Mon WM: awesome
• Mes principaux langages de programmation: C/C++
• Compilateurs C: gcc , tcc , pcc , lcc , clang

Vulgarisation

• Fête de la science 2013: Sécurité des communications sans fil.
• Introduction aux lycéens des sciences informatiques: Représentation des nombres en informatique.

Contact

• DALI UPVD-LIRMM project-team

  Université de Perpignan Via Domitia

  Building B (Room BN1-7)

  52 avenue Paul Alduy

  F-66860 Perpignan cedex 9, France

  Laboratoire d'Informatique, de Robotique, et de Microélectronique de Montpellier

  CNRS: UMR 5506 - Université Montpellier 2

  161 rue Ada

  F-34095 Montpellier cedex 5, France

  
  

  Email