Financement recherche innovation : EJCP 2025

Financement Recherche innovation : EJCP 2025La Fondation UBS a attribué un soutien financier pour l'organisation de l'Ecole Jeunes Chercheuses et Jeunes Chercheurs en Programmation (EJCP 2025).

Financement Recherche Innovation : EJCP 2025

Édition 2025 (du 30 juin au 4 juillet 2025)

L’édition 2025 de l’école a eu lieu à Vannes. Elle est organisée par le laboratoire IRISA, avec la participation de l’UBS et l’ENSIBS.

La fondation UBS a souhaité soutenir financièrement cet événement à destination des doctorantes et doctorants. 

Le programme

Lundi 30 juin 2025

Intervenant.e.s : Sophie Quinton (Equipe Spades, Inria Grenoble)

: Programmation et durabilité : quels enjeux ?

: Si l’on s’interroge sur le lien entre programmation et durabilité, on pense peut-être d’abord à la consommation électrique des ordinateurs et aux pollutions associées à la production de cette électricité. Mais le numérique a des conséquences qui vont bien au-delà, tout au long du cycle de vie des équipements informatiques, et aussi de façon indirecte, par les usages qui en sont faits et les changements profonds qu’il entraîne dans notre société. Dans cet exposé interactif, nous nous intéresserons à ces différents types d’impacts pour les replacer dans le contexte de l’urgence écologique. Parmi les méthodes d’évaluation existantes, nous détaillerons plus particulièrement l’analyse de cycle de vie (ACV) et ses limites, en contraste avec les approches par la matérialité et les conflits qui sont privilégiées par les études sociales des sciences et des techniques (STS).

Nous nous intéresserons ensuite plus spécifiquement à la recherche en informatique, et à la programmation en particulier, en prenant comme point de départ les travaux de recherche des participant.es à l’EJCP.

Mardi 1er Juillet 2025

Intervenant.e.s : David Baelde et Joseph Lallemand (Equipe Spicy, IRISA, UnivRennes)

: Proving Cryptographic Protocols with Squirrel

: Cryptographic protocols are concurrent programs that use cryptographic primitives to carry out various tasks securely. They are used to authenticate agents online, to keep digital communications secret, to ensure privacy when voting, etc. Designing and proving cryptographic protocols can be challenging, even when they are small, due to the complexity of cryptographic assumptions and the adversarial environment in which protocols execute.

This course will present a specific approach to protocol verification, embodied in the Squirrel proof assistant. It will not assume any pre-requisite in cryptography, logic or proof assistants. It will be composed of: (1) a lecture introducing cryptographic protocols and the Squirrel approach to model and reason about them; (2) a practical session during which participants will be able to take their first steps in formally proving cryptographic protocols.

Mercredi 2 Juillet 2025

Intervenant.e.s : Laure Gonnord (Equipe CTSYS, LCIS, ESISAR Valence, Grenoble INP)

: sparse abstract interpretation

: Proving the absence of bugs in a given software (problem which has been known to be intrinsically hard since Turing and Cook) is not the only challenge in software development. Indeed, the ever growing complexity of software increases the need for more trustable optimisations. Solving these two problems (reliability, optimisation) implies the development of safe (without false negative answers) and efficient (wrt memory and time) analyses, yet precise enough (with few false positive answers). In a first part of the lecture, I will present a basic crash course on classical abstract interpretation, that has demonstrated its pertinence for software verification, and make a first assessment on the (quasi)impossibility of using the framework “as this” in production compilers. In the second part, I will present some experiences in the design of scalable “sparse” static analyses inside compilers, and try to make a synthesis about the general framework we, together with my coauthors, used to develop them. I will also show some experimental evidence of the impact of this work on real-world compilers, as well as future perspective for this area of research.

This talk will be adapted from slides I used for the PLISS 22 summer school

Une activité dans le golfe du Morbihan (sur une des îles) est prévue pour le Jeudi après-midi.

Jeudi 3 Juillet 2025

Intervenant.e.s : Yann Orlarey (Equipe Emeraude, Inria Lyon)

: Atelier de lutherie numérique avec Faust

: L’atelier propose une découverte ludique du langage Faust et de la programmation audio, à travers la construction d’instruments de musique numériques. Comme nous le verrons avec des exemples pratiques, Faust repose sur un calcul de circuits. Programmer en Faust consiste à construire un circuit audio par composition de circuits primitifs, selon une approche purement fonctionnelle. Le circuit résultant est ensuite compilé en une implémentation optimisée, ciblant à la fois un langage (C++, Rust, WebAssembly, LLVM, etc.) et une architecture (VST, LV2, Jack, WebAudio, etc.). Les participants auront l’occasion d’implémenter quelques techniques classiques de synthèse sonore (soustractive, additive, FM) et de traitement du signal (filtrage, délais, réverbération). Ils découvriront en parallèle comment l’approche par composition de circuits facilite l’implémentation et la combinaison de ces techniques pour créer des instruments expressifs. La séance se terminera par une jam session collective, où les participants pourront jouer les instruments qu’ils auront créés, sur smartphone ou sur ordinateur.

L’après-midi sera réservée à la présentation et visite du centre de gestion de crise cyber de l’UBS. Le reste de l’après-midi sera laissée libre.

Vendredi 4 Juillet 2025

Intervenant.e.s : Gilles Perrouin (FNRS, UNamur, Belgique)

: The future of SE is AI and vice-versa :) (The peregrinations of a software engineer in the AI (not so) wonderland)

: The coming of age of machine learning, combined with the vast amount of data modern software produces, enabled fruitful synergies between AI and software engineering. Applications of these synergies abound: code and test generation, documentation inference, etc. These research fields are now extremely popular in software engineering venues: AI4SE and SE4AI.

In this talk, we will venture into these fields with a software engineering perspective. We will explore how AI4SE techniques can aid the generation of security mutants, learn from variants in configurable software & processes, and generate REST API documentation. Conversely, we will also explore examples of how SE can address major AI concerns such as fairness and sustainability, closing the synergistic loop between AI and SE.

Un programme riche que la Fondation UBS est fière de soutenir !

Crédits photographiques : ©Fondation Bretagne Sud.