Phd Position F/m Compiling Dynamic Languages to
il y a 5 jours
Le descriptif de l’offre ci-dessous est en Anglais_
**Type de contrat **:CDD
**Niveau de diplôme exigé **:Bac + 5 ou équivalent
**Autre diplôme apprécié **:Master thesis
**Fonction **:Doctorant
**A propos du centre ou de la direction fonctionnelle**:
The Inria centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre's staff (about 500 people) is made up of scientists of different nationalities, engineers, technicians and administrative staff. The teams are mainly located on the university campuses of Sophia Antipolis and Nice as well as Montpellier, in close collaboration with research and higher education laboratories and establishments (Université Côte d'Azur, CNRS, INRAE, INSERM...), but also with the regiona economic players.
With a presence in the fields of computational neuroscience and biology, data science and modeling, software engineering and certification, as well as collaborative robotics, the Inria Centre at Université Côte d'Azur is a major player in terms of scientific excellence through its results and collaborations at both European and international levels.
**Contexte et atouts du poste**:
Research in the Inria Splits team.
**Mission confiée**:
As most dynamic languages, JavaScript is very difficult to implement
efficiently because most of its expressions have all sorts of
different meanings that involve all sorts of different executions. To
give a single prominent example, In JavaScript the expression
'obj.prop' might denote five radically different operations. It might
fetch the property 'prop' from 'obj'. It might scan the linked list of
obj's prototype chain and access the property 'prop' of one of these
objects along the way. It might involve calling a user defined
function if 'prop' is an accessor. It might involve allocating an
object if 'obj' is a primitive value. At last, it might involve
jumping through another component of the standard runtime system if
'obj' is a proxy object. No syntactic element nor type information let
the execution engine discover in advance which evaluation schema to
use. Checking all the possible interpretations in sequence and then
execute literally, that is following the prescription of the language
specification, the proper one would deliver very slow
performances. All mainstream implementations use alternative
strategies. Amongst all the possible interpretations, they favor the
one that corresponds to the most frequent situation for which they
elaborate a faster execution plan, and, as importantly, for which they
elaborate a fast guard that let them decide as quickly as possible, if
the faster schema would preserve the original semantics or
not. Typically, that what ''inline caches'' and ''hidden classes''
achieve. Using a single test, the comparison of the object's hidden
class with the inline cache, the guard checks if the offset where to
read the property is known or not. If it is, the property is directly
fetched using a single indexed memory read. Otherwise, the slower
execution path checking all the possible situations, for instance, the
situation where the property is an accessor, is used.
The common intuition is that dynamic compilers (jit) are in a better
position to use dynamic heuristics-based strategies as they have the
program and the data at hand where they have to decide which code to
generate. We disagree with this intuition and we have shown in several
publications that compiling at runtime is not a significant advantage
because in most common situations simple guesses let static compilers,
nowadays called ahead-of-time compilers (AOT), infer the most
likely types and at the cost of larger codes, they can generate
several versions of the program and select the one to execute using
guards similar to those jit compilers would use. Based on this general
idea, we have build a full-fledged JavaScript AOT compiler. It is
called hopc. It is distributed as an open source software. It can be
WASM (WebAssembly) is a new popular execution platform that brings the
promise of safe, fast, and portable executions. Considering the
industrial effort invested in promoting WASM, it might be a central
In spite of its name, WASM is a general-purpose virtual machine, not
particularly tailored for the web, although most web browsers now
implement it. As of today, despite its growing popularity, only a
small set of languages can be compiled to WASM, probably because until
very recently, it was lacking important constructs that enables
efficient implementations of high level languages. The recent
inclusion of mechanisms for dealing with automatic memory management
and exceptions opened new opportunities for compiling new languages to
WASM. Exploring the compilation of dynamic languages to WASM is yet an
unexplored domain. This is the purpose of this PhD thesis proposal.
WASM does not expose any particular mechanisms for JIT-ted executions
so generating WASM code requires AOT techniques. Fortunat
-
8 Fully Funded Phd Positions- Digital Systems
il y a 2 semaines
Sophia Antipolis, Provence-Alpes-Côte d'Azur, France Digital Systems for Humans Graduate school - Université Côte d'Azur Temps plein**8 fully funded PhD positions Digital Systems / Digital Society (Université Côte d'Azur, France)**:Réf- ABG-113380 Sujet de Thèse 13/04/2023 Contrat doctoral Digital Systems for Humans Graduate school Université Côte d'Azur Lieu de travail Biot Sophia Antipolis Provence-AlpesCôte d'Azur France Intitulé du sujet 8 fully funded PhD positions Digital...
-
Phd Position in Plasma Physics and Chemistry
il y a 6 jours
Sophia Antipolis, France MinesParis PSL Temps pleinYou have a master’s degree in science of an engineering degree and would like to continue with a **PhD** on an exciting topic in the fields of **plasma physics and chemistry**, join our leading research group. We are opening 2 new PhD positions for May 2024. Come and enjoy at the same time the 1st ranked French University (PSL University), a world...
-
Phd Position F/m Reduced-order Modeling and Global
il y a 6 jours
Sophia Antipolis, France Inria Temps pleinLe 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 centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre's staff (about 500 people) is made...
-
Phd Position F/m Phd Position Computer Vision
il y a 2 semaines
Sophia Antipolis, France Inria Temps pleinLe 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 Université Côte d’Azur center counts 36 research teams as well as 7 support departments. The center's staff (about 500 people...
-
Phd Position F/m Doct2024-abs
il y a 6 jours
Sophia Antipolis, France Inria Temps pleinLe 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 centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre's staff (about 500 people) is made...
-
Phd Position, Scientific Machine Learning, Inria
il y a 4 semaines
Sophia Antipolis, France MathHire.org Temps pleinApplications are welcome at the Inria center of the University Cote d’Azur on the French Riviera situated in the vibrant technopole of Sophia-Antipolis, for a Master internship (4 to 6 months duration) followed by a three year fully funded PhD positon (to start immediately after or at commonly agreed date), in the context of a multi-partner collaborative...
-
Phd Position F/m Privacy On-demand and Security
il y a 2 semaines
Sophia Antipolis, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD**Niveau de diplôme exigé **:Bac + 5 ou équivalent**Fonction **:DoctorantA propos du centre ou de la direction fonctionnelle Le centre Inria d'Université Côte d'Azur regroupe 37 équipes de recherche et 8 services d’appui. Le personnel du centre (500 personnes environ) est...
-
PhD Position F/M 15 PhDs on Tensor Modelling, Geometry and Optimisation
il y a 2 semaines
Technopole de Sophia Antipolis, France INRIA Temps pleinContexte et atouts du poste TENORS ( T ensor mod E li N g, ge O met R y and optimi S ation) is a Marie Skłodowska-Curie Doctoral Network / Joint Doctorate , offering 15 PhD positions. The objective of TENORS is to conduct advanced research that addresses critical challenges in the fields of tensor modeling and computation , joining forces from ...
-
Phd Position F/m 15 Phds On Tensor Modelling
il y a 3 semaines
Sophia Antipolis, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Autre diplôme apprécié **:Master or equivalent **Fonction **:Doctorant **Niveau d'expérience souhaité **:De 3 à 5 ans **A propos du centre ou de la direction fonctionnelle**: The Inria centre at Université Côte...
-
Technopole de Sophia Antipolis, France INRIA Temps pleinContexte et atouts du poste TENORS ( T ensor mod E li N g, ge O met R y and optimi S ation) is a Marie Skłodowska-Curie Doctoral Network / Joint Doctorate (2024-2027), offering 15 PhD positions. The objective of TENORS is to conduct advanced research that addresses critical challenges in the fields of tensor modeling and computation , joining...
-
Phd Position F/m
il y a 4 semaines
Sophia Antipolis, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Niveau d'expérience souhaité **:Jeune diplômé **A propos du centre ou de la direction fonctionnelle**: The Inria centre at Université Côte d'Azur includes 37 research teams and 8 support...
-
Phd Position F/m Phd Position Computer Vision
il y a 2 semaines
Sophia Antipolis, France Inria Temps pleinLe 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 centre at Université Côte d'Azur includes 42 research teams and 9 support services. The center’s staff (about 500 people) is...
-
Phd Position F/m
il y a 4 semaines
Sophia Antipolis, France Inria Temps pleinLe 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 centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre's staff (about 500 people) is made...
-
Phd Position F/m Topology Design for Decentralized
il y a 2 semaines
Sophia Antipolis, France Inria Temps pleinLe 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 centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre's staff (about 500 people) is made...
-
Phd Position F/m Topology Design for Decentralized
il y a 2 semaines
Sophia Antipolis, Provence-Alpes-Côte d'Azur, France Inria Temps pleinLe descriptif de l'offre ci-dessous est en Anglais_Type de contrat :CDDNiveau de diplôme exigé :Bac + 5 ou équivalentFonction :DoctorantA propos du centre ou de la direction fonctionnelle:The Inria centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre's staff (about 500 people) is made up of scientists of...
-
Phd Position F/m
il y a 1 mois
Sophia Antipolis, France Inria Temps pleinLe 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 centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre's staff (about 500 people) is made...
-
Phd Thesis
il y a 3 semaines
Sophia Antipolis, France Laboratoire I3S - CNRS (UMR 7271) Temps plein**PhD Thesis - Error-Correction Coding for Reliable DNA Storage**: - Réf **ABG-123985** - Sujet de Thèse- 18/05/2024- Contrat doctoral- Laboratoire I3S - CNRS (UMR 7271)- Lieu de travail- Sophia Antipolis - Provence-Alpes-Côte d'Azur - France- Intitulé du sujet- PhD Thesis - Error-Correction Coding for Reliable DNA Storage- Champs scientifiques- Science...
-
Phd Position F/m
il y a 5 jours
Sophia Antipolis, France Inria Temps pleinLe 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 centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre's staff (about 500 people) is made...
-
Phd Position F/m
il y a 4 semaines
Sophia Antipolis, France Inria Temps pleinLe 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 centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre's staff (about 500 people) is made...
-
Phd Position F/m Fast Solvers for Studying Light
il y a 2 semaines
Sophia Antipolis, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD**Niveau de diplôme exigé **:Bac + 5 ou équivalent**Autre diplôme apprécié **:Master in applied mathematics or scientific computing**Fonction **:Doctorant**Niveau d'expérience souhaité **:De 3 à 5 ansA propos du centre ou de la direction fonctionnelle The Inria centre at...
