DESCRIPTION :
PhD Position F/M Compilation of a DSL based on transducers to SIMD optimized programs
Le descriptif de l'offre ci-dessous est en Anglais
Type de contrat : CDD
Niveau de diplôme exigé : Bac +5 ou équivalent
Fonction : Doctorant
A propos du centre ou de la direction fonctionnelle
The Inria research centre in Lyon is the 9th Inria research centre, formally created in January 2022. IT brings together approximately 320people in 19 research teams and research support services.
Its staff are distributed in Villeurbanne, Lyon Gerland, and Saint-Etienne.
The Lyon centre is active in the fields of software, distributed and high-performance computing, embedded systems, quantum computing and privacy in the digital world, but also in digital health and computational biology.
Contexte et atouts du poste
This PhD is part of the larger Shanon meet Cray, or SxC, which aims to facilitate the writing of SIMD programs and to pave the way to future auto-vectorization methods for stream processing.
This PhD will BE co-advise by (INRIA Lyon) and (Université de Lille) and can BE located either in Lyon, with visits in Lille during the PhD.
Mission confiée
Efficient Data Processing
Streaming data processing is a crucial approach that focuses on traversing data to extract pertinent information. Applications ranges from network packet manipulation to analysing DNA. Modern data-processing tools heavily depend on efficient implementations that harness hardware acceleration to achieve high performance. This acceleration can sometimes BE achieved through automatic compilation, but frequently demands expert developers to craft optimizations by hand.
One critical facet of this optimization process involves SIMD optimization, where data is packed into chunks and processed with minimal branching in the code, often using bitvector operations. These optimizations are at the core of numerous well-known software applications, such as regular expression matching in tools like ripgrep, JSON parsing in libraries like SimdJSON, and even fundamental operations like string encoding and decoding (unicode parsing). Developing these optimizations requires a broad skill set and is a testament to the expertise of programmers worldwide.
Exploring a Restricted Programming Language
During this PhD, we will explore the design and implementation of a specialized programming language for stream processing and its compilation to efficient SIMD code. The technics will take inspiration of real software design (such as rsonpath) and will BE based on abstract automata theory and logic approach. Initially we will focus on a limited expressivity class, named LTL, whose theoretical properties are well understood.
Code d'emploi : Thésard (h/f)
Niveau de formation : Bac+8
Temps partiel / Temps plein : Plein temps
Type de contrat : Contrat à durée indéterminée (CDI)
Compétences : Applications Logicielles, Automata Theory, Encodages, Logiciel de Groupe, Biologie Computationnelle, Programmation Informatique, EHealth, Paquet Réseau, JSON, Quantum Computing, Expressions Régulières, Conception et Développement de Logiciel, Flux de Données, Systèmes de Type, Traitement des Données, Git, Hardware Acceleration, Stream Processing, Programming Languages, Axé sur le Succès, Activités de Conseil, Systèmes Embarqués, Sémantique, Transducteurs, Opérations Logistiques
Courriel :
webmaster@inria.fr
Téléphone :
0139635511
Type d'annonceur : Employeur direct