Version française
Home     About     Download     Resources     Contact us    
Browse thread
PhD position at INRIA-Rocquencourt
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Michel Mauny <Michel.Mauny@i...>
Subject: PhD position at INRIA-Rocquencourt

[English version at the end of this message]

             Proposition de thèse à l'INRIA-Rocquencourt

                        ************************

TITRE: Ajout de synchronisme dans les langages de programmation
       statiquement typés.

SUJET: Un certain nombre de recherches ont montré que des liens
étroits existaient entre la programmation synchrone et la
programmation fonctionnelle avec flots infinis. En particulier, ces
travaux ont montre' qu'il était possible de définir les aspects
synchrones du langage à flot de données LUSTRE dans un langage
fonctionnel. Des travaux récents ont encore rapproché ces deux styles
de programmation avec l'enrichissement du synchronisme par des
constructions proches de celles existant dans les langages de
programmation classiques. L'objectif général de cette thèse est
d'étudier l'extension d'un langage typé par des primitives de
synchronisme, ainsi que les analyses statiques nécessaires à la
vérification des propriétés de synchronisme des programmes
résultants. On s'intéressera concrètement à l'extension du langage
Objective Caml.

Ce travail comprend donc de la conception de langages, quelques études
théoriques ainsi qu'une mise en oeuvre des solutions. De bonnes
capacités à formaliser et le goût des mises en oeuvre soignées sont
donc nécessaires au bon accomplissement de ce travail. Une
connaissance des formalismes de sémantique statique et dynamique
(sémantique opérationnelle, systèmes de types), ainsi que du langage
ML représentent un avantage réel pour aborder ce travail.

DÉBUT: dès que possible.

FINANCEMENT: Bourse INRIA (7900 F net/mois).

ENCADREMENT: Michel Mauny (DR INRIA) et Marc Pouzet (MdC Paris 6,
  équipe SPI du LIP6), et en collaboration avec le CNET.

LIEU: INRIA-Rocquencourt, près de Versailles.

Si vous êtes intéressé(e), envoyez un CV + lettre de motivation +
notes du DEA + lettre de recommandation à:

        Michel Mauny
        INRIA-Rocquencourt
        BP 105
        F-73153 Le Chesnay Cedex

De plus amples informations se trouvent aux URL suivantes:

        sur l'INRIA:
                        http://www.inria.fr/
        sur l'équipe Cristal:
                        http://pauillac.inria.fr/cristal
        sur le laboratoire LIP6 (Paris 6):
                        http://www.lip6.fr/
        sur les travaux servant de base à ce travail:
                        http://www-spi.lip6.fr/~pouzet/
        sur Objective Caml:
                        http://pauillac.inria.fr/ocaml/
	sur LUSTRE (developpé à VERIMAG):
			http://www.imag.fr/VERIMAG/SYNCHRONE/theme-synchrone-english.html


                        ************************



                 PhD. position at INRIA-Rocquencourt

                        ************************

TITLE: Adding synchronous features to statically typed programming
languages

SUBJECT: It has been shown that there exists deep relationships
between synchronous programming and functional programming with
streams. In particular, these works have shown that it is possible to
define the synchronous aspects of the data-flow language LUSTRE in a
functional setting. Conversely, recent works have shown that
synchronous languages can be extended with features belonging to
classical programming languages (functionality, type inference,
modularity). The main goal of this PhD. thesis is to study the
extension of a typed language with synchronous primitives and to
define static analyses for the verification of synchrony of the
resulting extension. In practice, we shall focus on the extension of
the Objective Caml languages.

This work is made up of language design, theoretical studies and an
implementation of the proposed solutions. Good skills in formalization
and in implementation are necessary for this purpose. Some knowledge
in static and dynamic semantics (operational semantics, type systems)
and some experiences with the ML language will be beneficial for this
work.

BEGINNING: as soon as possible.

FINANCIAL SUPPORT: INRIA grant (7900 FF /month).

ADVISORS: Michel Mauny (DR INRIA) and Marc Pouzet (MdC Paris 6,
SPI team of the LIP6 laboratory), in collaboration with the CNET
(French National Center for Research in Telecommunications).

LOCATION: INRIA-Rocquencourt, near Versailles.

If you are interested, send a CV + motivation letter + recommendation to:

        Michel Mauny
        INRIA-Rocquencourt
        BP 105
        F-73153 Le Chesnay Cedex

Related informations are available at the following URL:

        about INRIA:
                        http://www.inria.fr/
        about the Cristal team
                        http://pauillac.inria.fr/cristal
        about the LIP6 laboratory (Paris 6):
                        http://www.lip6.fr/
        about works related to the PhD position:
                        http://www-spi.lip6.fr/~pouzet/
        about Objective Caml:
                        http://pauillac.inria.fr/ocaml/
	about LUSTRE (developed in the VERIMAG laboratory):
			http://www.imag.fr/VERIMAG/SYNCHRONE/theme-synchrone-english.html



                        ************************

-- 
Michel Mauny
----------------------------------------------
INRIA  --  BP 105 --  F-78153 Le Chesnay Cedex
Tel.: +33 1 39 63 57 96 Fax: +33 1 39 63 56 84
Email: Michel.Mauny@inria.fr
WWW: http://www.inria.fr/Michel.Mauny
----------------------------------------------