Tarek Menouer –

Tarek Menouer
Université Paris Ouest Nanterre la Défense
200 Avenue de la République, 92000 Nanterre
B [email protected]
Í http://www.prism.uvsq.fr/∼meta/
Formations
2011/2015 Doctorat en Informatique, Sujet : Parallélisations de Méthodes de Programmation Par
Contraintes, Laboratoire d’accueil : PRiSM, Université de Versailles Saint Quentin en Yvelines
(France), Mention : Très honorable.
2010/2011 Master 2 en Informatique High Performance Computing et Simulation (MIHPS),
Co-habilitation par l’École Centrale de Paris, l’École Normale Supérieure de Cachan et l’Université de Versailles Saint Quentin en Yvelines (France), Mention : Bien.
2005/2010 Diplôme d’Ingénieur d’État en Informatique, Option : Système Informatique, École
nationale Supérieure d’Informatique (ESI ex. INI) (Algérie), Mention : Très bien.
Expériences Professionnelles
2015/auj. Attaché Temporaire d’Enseignement et de Recherche (ATER), à l’Université Paris
Ouest Nanterre La Défense, France.
2011/2015 Doctorant, Dans le cadre du projet PAJERO, j’ai travaillé sur les méthodes de parallélisation
(44 mois) des solveurs de Programmation Par Contraintes. Dans ce contexte nous avons proposé plusieurs
nouvelles méthodes de parallélisation de la search et Portfolio. Cela, afin d’améliorer la performance de la résolution des problèmes de satisfaction et d’optimisation sous contraintes. Ces
méthodes devant être exécutées par la suite sur le Cloud, Laboratoire PRiSM - Université de
Versailles Saint Quentin en Yvelines , France.
2011 Stage Master 2, Implémentation de MDL-PEF (Micro kernel Description Language based
(7 mois) Performance Evaluation Framework) qui est un langage d’abstraction des noyaux de calcul basé
sur les flots de données, qui permet la prédiction multi plateforme de performance, Laboratoire
Exascale Computing Research (INTEL, UVSQ, CEA, GENCI), France.
2010 Stage de fin d’étude, Application des techniques de data mining pour la classification
(10 mois) automatique de données et la recherche d’associations, Laboratoire de Méthodes de Conception
de Systèmes (LMCS), Algérie.
2009 Stage d’été, Diagnostique de réseaux d’entreprise, Sonatrach, Division Production, Algérie.
(1 mois)
Publications
Revue internationale avec acte et comité de lecture
— [J2] Tarek Menouer, Nitin Sukhija and Bertrand Le Cun : A Learning Portfolio Solver for
Optimizing Performance of Constraint Programming Problems on Multi-core Computing
Systems. Concurrency and Computation : Practice and Experience, 2016
— [J1] Tarek Menouer, Mohamed Rezgui, Bertrand Le Cun and Jean-Charles Régin : Mixing
Static and Dynamic Partitionning to Parallelize a Constraint Programming Solver. International Journal of Parallel Programming (IJPP), 2015
Conférences et workshops internationaux avec acte et comité de lecture
— [CI6] Juan F. R. Herrera , Tarek Menouer and Bertrand Le Cun, Eligius M. T. Hendrix
and Leocadio G.Casado, : Resolución de problemas de Optimización Global mediante el
framework Bobpp, XXV Jornadas de Paralelismo 2015, Córdoba, Espagne, septembre,
2015
— [CI5] Tarek Menouer, Simon Clavière and Bertrand Le Cun : Parallel Scheduling System in Cloud Infrastructure, The 11th Metaheuristics International Conference
(MIC’2015), Agadir, Morocco, June, 2015
— [WI5] Marie Bricage, Tarek Menouer and Bertrand Le Cun : Scheduling several parallel
problems resolution in Cloud, first workshop on Cloud Computing and Optimization,
Lyon, France, September, 2014
— [CI4] Tarek Menouer, Mohamed Rezgui, Bertrand Le Cun and Jean-Charles Régin : Mixing
Static and Dynamic Partitioning to Parallelize a Constraint Programming Solver. 7th
International Symposium on High-level Parallel Programming and Applications,
Amsterdam, Netherlands, July, 2014
— [WI4] Tarek Menouer and Bertrand Le Cun : Adaptative N to P portfolio for Solving
Constraint Programming Problems on Top of Parallel Bobpp Framework. Workshop PCO
2014, fourth Workshop on Parallel Computing and Optimization In conjunction
with IEEE IPDPS 2014, Phoenix, Arizona, USA, May, 2014, pp 1531 - 1540
— [CI3] Tarek Menouer and Bertrand Le Cun : Deterministic Partitioning Strategy to Parallelize the Constraint Programming Search Space. 22nd High Performance Computing
Symposium (HPC 2014) in cooperation with ACM/SIGSIM, Tampa, FL, USA,
April, 2014, pp 21 :1–21 :8
— [CI2] Tarek Menouer and Bertrand Le Cun : A Parallelization Mixing OR-Tools/Gecode
Solvers on top of the Bobpp Framework. IEEE 3PGCIC13 (International Conference
on P2P, Parallel, Grid, Cloud and Internet Computing), Compiegne, France, oct,
2013, pp 242 - 246
— [WI3] Tarek Menouer and Bertrand Le Cun : Anticipated Dynamic Load Balancing Strategy
to parallelize Constraint Programming search. Workshop PCO 2013, Third Workshop
on Parallel Computing and Optimization In conjunction with IEEE IPDPS 2013,
Boston,Massachusetts, USA, May 24, 2013, pp 1771 - 1777
— [CI1] Tarek Menouer, Bertrand Le Cun and Pascal Vander-Swalmen : Partitioning Methods
to Parallelize Constraint Programming Solver using the Parallel Framework Bobpp. Internation Conference on Computer Science, Applied Mathematics and Applications
(ICCSAMA), Springer editor, Warsaw, Poland, May, 2013,pp 117-127
— [WI2] Tarek Menouer, Bertrand Le Cun and Pascal Vander-Swalmen : Solving Combinatorial
Problems on HPC with bobpp. WolfHPC In conjunction with SuperComputing, Salt
Lake City, Utah, USA, Novembre, 2012
— [WI1] Eric Petit, Pablo De Oliveira Castro Herrero, Tarek Menouer, Bettina Krammer et
Jalby William : Computing-Kernels Performance Prediction Using Dataflow Analysis and
Microbenchmarking. 16th Workshop on Compilers for Parallel Computing (CPC
2012), Padova, Italy, January, 2012
Poster international avec acte et comité de lecture
— [PI1] Tarek Menouer and Bertrand Le cun : N to P portfolio solver using a learning algorithm,
Posters ’14 Proceedings of the 2014 SpringSim Poster Session in cooperation
with ACM/SIGSIM, Tampe, Florid, USA, April, 2014, pp 9 :1–9 :2
Conférences francophones avec acte et comité de lecture
— [CF5] Tarek Menouer et Bertrand Le Cun : Parallélisation portfolio de solveurs de
contraintes, Jounrée francophone de programmation par contraintes (jfpc’2014),
Angers, France, June, 2014
— [CF4] Tarek Menouer et Bertrand Le Cun : Partitionnement Déterministe pour Résoudre les Problèmes de Programmation Par Contraintes en utilisant le Framework Parallèle Bobpp, Conférence d’informatique en Parallélisme, Architecture et Système
(ComPAS’2014), Neuchatel, Suisse, Avril, 2014
— [CF3] Tarek Menouer et Bertrand Le Cun : Portfolio Adaptatif pour la Parallélisation d’un
solveur de Programmation Par Contraintes, 15ème congrès annuel de la Société française
de recherche opérationnelle et d’aide à la décision (Roadef 2014), Bordeaux, France,
Février, 2014
— [CF2] Tarek Menouer, Bertrand Le Cun et Pascal Vander-Swalmen : Parallélisation du solveur
de contrainte OR-Tools", 14ème congrès annuel de la Société française de recherche
opérationnelle et d’aide à la décision (Roadef 2013), Troyes, France, Février, 2013
— [CF1] Tarek Menouer, Bertrand Le Cun et Pascal Vander-Swalmen : Parallélisation d’un
solveur de contraintes avec le framework parallèle BOBPP, Conférence d’informatique
en Parallélisme, Architecture et Système (ComPAS’2013), Grenoble, Janvier, 2013
Poster national avec comité de lecture
— [SN1] Tarek Menouer, Simon Clavière and Bertrand Le Cun : Système d’allocation de
ressources. Conférence d’informatique en Parallélisme, Architecture et Système
(ComPAS’2015), Lille, Juillet, 2015
Enseignements
2015/2016
— Licence 3 MIAGE - Réseaux et programmation Web, 42 heures, Université ParisOuest-Nanterre-La-Défense
— Licence 3 MIAGE - Système d’exploitation et programmation C, 18 heures, Université Paris-Ouest-Nanterre-La-Défense
— Licence 1 Informatique - Algorithmique et programmation 1, 48 heures, Université
Paris-Ouest-Nanterre-La-Défense
— Licence 1 Informatique - Algorithmique et programmation 2, 48 heures, Université
Paris-Ouest-Nanterre-La-Défense
— Licence 1 Informatique - Certificat Informatique et Internet (C2I), 36 heures,
Université Paris-Ouest-Nanterre-La-Défense
2014/2015
— Master 1 Informatique - TP Mise à niveau en informatique - Langage C (MIHP),
6 heures, Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Master 1 Informatique - TP Mise à niveau en informatique - Langage Fortran
(MIHP), 9 heures, Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Licence 3 Informatique - TD Système d’exploitation, 36 heures, Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Licence 3 Informatique - TD Système d’exploitation, 15 heures, Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Licence 1 Informatique - TD Fondements de l’informatique 2, 36 heures, Université
de Versailles Saint-Quentin-en-Yvelines (UVSQ)
2013/2014
— Master 1 Informatique - TP Mise à niveau en informatique - Langage C (MIHP),
9 heures, Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Master 1 Informatique - TP Mise à niveau en informatique - Langage Fortran
(MIHP), 9 heures, Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Licence 3 Informatique - TD Architecture des ordinateurs, 21 heures, Université de
Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Licence 3 Informatique - TD Système d’exploitation, 36 heures, Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Licence 1 Informatique - TD Fondements de l’informatique 2, 27 heures, Université
de Versailles Saint-Quentin-en-Yvelines (UVSQ)
2012/2013
— Master 1 Informatique - TP Mise à niveau en informatique - Langage C (MIHP),
12 heures, Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Licence 3 Informatique - TD Architecture des ordinateurs, 36 heures, Université de
Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Licence 3 Informatique - TD Système d’exploitation, 36 heures, Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)
— Licence 1 Informatique - TD Fondements de l’informatique 2, 12 heures, Université
de Versailles Saint-Quentin-en-Yvelines (UVSQ)
2011/2012
— Licence 1 Informatique - TD Fondements de l’informatique 2, 24 heures, Université
de Versailles Saint-Quentin-en-Yvelines (UVSQ)
Encadrements
2015-2016 1éme année Master spécialité Systèmes et Applications Répartis (SAR), modélisation
et résolution du problème de sudoku en utilisant un solveur de contraintes, Université Pierre et
Marie Curie, France.
2011-2012 2éme année Cycle d’Ingénieur Informatique, Administration Système et Réseaux chez
l’opérateur de télécommunications PARITEL, École d’ingénieurs ISTY, France.
2011-2012 2éme année Cycle d’Ingénieur Informatique, Identification des clients Bouygues Telecom,
École d’ingénieurs ISTY, France.
Projet/Collaborations
— Participation au Projet PAJERO financé par BPIFrance (ex OSEO-ISI)
— Collaboration avec l’équipe de recherche Cep - Laboratoire I3S- Universté de Nice Sophia
Antipolis - France
— Collaboration avec l’équipe de recherche Distributed Analytics and Security Institute Mississippi State University - USA
— Collaboration avec l’équipe de recherche High Performance Computing Algorithms - Universidad de Almería - Espagne
Compétences informatiques
Langages de Programmation, Visual Studio 2010 (Dot Net), Visual C#, C++,QT, Assembleur x86, JAVA, CUDA, MPI, SQL (MySQL, ORACLE).
Base de donnée, Conception, Modélisation, Réalisation.
Web, HTML, PHP.
Système d’exploitation, Linux, Microsoft Windows XP/Vista/7.
Langages
Francais Courant
Angalis Courant + Formation complémentaire : The New Interchange English for
International Communication, (Université des Sciences et de la Technologie Houari
Boumediene -Algérie), 72 heures, 2010
Autres
- Formation : Windows Azure for Research Training, 16 heures, 2013
- Reviewer : Revue internationale (Concurrency and Computation : Practice and Experience)