Félicitations à Sebastien Bonduelle, doctorant dans l'équipe Épicure, qui a reçu le Radhia Cousot Young Researcher Best Paper Award à la conférence SAS'26 (Static Analysis Symposium), pour son article intitulé "Determinism Analysis and its Application to Evaluation Order Independence" (coécrit avec Benoît Montagu et Thomas Jensen)
Ce travail s'inscrit dans le cadre de l'analyse statique de programmes, une branche de la sûreté et de la sécurité logicielle dont le but est d'apporter de manière automatique des garanties formelles (c'est-à-dire accompagnées d'une preuve mathématique) sur le fait qu'un logiciel ne peut pas produire d'erreurs durant son exécution. Les résultats de cet article apportent des garanties sur le fait qu'un programme produira toujours le même résultat si on l'exécute plusieurs fois dans les mêmes conditions (propriété de déterminisme). Pour beaucoup de langages de programmation, le déterminisme des logiciels n'est pas garanti. En effet, l'ordre d'exécution des différentes parties d'un programme informatique peut admettre plusieurs "degrés de liberté", qu'un interpréteur ou un compilateur peut exploiter comme il le souhaite. Ces choix, qui ne sont pas sous le contrôle de l'auteur du logiciel, peuvent avoir une influence sur le résultat obtenu : c'est une source de bugs potentiels, que ce travail permet de détecter, et à coup sûr !