|
3-6 juin 2024 Strasbourg (France)
|
|
|
|
Programme
 |
‹ mardi 4 juin 2024 › |
|
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
|
›9:00 (1h15)
› GAM - Grand Amphi de Math
9:00 - 10:15 (1h15)
Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios
 GAM - Grand Amphi de Math
Florence Maraninchi
›9:00 (1h15)
Conférences invitées
Florence Maraninchi : Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios › GAM - Grand Amphi de Math
9:00 - 10:15 (1h15)
Conférences invitées
GAM - Grand Amphi de Math
Florence Maraninchi : Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios
› Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios
- Florence Maraninchi, VERIMAG
09:00-10:15 (1h15)
›10:15 (30min)
10:15 - 10:45 (30min)
Pause
10:45 - 12:15 (1h30)
GT GLIA
GAM - Grand Amphi de Math
› A Performance Study of LLM-Generated Code on Leetcode
- Tristan Coignion, Inria Lille - Nord Europe
10:45-11:03 (18min)
› Options Matter: Documenting and Fixing Non-Reproducible Builds in Highly-Configurable Systems
- Georges Aaron Randrianaina, Univ Rennes, IRISA
11:03-11:21 (18min)
› Code stylometry vs formatting and minification
- Stefano Balla, Alma Mater Studiorum Università di Bologna = University of Bologna
11:21-11:39 (18min)
› IA et métier, séparation des préoccupations au cœur du logiciel
- Sylvain Lejambe, Université Savoie Mont Blanc
11:39-11:57 (18min)
› Défi Inria LLM4Code
- Mathieu Acher, Institut de Recherche en Informatique et Systèmes Aléatoires, Diversity-centric Software Engineering
11:57-12:15 (18min)
›12:15 (1h45)
12:15 - 14:00 (1h45)
Déjeuner
14:00 - 16:00 (2h)
GT IE
GAM - Grand Amphi de Math
Régine Laleau et Thomas Polacsek
› Présentation de l'outil Maat Re
- Patrick Tessier, CEA-LIST
14:00-14:30 (30min)
› L'ingénierie des exigences et les hypothèses : de la construction incrémentale aux approches guidées par les données
- Thomas Lambolais, EuroMov - Digital Health in Motion
14:30-15:00 (30min)
› Exploration des relations entre les buts pour la conception d'une chaîne d'assemblage de satellites
- Anouk Chan, ONERA, Université de Toulouse [Toulouse] - Thomas Polacsek, ONERA, Université de Toulouse [Toulouse]
15:00-15:30 (30min)
14:00 - 15:00 (1h)
GT GLIA
PAM - Petit amphi de math
› CNNGen & Towards Feature-based ML-enabled Behaviour Location
- Paul TEMPLE, LANGAGE ET GÉNIE LOGICIEL
14:00-14:20 (20min)
› Apprentissage automatique pour l'amélioration de la vérification formelle de code
- Maykel Mattar, Laboratoire de Sûreté et de sécurité des Logiciels, Institut de Recherche en Informatique et Systèmes Aléatoires
14:20-14:40 (20min)
› Modelling for citizens with citizens. Building accessible and reliable software for agent-based modelling
- Oleksandr Zaitsev, Savoirs, ENvironnement et Sociétés, Département Environnements et Sociétés
14:40-15:00 (20min)
15:00 - 16:00 (1h)
GT VL
PAM - Petit amphi de math
› Polyglot programming: static analysis and test
- Philémon Houdaille
15:00-15:20 (20min)
› Lightweight Syntactic API Usage Analysis with UCov
- Gustave Monce, Laboratoire Bordelais de Recherche en Informatique
15:20-15:40 (20min)
› A manual categorization of new quality issues on automatically-generated tests
- Nicolas Anquetil, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
15:40-16:00 (20min)
›16:00 (30min)
16:00 - 16:30 (30min)
Pause
16:30 - 17:30 (1h)
Prix de thèse
GAM - Grand Amphi de Math
Pascal Poizat
17:30 - 19:00 (1h30)
Préparation des concours
Salle C02
Atelier
›17:30 (1h30)
17:30 - 19:00 (1h30)
Atelier Préparation des concours
Paul Temple
|
https://gdrgpl2024.sciencesconf.org/data/program/Maraninchi_2.pdf| Session | Discours | Logistique | Pause | Sortie |
| Personnes connectées : 1 | Vie privée |
|
