Dr. Steven Costiou
Chargé de
recherche Inria
Debugging, Live Debugging,
Object-Centric Debugging, Time-travel Debugging, Scriptable Debuggers, Dynamic
Langages, Reflection, Software Adaptation, Object-Oriented Systems, Software
Engineering.
Recherche
Je construit et étudie des outils pour faciliter la compréhension de
programme et leurs bugs.
Pour cela, d’une part je cherche à identifier les meilleures techniques applicables à la résolution de problèmes
de debugging difficiles.
D’autre part, je cherche à identifier et à étudier les propriétés que les langages de programmation et leurs
infrastructures doivent exposer pour supporter ces techniques de debugging.
Pour certains problèmes – notamment des problèmes industriels concrets – ces techniques n’existent pas et je
dois les définir.
Je construis alors des outils pour prouver la faisabilité de ces nouvelles techniques et leur application au
problème ciblé, et les évalue empiriquement pour étudier et comprendre leur impact.
Enfin, je transfère les outils les plus avancés et les plus prometteurs dans le monde de l’open-source et de
l’industrie.
Projets
- ANR JCJC OCRE: Object-Centric Debugging
Reloaded (2022 - 2026).Réduire le coût du debugging avec la première génération de
debuggers orientés objet.Financement : 173 000 euros.
Prix
Étudiants
Doctorants
- Valentin Bourcier: Building the first generation of object-centric debuggers. Financement: ANR
OCRE. Directeur de thèse (100%), 2022 - 2025.
- Maximilian Willembrinck: Queryable time-traveling debuggers. Financement: Inria Lille. Encadrant
50% (directrice : Pr. Anne
Etien), 2020 - 2023.
- Thomas Dupriez: New Generation Debuggers. Financement: ENS Paris Saclay. Co-encadrant (50% sur 2
ans) sur les debuggeurs scriptables (directeur : Stéphane Ducasse), 2018 - 2020.
Master 2
- Adrien Vanègue (recherche). Design and implementation of debuggers (apprentissage). University of
Lille. 2022, 24 mois.
- Daniel Camacho (recherche). Building object-centric debuggers and evaluating object-centric
debugging scenarios. Universidad Católica Boliviana “San Pablo”. 2022, 6 mois.
- Loïc Bontemps (recherche). Traque (recherche + capture) d’objets à debugger dans un programme en
cours d’exécution (mémoire de recherche). University of Lille. 2022, 6 mois.
- Louise Plantec (recherche). Mise en oeuvre d’un robot roulant à base de carte Rasperry-pi pour
l’expérimentation de debuggers centrés objet distants. Louise est aujourd’hui ingénieure logiciel chez
Thales. IMT Atlantique. 2018, 6 mois.
- Elouan Vaillant (recherche). Mise en oeuvre d’un robot roulant à base de carte Rasperry-pi pour
l’expérimentation de debuggers centrés objet distants. IMT Atlantique. 2018, 6 mois.
- Khitam Souleiman (industrie). Projet R&D portant sur une infrastructure de gestion de commandes
dans des salles de restaurant. ISEN Brest. 2014, 6 mois.
Master 1
- Nordine Feddal (recherche). Problem-specific debugging extensions for Pharo (projet, 100 heures).
Université de Lille. 2021, 1 mois.
- Clotilde Toullec (recherche). Mise en oeuvre d’un débugger sur la recherche et l’historisation
d’objets dans un programme en cours d’exécution. Université de Bretagne Occidentale. 2018, 4 mois.
- Amandine Trollet (industrie). Étude et réalisation d’un prototype d’application mobile pour la
prise de commande en salle de restaurant sur un modèle client (mobile Android) serveur (caisse
enregistreuse en Smalltalk). Amandine est aujourd’hui ingénieure en développement dans l’entreprise
CYIM. ENIB. 2015, 4 mois.
- Valentin Bodereau (industrie). Conception et la réalisation d’un module de synchronisation entre
un logiciel de gestion de magasins et les données du site e-commerce associé. Valentin est aujourd’hui
référent technique chez Thales.. ENIB. 2014, 4 mois.
- Florent Letraon (industrie). Portage exploratoire d’une application web de gestion commerciale de
la technologie gwt vers une version native android pour téléphones portables. Université de Bretagne
Occidentale. 2013, 3 mois.
Licence
- Adrien Vanègue (recherche). Improve the Pharo debugger design to enable systematic testing.
University of Lille. 2022, 5 mois.
Groupes de travail
- Responsable du GT debugging au sein du GDR GPL du CNRS. (2020 - ...). debugging.inria.fr.
- Co-animateur de l’Équipe Associée Nord Europe Inria : Advanced debugging (2020 - 2022).
Financement Inria équipe associée nord Europe avec la Pr. Elisa Gonzales Boix de la Virje Universiteit
Brussels..
Collaborations
- Inria Rennes et Université de Nantes (2021 - ...). Collaboration avec Benoit Combemale et Erwan
Bousse (projet GEMOC) sur la génération automatique de requêtes sur des traces de programmes pour leur
exploitation dans des debuggers back-in-time, suite aux travaux de la thèse de Max Willembrinck.
- Université de Chicoutimi (UCAQ) et Université de Concordia, Québec (2020 - ...). Collaboration
avec Fabio Petrillo, associate professor à l’UCAQ, spécialiste des évaluations empiriques sur le
debugging. Nous menons des expériences empiriques sur les points d’arrêts logiciels. L’objectif est de
comprendre l’impact de ces techniques sur le debugging et comment cela aide les développeurs.
- Université de Zurich, Suisse (2020 - ...). Collaboration avec Alberto Bacchelli, associate
professor, spécialiste des évaluations logicielles empiriques. Nous menons des expériences empiriques
sur les opérateurs de debugging centrés sur les objets. L’objectif est de comprendre l’impact de ces
opérateurs sur le debugging et comment cela aide les développeurs.
- Thales DMS, Brest (2017 - ...). Collaboration R&D industrielle avec le Dr. Éric Le Pors,
Responsable Atelier Maquettage/Prototypage IHM chez Thales DMS à Brest : debugging à chaud et centré sur
les objets de maquettes IHM. 2 à 3 réunions par an, à Inria ou à Thales DMS.
- Laboratoire SOFT, Vrije Universitat Brussels, Belgique (2017 - 2019). Collaboration avec la Pr.
Elisa Gonzales Boix et Matteo Marra (doctorant) : remote debugging pour applications sur systèmes
cyber-physiques.
- Inria, Lille (2017 - 2018). Collaboration avec Marcus Denker, CR Inria (laboratoire CRIStAL) :
extensions réflexives centrées objet pour le langage Pharo.
- Diazol/Libre-Informatique, Brest (2016 - 2018). Collaboration R&D industrielle avec Glenn
Cavarlé, responsable technique dans la société Diazol, puis responsable R&D dans la société
Libre-Informatique : prototypage dynamique pour applications industrielles.
Service
Comités de programmes
Comités de relecture
Session chair
Comités d'organisation locale
Étudiant volontaire
- European Smalltalk User Group: ESUG 2009, 2016, 2017.
