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.
