EL SIBAIE Rémy

Docteur
Équipe : APR
Date de départ : 25/12/2018
https://lip6.fr/Remy.El-Sibaie

Direction de recherche : Emmanuel CHAILLOUX

Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus mutltimédia riches

Le but de cette thèse est d'apporter de nouvelles possibilités au domaine de la programmation Web, dont les technologies répandues ne capturent pas toutes les problématiques engendrées par les interactions dans une application. Notre solution est un langage, Pendulum, inspiré de la programmation synchrone réactive en Esterel et se présentant comme une extension à OCaml. Il permet de gagner en sûreté et en expressivité en particulier dans la gestion d'interaction multiples. Nous présentons premièrement notre perception de la programmation Web d'aujourd'hui en partant du standard pour aller vers les technologies plus modernes qui tentent de subvenir aux besoins des programmes par d'autres approches, notamment la programmation multitier et les modèles de concurrence en flot de données. Nous introduisons ensuite le langage Pendulum et ses constructions, ce qu'il propose comme interopérabilité avec le client Web le différenciant d'autres langages synchrones, et l'interface de programmation qui le connecte avec le langage hôte. Par la suite, nous détaillons la méthode de compilation utilisée, GRC, pour GraphCode, qui produit un graphe de flot de contrôle à partir du programme synchrone source. On présente la structure du GRC, les règles permettant de le construire, ainsi que notre méthode d'ordonnancement statique et l'environnement d'exécution d'un programme synchrone dans le programme hôte. Pour finir, nous montrons l'intérêt de la programmation synchrone dans le client Web et en quoi son modèle d'exécution s'adapte naturellement à celui du navigateur Web et en particulier qu'il est possible profiter de ces avantage pour réagir aux évènements plus efficacement sans efforts d'optimisation.

Soutenance : 12/07/2018

Membres du jury :

M. Manuel Serrano, INRIA Sophia Antipolis [Rapporteur]
M. Peter Van Roy, Université catholique de Louvain [Rapporteur]
M. Emmanuel Chailloux - Sorbonne Université
Mme. Emmanuelle Encrenaz, Sorbonne Université
M. Jean-Ferdinand Susini, CNAM
M. Benjamin Canou, Nomadic Development

Date de départ : 25/12/2018

Publications 2016-2018

Mentions légales
Carte du site