Biographie
Georges-André Silber est un chercheur spécialisé en compilation et optimisation de programmes, avec une expertise marquée dans l’analyse et la transformation de boucles imbriquées. Ses travaux portent notamment sur les représentations polyédriques des nids de boucles, utilisées pour des optimisations avancées comme la fusion, le *tiling* ou le *strip mining*, ainsi que sur l’équilibre entre précision et efficacité des analyses statiques dans les compilateurs de production. Il a contribué au développement d’outils comme GRAPHITE (pour GCC) et WRaP-IT, en collaboration avec des équipes de l’INRIA et de l’Université Paris-Sud, ainsi qu’à l’analyse des variables d’induction via des structures abstraites comme les *trees of recurrences*. Ses recherches incluent également la manipulation de programmes Fortran (via la bibliothèque Nestor) et l’étude des dépendances mixtes pour la distribution de boucles avec structures de contrôle.
Publication(s)
-
2006
GRAPHITE: Polyhedral analyses and optimizations for GCC
-
2005
Induction variable analysis with delayed abstractions DOI : 10.1007/11587514_15
-
2000
Temporary arrays for distribution of loops with control dependences DOI : 10.1007/3-540-44520-x_47
-
1999
The Nestor library: A tool for implementing fortran source to source transformations DOI : 10.1007/bfb0100626
-
1998
Loop parallelization algorithms: From parallelism extraction to code generation DOI : 10.1016/S0167-8191(98)00020-9
Enseignements
Natural Language Processing
Introduction Ce cours explore le fonctionnement des applications de traitement automatique du langage naturel (TALN, NLP en anglais), se fondant aujourd'hui principalement sur des approches par machine learning. L'objectif pour un ingénieur est notamment de comprendre le fonctionnement technique et les fondements scientifiques des grands modèles de langues (LLM) de type ChatGPT et d'être capable de créer un tel modèle à l'aide de bibliothèques de type PyTorch. L'enseignement proposé se divise en cours magistraux et travaux pratiques en proportion similaire. Contenu indicatif Les données du NLP - caractères, mots, textes, tokens - de Baudot à tiktoken d’OpenAI Langages formels et NLP - Informatique et langages formels, hiérarchie de Chomsky - Langages rationnels, algébriques, contextuels, machine de Turing Les techniques du NLP - Tokenization, Stemming, Lemmatization, POS, NER, ... - Sentiment analysis, text mining, similarité, ... Apprentissage profond et NLP - Modèles de langues, LLM (modèles auto-régressifs, Transformer) - BERT, LLaMA, GPT, ... - Modèles à base d'énergie (EBM) Logiciels pour le NLP - Solr (Lucene), NLTK - PyTorch
Management des systèmes d'information (MSI) option
L'option MSI complète les enseignements de tronc commun et spécialisés pour maîtriser ces technologies : différents sujets techniques sont abordés selon les années. Citons par exemple la cryptographie, la sécurité des réseaux, les langages de script pour le développement rapide, les outils de gestion de sources, la compilation de langages informatiques, l'utilisation et la configuration de machines virtuelles, les systèmes distribués, etc. Une ouverture aux questions de management permet enfin de prendre conscience des difficultés de mise en œuvre concrète et efficace des technologies dans les systèmes d'information des organisations. Exemples de projets dans le cadre de l'option, en groupe ou individuels : développement d'une blockchain "MineCoin" analyse de traces de piratages avec de l'apprentissage artificiel développement d'un jeu 2D avec un moteur ad-hoc applications web de recommandation (finance, humour) application mobile de jeu en ligne attaques réseau par interception et modifications de paquets messagerie instantannée cryptographique système de sauvegarde à distance cryptographique partage de donné "cloud" réellement sécurisé algorithmes de filtrages sur carte graphique (GPU) analyse automatique de schémas de données Exemples de sujets d'option ces dernières années : classification par reconnaissance vocale et analyse sémantique (Deezer) analyses de données et prévisions du chiffre d'affaire (Datadog, NYC) intégration et optimisation des propositions de détours (Blablacar) développement d'un système de suivi des comportements clients (Pandacraft) développement d'effets visuels (Smart & Soft) audit de sécurité d'application Android (Solucom) tarification d'assurances avec des données géographiques (AXA) enrichissement cartographique de vues radar (THALES) haute disponibilité pour une base de donnée en mémoire (Quartet FS) analyse de la sécurité du protocole OpenFlow (ANSSI) système d'information pour Autolib (Polyconseil) analyse de données "big data" sur le marché aérien (AMADEUS) conception de cibles pour des tests radar (THALES) compilation et optimisation d'applications de traitement d'image (KALRAY) optimisation d'un système de cache de données distribué (AMADEUS, Allemagne) conception d'un espace client web (SopraGroup / LexisNexis) optimisation de la fourniture de contenu vidéo (Orange Lab) développement de jeux graphiques (Silicon Studio Corp, Japon) modèles d'architectures décisionnelles (Solucom) construction automatique de profils utilisateurs (Technicolor, USA) migration d'architectures serveurs vers le cloud (Samsung, Corée du Sud) système d'exploitation optimisé pour supercalculateur (CEA) application vidéo pour mobiles (TangoMe) détection de fraudes bancaires (Oresys) calculs de risques financiers (Société Générale) application de suivi de la production pétrolière (Accenture / Total) extension de l'interface Google Earth (Google, USA) instrumentation d'applications financières (CALYON, Japon)
Introduction to Computer Science
Direction(s) de thèse(s)
- 2023 Vers des logiciels plus sobres en énergie avec de nouveaux modèles de coûts pour les compilateurs optimisants SOLCOURT Antoine
- 2023 Modèles de coûts statiques des les compilateurs optimisants pour l’amélioration de la performance énergétique des logiciels embarqués DESTAL Benjamin