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.

Publications 2016-2018

• 2018
  • R. El Sibaie : “Programmation Web Réactive dans un cadre typé statiquement pour l’orchestration de contenus mutltimédia riches”, soutenance de thèse, soutenance 12/07/2018, direction de recherche Chailloux, Emmanuel (2018)
• 2016
  • R. El Sibaïe, E. Chailloux : “Synchronous Web Programming,”, Proceedings of the 3^rd International Workshop on Reactive and Event-Based Languages and Systems (SPLASHWS-REBLS), Amsterdam, Netherlands (2016)
  • R. El Sibaïe, E. Chailloux : “Pendulum : une extension réactive pour la programmation Web en OCaml”, Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Saint-Malo, France (2016)