Compte-rendu de l'Ecole Jeunes Chercheurs en Programmation 2014

L'édition 2014 de l'École Jeunes Chercheurs en Programmation (EJCP) a eu
lieu du 16 au 20 juin. Trente étudiants ont participé à cette nouvelle
mouture de l'école proposant sur une semaine deux parcours, l'un portant
sur l'ingénierie logicielle et l'autre sur la programmation et la
vérification de programmes. Chaque cours durait une journée et
comportait pour moitié des cours magistraux et pour moitié des travaux
pratiques. Des problèmes de transport ont malheureusement provoqué
l'annulation d'un cours dans chaque parcours.

En ce qui concerne l'ingénierie logicielle, les étudiants ont pu
découvrir la modélisation et le développement formel de systèmes avec
Event-B, présenté par Jean-Raymond Abrial. Ils ont ensuite étudié la
programmation à base de services et de composants avec Lionel
Seinturier. Houari Sahraoui, venu spécialement de l'université de
Montréal, a présenté des études empiriques d'ingénierie
logicielle. Enfin, Florent Bouchez et Christophe Guillon ont conclu ce
parcours avec un cours sur la compilation, l'optimisation, et le
débogage.

Les cours orientés programmation et vérification ont débuté par une
séance sur la programmation par types dépendants avec Agda, présentée
par le créateur du langage Ulf Norell, venu de Chalmers en Suède. Manuel
Serrano nous a ensuite décrit la nouvelle version de son langage Hop
permettant le développement d'applications distribuées pour le
web. François Pessaux nous a présenté l'outil de programmation certifié
Focalize. Enfin, les étudiants ont bénéficié d'un cours sur la preuve
formelle de protocoles cryptographiques présenté par Gilles Barthe.

Les étudiants nous ont également décrit leurs travaux de thèse lors de
présentations éclair au début de la semaine. Cela leur a permis de faire
connaissance dès le début de l'école.

Le dépouillement des évaluations indique que la structure en deux
parcours a été appréciée; les étudiants n'ont pas hésité à passer d'un
parcours à l'autre en fonction de leurs intérêts. Certains ont regretté
que des cours les intéressant eussent eu lieu en parallèle, ce qui est
un des inconvénients de cette approche. La combinaison de cours
magistraux et de travaux pratiques reste un des éléments les plus
appréciés de l'école. Notre choix de raccourcir la durée de l'école
à une semaine est en revanche plus discutable, plusieurs étudiants ont
trouvé que cette semaine était trop dense.

Les supports de cours sont disponibles sur la page du programme de
l'école, http://ejcp2014.inria.fr/program.html. Nous remercions les
organismes grâce à qui cette école a pu avoir lieu: le GDR GPL, le CNRS,
Inria, l'université Rennes 1, le GDR IM et l'école doctorale
Matisse. Nous sommes enfin preneurs de toute suggestion sur
l'organisation et les cours que nous pourrions proposer lors de la
prochaine édition de l'école.

Alan Schmitt & Olivier Barais - Organisateurs de l'édition 2015