From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA06397 for caml-redistribution; Tue, 16 Dec 1997 18:07:57 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA06382 for ; Tue, 16 Dec 1997 18:07:29 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.5) with ESMTP id SAA13700 for ; Tue, 16 Dec 1997 18:07:28 +0100 (MET) Received: (from mauny@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA06378 for caml-list@inria.fr; Tue, 16 Dec 1997 18:07:26 +0100 (MET) Date: Tue, 16 Dec 1997 18:07:26 +0100 (MET) From: Michel Mauny Message-Id: <199712161707.SAA06378@pauillac.inria.fr> To: caml-list@inria.fr Subject: PhD position at INRIA-Rocquencourt Sender: weis [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 ----------------------------------------------