Mohamed Amine Najahi

Hi, I currently work for Nvidia as a software engineer with a focus on securing communications for next generation cars.
The material in this page is from my time as a PhD student (2011-2014) and as an ATER (Attaché Temporaire d'Enseignement et de Recherche) (2014-2015) at the DALI TEAM (part of the UPVD and the LIRMM laboratory).
I defended my Ph.D. thesis on December 10th, 2014 at the UPVD in front of a jury composed of:
1. Sylvie Boldo (examiner)
2. Florent de Dinechin (referee)
3. Laurent-Stéphane Didier (referee)
4. Matthieu Martel (director)
5. Ali Mili (president)
6. Guillaume Revy (director)

Research

Research topics
1. Fixed-point arithmetic:
  - Tools for the generation of fixed-point codes.
  - Numerical certification of fixed-point codes.
  - Linear algebra basic blocks in fixed-point arithmetic.
Software
- CGPE: Code Generation for Polynomial Evaluation.
- FPLA: Fixed-Point Linear Algebra.

Ph.D. thesis

[1]

Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks. Amine Najahi.

Ph.D. Thesis, Université de Perpignan Via Domitia - Laboratoire d'Informatique, de Robotique, et de Microélectronique de Montpellier. Perpignan, France, December 10th 2014.

Get it

[Tel] [PDF] [Slides]

International journals with review committees

[2]

Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. Matthieu Martel, Amine Najahi, and Guillaume Revy.

Accepted to the Journal of Systems Architecture, 2016.

Get it

[lirmm-01279628]

International conferences with review committees and proceedings

[3]

Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. Matthieu Martel, Amine Najahi, and Guillaume Revy.

Presented at the Conference on Design and Architectures for Signal and Image Processing (DASIP 2014), Madrid, Spain, 8-10 October 2014.

Get it

[lirmm-01024984]

[4]

Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. Christophe Mouilleron, Amine Najahi, and Guillaume Revy.

Presented at the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Timisoara, Romania, 22-25 September 2014.

Get it

[lirmm-00814338]

[5]

Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication. Matthieu Martel, Amine Najahi, and Guillaume Revy.

In 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, Lisbon, Portugal, 7-9 January 2014.

Get it

[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 October 2012.

Get it

[hal-00822487]

Abstract only conferences

[7]

Approach based on instruction selection for fast and certified code generation. Christophe Mouilleron, Amine Najahi , and Guillaume Revy.

In 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2012), Novosibirsk, Russia, 23-29 September 2012.

Get it

[PDF (abstract)] [BibTeX] [lirmm-00813055]

Research reports

[8]

Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. Christophe Mouilleron, Amine Najahi, and Guillaume Revy.

Research report LIRMM-13006, 2013.

Get it

[lirmm-00814338]

Recent talks

[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, Spain, 8-10 October 2014. [Slides]
[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, Romania, 22 September 2014. [Slides]
[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 July 2014. [Slides]
[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), Lisbon, Portugal, 7-9 January 2014. [Slides]
[13]	Automated synthesis of fixed-point programs: the case of matrix multiplication and, some elements on matrix inversion. ANR DEFIS WP3 meeting, Perpignan, France, 9 July 2013. [Slides]
[14]	Automated synthesis of fixed-point programs: the case of matrix multiplication. PEQUAN team (LIP6) seminary, Paris, France, 30 May 2013. [Slides]
[15]	Synthesis of fixed point programs: the case of matrix multiplication. École Jeunes Chercheurs en Informatique Mathématique 2013 (EJCIM '13), Perpignan, France, 12 April 2013. [Slides]
[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. [Slides]
[17]	Mieux calculer avec un ordinateur (Improving computations' quality). Congrès pluridisciplinaire des doctorants de l'UPVD '12, Perpignan, France, 7 Juin 2012. [Slides]

Master's theses

[18]

Algebraic cryptanalysis of code-based cryptosystems. Mohamed Amine Najahi.

Master's Thesis, Université Pierre et Marie Curie, France, 10 September 2011.

Get it	[PDF]
Slides	[PDF]

[19]

Algebraic cryptanalysis of a symmetric family of ciphers : Katan & Ktantan. Mohamed Amine Najahi.

First year Master project, Université Pierre et Marie Curie, France, 15 Juin 2010.

Get it	[PDF]
Slides	[PDF]

Teaching

2014/15 Ater at UPVD.
- xx hours TEB.
- Dedicated webpage
- 24 hours Introduction to operating systems.
- Handouts: [TDo1][TDo2][TDo3][TDo4]
- 24 hoursProgrammation avancée en C.
- Handouts: [TDo1][TDo2][TDo3][TDo4][TDo5][Exam 2013][TDo6]
2013/14 Vacataire at UPVD.
- 21 hours Programmation avancée en C.
- 21 hours Système.
- Handouts: [TDo1][TDo2][TDo3][TDo4][TDo5][Controle][TDo6][Examen]
2012/13 Vacataire at IMERIR.
- 55 hours Basics of mathematics.
- Handouts: [Week 0][Week 1][Week 2][Week 3][Week 4][Homework]
- 35 hours Mobile robotics.