Passer au contenu

/ La recherche

Je donne

Rechercher

Natural Sciences and Engineering

Houari Sahraoui

Génie logiciel, visualisation du logiciel, intelligence artificielle, apprentissage automatique

Vice-doyen

Faculté des arts et des sciences - Direction

Pavillon Lionel-Groulx, room C9076-3

514 343-5746

houari.sahraoui@umontreal.ca

Professeur titulaire

Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle

André-Aisenstadt, room 2359

514 343-5746

houari.sahraoui@umontreal.ca

Secondary number: 514 343-5834 (Télécopieur)

Profile

Research expertise

Houari Sahraoui is a Professor in the GEODES Software Engineering Lab within the Department of Computer Science and Operations Research at the Université de Montréal. He also serves as Vice-Dean of the Faculty of Arts and Sciences. He received his Ph.D. in Computer Science from Pierre and Marie Curie University (LIP6) in 1995, specializing in Artificial Intelligence.

His research focuses on AI for Software Engineering, including software automation, model-driven engineering, digital twins, and the use of generative AI for code and modeling tasks. He has authored more than 200 publications in leading conferences and journals and has received numerous distinctions, including Best Paper Awards, ACM SIGSOFT Distinguished Paper Awards, and the IEEE TCSE 10-Year Most Influential Paper Award.

He has held several leadership positions within the software engineering community, including serving as General Chair of ASE, MODELS, and VISSOFT, Program Chair of MODELS and VISSOFT, and member of numerous IEEE and ACM conference program committees. He has also served as Associate Editor for several scientific journals, including Software and Systems Modeling, and is a founding member of CS-Can | Info-Can, the Canadian computer science society. He is a Fellow of Automated Software Engineering and the recipient of the CS-Can | Info-Can Lifetime Achievement Award in Computer Science.

Biography

Houari Sahraoui is a Professor in the GEODES Software Engineering Lab within the Department of Computer Science and Operations Research at the Université de Montréal since 1999. He served as Chair of the Department from 2013 to 2017 and is Vice-Dean of the Faculty of Arts and Sciences since 2017. He received his Ph.D. in Computer Science from Pierre and Marie Curie University (LIP6) in 1995, specializing in Artificial Intelligence.

Before joining the Université de Montréal, he worked as a researcher and later as a senior researcher at the Computer Research Institute of Montréal (CRIM). He has also held visiting professor positions at the University of Castilla-La Mancha in Spain and at INRIA Rennes in France.

Awards and recognitions

  • Lifetime Achievement Award in Computer Science (CS-Can | Info-Can, 2026)
  • ACM SIGSOFT Distinguished Paper Award (2024)
  • MODELS Best Paper Award (2023)
  • Fellow of Automated Software Engineering (2023)
  • IEEE TCSE 10-Year Most Influential Paper Award (2021)
  • Three ACM Service Recognition Awards (2003, 2020, 2022)
  • Two Best Paper Awards (2010)
  • ACM Distinguished Paper Award (2005)
  • Université de Montréal Excellence in Science Teaching Award (2003–2004)

Affiliations and responsabilities

Teaching and supervision

Student supervision

Theses and dissertation supervision (Papyrus Institutional Repository)

2025

Combining large language models with static analyzers for code review generation

Graduate : Jaoua, Imen
Cycle : Master's
Grade : M. Sc.
2025

Empowering code review automation : a data-centric, multi-task-driven, and human-aware approach

Graduate : Ben Sghaier, Oussama
Cycle : Doctoral
Grade : Ph. D.
2024

Co-simulation for controlled environment simulation

Graduate : Archambault, Pascal
Cycle : Master's
Grade : M. Sc.
2023

Automatically correcting syntactic and semantic errors in ATL transformations using multi-objective optimization

Graduate : VaraminyBahnemiry, Zahra
Cycle : Doctoral
Grade : Ph. D.
2023

Extraction of UML class diagrams from natural language specifications

Graduate : Yang, Song
Cycle : Master's
Grade : M. Sc.
2023

Few-shot prompt learning for automating model completion

Graduate : Ben-Chaaben, Meriem
Cycle : Master's
Grade : M. Sc.
2023

Apprentissage de stratégies de calcul adaptatives pour les réseaux neuronaux profonds

Graduate : Kamanda, Aton
Cycle : Master's
Grade : M. Sc.
2023

Optimizing vertical farming : control and scheduling algorithms for enhanced plant growth

Graduate : Vu, Cong Vinh
Cycle : Master's
Grade : M. Sc.
2022

Abstraction de comportement de haut niveau à l’aide de la visualisation interactive

Graduate : Vandamme, Dorian
Cycle : Master's
Grade : M. Sc.
2021

Towards using intelligent techniques to assist software specialists in their tasks

Graduate : Ben Sghaier, Oussama
Cycle : Master's
Grade : M. Sc.
2021

Extending domain-specific modeling editors with multi-touch interactions

Graduate : Hossain, Md Rifat
Cycle : Master's
Grade : M. Sc.
2021

Pattern-based refactoring in model-driven engineering

Graduate : Mokaddem, Chihab eddine Mohamed Omar
Cycle : Doctoral
Grade : Ph. D.
2019

From examples to knowledge in model-driven engineering : a holistic and pragmatic approach

Graduate : Batot, Edouard
Cycle : Doctoral
Grade : Ph. D.
2018

Caractérisation et étude de l’impact des permissions dans les applications mobiles

Graduate : Dbouba, Selsabil
Cycle : Master's
Grade : M. Sc.
2018

Détection des utilisations à risque d’API : approche basée sur le système immunitaire

Graduate : Gallais-Jimenez, Maxime
Cycle : Master's
Grade : M. Sc.
2017

Inferring API Usage Patterns and Constraints : a Holistic Approach

Graduate : Saied, Mohamed Aymen
Cycle : Doctoral
Grade : Ph. D.
2017

Using goal-driven assistants for software visualization

Graduate : Ndiaye, Alassane
Cycle : Master's
Grade : M. Sc.
2015

A Mono- and Multi-objective Approach for Recommending Software Refactoring

Graduate : Ouni, Ali
Cycle : Doctoral
Grade : Ph. D.
2015

A unified framework for the comprehension of software's time dimension

Graduate : Benomar, Omar
Cycle : Doctoral
Grade : Ph. D.
2015

Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos

Graduate : Ahumada Pardo, Dania I.
Cycle : Master's
Grade : M. Sc.
2014

Improving automation in model-driven engineering using examples

Graduate : Faunes Carvallo, Martin
Cycle : Doctoral
Grade : Ph. D.
2012

Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels

Graduate : Bouvier, Simon
Cycle : Master's
Grade : M. Sc.
2011

Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées

Graduate : Bouchoucha, Arbi
Cycle : Master's
Grade : M. Sc.
2011

Intégration de la visualisation à multiples vues pour le développement du logiciel

Graduate : Langelier, Guillaume
Cycle : Doctoral
Grade : Ph. D.
2011

Formulation interactive des requêtes pour l’analyse et la compréhension du code source

Graduate : Jridi, Jamel Eddine
Cycle : Master's
Grade : M. Sc.
2011

Modelling software quality : a multidimensional approach

Graduate : Vaucher, Stéphane
Cycle : Doctoral
Grade : Ph. D.
2011

Transformation by example

Graduate : Kessentini, Marouane
Cycle : Doctoral
Grade : Ph. D.
2010

Développement logiciel par transformation de modèles

Graduate : El boussaidi, Ghizlane
Cycle : Doctoral
Grade : Ph. D.
2010

Rétro-ingénierie des diagrammes de séquence par visualisation interactive

Graduate : Grati, Hassen
Cycle : Master's
Grade : M. Sc.
2008

Rule-based quality heuristics formalization and identification

Graduate : Yang, Fan
Cycle : Master's
Grade : M. Sc.
2008

Évaluation de la qualité des applications web : approche probabiliste

Graduate : Malak, Ghazwa
Cycle : Doctoral
Grade : Ph. D.
2008

Un système d'aide à la visualisation interactive de logiciels

Graduate : Hassaine, Salima
Cycle : Master's
Grade : M. Sc.
2008

Détection visuelle d'anomalies de conception dans les programmes orientés objets

Graduate : Dhambri, Karim
Cycle : Master's
Grade : M. Sc.
2007

Visualisation de la qualité des logiciels de grandes taille

Graduate : Langelier, Guillaume
Cycle : Master's
Grade : M. Sc.
2007

Modélisation pour la gestion de modèles

Graduate : Dinh, Thi Lan Anh
Cycle : Doctoral
Grade : Ph. D.
2007

Méta-modélisation de l'adaptation dynamique du contrôle des systèmes multi-agents

Graduate : Pham, Viet Thang
Cycle : Doctoral
Grade : Ph. D.
2006

Formal checking of web based applications

Graduate : Barburas, Doina Mirela
Cycle : Master's
Grade : M. Sc.
2006

Analyse de la qualité du logiciel : une approche par visualisation et simulation

Graduate : Rouatbi, Mohamed
Cycle : Master's
Grade : M. Sc.
2005

Estimation de l'impact du changement dans les programmes à objets

Graduate : Cheikhi, Laila
Cycle : Master's
Grade : M. Sc.
2005

Estimation de la qualité du produit logiciel : réseaux Bayésiens

Graduate : El Aoumari, Sanaa
Cycle : Master's
Grade : M. Sc.
2005

Migrating legacy system towards object technology

Graduate : Wu, Lei
Cycle : Doctoral
Grade : Ph. D.
2004

Determination of software quality through a generic model

Graduate : Mehio, Nouha
Cycle : Master's
Grade : M. Sc.
2003

Software stability assessment using multiple prediction models

Graduate : Zhang, Hong
Cycle : Master's
Grade : M. Sc.
2002

A case-based reasoning diagnosis system for AHU (Air-Handling Unit)

Graduate : Zheng, Suoshi
Cycle : Master's
Grade : M. Sc.
2002

Enhancing and evolving a rule-based system using historical data : a neuro-fuzzy approach

Graduate : Mai, Gang
Cycle : Master's
Grade : M. Sc.
2002

Identification des objets dans les applications léguées basée sur les algorithmes génétiques

Graduate : Konkobo, Idrissa
Cycle : Master's
Grade : M. Sc.
2002

Obje[c]t identification using conceptual clustering

Graduate : Shen, Shiqiang
Cycle : Master's
Grade : M. Sc.
2002

001_correct : un environnement de restructuration des programmes objets piloté par la qualité

Graduate : Chawiche, Hassan M.
Cycle : Master's
Grade : M. Sc.
2001

Gestionnaire de connaissances pour systèmes hybrides objets-règles

Graduate : Es-salihe, Mustapha
Cycle : Master's
Grade : M. Sc.

Projects

Research projects

2025 - 2031

Improving automation and assistance for software engineering tasks with generative AI

Lead researcher : Houari Sahraoui
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
2019 - 2026

From examples to knowledge to software engineering support and automation

Lead researcher : Houari Sahraoui
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
2023 - 2025

Efficient Support of Code Review Process with Deep Learning

Lead researcher : Houari Sahraoui
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVXXXXXX-Subventions Alliance - International Catalyseur
2022 - 2025

Digital Twins for Vertical Farming

Funding sources: MITACS Inc. , Ferme d'hiver technologies inc.
Grant programs: PVXXXXXX-Stage Accélération Québec - MITACS ,
2022 - 2025

Digital Twins for Vertical Farming

Lead researcher : Houari Sahraoui
Co-researchers : Eugene Syriani
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVXXXXXX-Subventions Alliance
2022 - 2024

Toward Robust and Adaptable Deep Learning Models of Code

Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVXXXXXX-Subventions Alliance
2020 - 2023

L’assistance au développement du logiciel au temps des données massives

Lead researcher : Houari Sahraoui
Funding sources: SPIIE/Secrétariat des programmes interorganismes à l’intention des établissements
Grant programs: PVXXXXXX-Fonds d'excellence en recherche Apogée Canada/Bourse
2022

Multi-paradigm digital twin framework for biophysical systems: Application to vertical farming

Lead researcher : Houari Sahraoui
Co-researchers : Eugene Syriani
2020 - 2021

Supplément COVID-19 CRSNG_From examples to knowledge to software engineering support and automation

Lead researcher : Houari Sahraoui
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVXXXXXX-Supplément à l’appui des étudiants, des stagiaires postdoctoraux et du personnel de soutien à la recherche COVID-19
2014 - 2021

LEARNING FROM EXAMPLES TO IMPROVE AUTOMATION IN MODEL-DRIVEN ENGINEERING

Lead researcher : Houari Sahraoui
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
2017 - 2018

Migration des applications logicielles vers le "Cloud"

Lead researcher : Houari Sahraoui
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PV128974-(EGP) Programme de subvention d'engagement partenarial
2000 - 2015

ADDRESSING ISSUES IN SOFTWARE ENGINEERING AUTOMATION USING VISUALIZATION AND SEARCH-BASED METHODS

Lead researcher : Houari Sahraoui
Funding sources: CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs: PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
2009 - 2013

ADDRESSING ISSUES IN SOFTWARE ENGINEERING AUTOMATION USING VISUALIZATION AND SEARCH-BASED METHODS

Lead researcher : Houari Sahraoui

Outreach

Publications and presentations

Publications

2026

  • Syntactic Multilingual Probing of Pre-Trained Language Models of Code (Journal of Systems and Software)
  • MDE for Crop Representations in Smart Farming Digital Twins: A Reinforcement Learning Perspective (SoSyM)
  • On the Utility of Domain Modeling Assistance with Large Language Models (TOSEM)
  • Modeling Sampling Workflows for Code Repositories (MSR)
  • Creativity Beyond Functionality: An Observational Study of Easter Eggs in Video Games (Games and Software Engineering Workshop)

2025

  • Automation in Model-Driven Engineering: A Look Back, and Ahead (TOSEM)
  • Exploring Parameter-Efficient Fine-Tuning Techniques for Code Generation with Large Language Models (TOSEM)
  • Combining Large Language Models with Static Analyzers for Code Review Generation (MSR)
  • Harnessing Large Language Models for Curated Code Reviews (MSR)
  • On the Challenges of Integrating Digital Twins (EDTconf)
  • MONO2REST: Identifying and Exposing Microservices: A Reusable RESTification Approach (ICSR)
  • Engineering Digital Twins for AI-Assisted Scientific Discovery: Case of Plasma-Enhanced Deposition (EDTconf)

2024

  • CodeUltraFeedback: An LLM-as-a-Judge Dataset for Aligning Large Language Models to Coding Preferences (TOSEM)
  • Improving Repair of Semantic ATL Errors Using a Social Diversity Metric (SoSyM)
  • Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice (TOSEM)
  • Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation (FSE, ACM SIGSOFT Distinguished Paper Award)
  • A Modeling Methodology for Crop Representation in Digital Twins for Smart Farming (EDTconf)
  • CodeLL: A Lifelong Learning Dataset to Support the Co-Evolution of Data and Language Models of Code (MSR)

2023

  • Toward Optimal Psychological Functioning in AI-Driven Software Engineering Tasks (IEEE Software)
  • Polyglot Software Development: Wait, What? (IEEE Software)
  • MoTrans-BDI: Leveraging the Beliefs-Desires-Intentions Agent Architecture for Collaborative Model Transformation by Example (Journal of Computer Languages)
  • Fingerprinting and Building Large Reproducible Datasets (ACM REP)
  • Towards Using Few-Shot Prompt Learning for Automating Model Completion (ICSE NIER)
  • Co-Simulation for Controlled Environment Agriculture (ANNSIM)
  • On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-Trained Language Models of Code (ESEC/FSE)
  • Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned (MODELS, Best Paper Award)
  • A Multi-Step Learning Approach to Assist Code Review (SANER)

2022

  • Promoting Social Diversity for the Automated Learning of Complex MDE Artefacts (SoSyM)
  • Learning from Code Repositories to Recommend Model Classes (JOT)
  • Recommending Metamodel Concepts during Modeling Activities with Pre-Trained Language Models (SoSyM)
  • A Generic Approach to Detect Design Patterns in Model Transformations Using a String-Matching Algorithm (SoSyM)
  • Better Modeling the Programming World with Code Concept Graphs-Augmented Multi-Modal Learning (ICSE NIER)
  • Towards Automatically Extracting UML Class Diagrams from Natural Language Specifications (MDE Intelligence)
  • Fine-Grained Analysis of Similar Code Snippets (ICSR)
  • Fighting Evil Is Not Enough When Refactoring Metamodels: Promoting the Good Also Matters (SAC)
  • Global Decision Making Over Deep Variability in Feedback-Driven Software Development (ASE NIER)
  • AST-Probe: Recovering Abstract Syntax Trees from Hidden Representations of Pre-Trained Language Models (ASE)

2021

  • A Hitchhiker’s Guide to Model-Driven Engineering for Data-Centric Systems (IEEE Software)
  • Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases (JOT)
  • Metamodel Refactoring Using Constraint Solving: A Quality-Based Perspective (SAM)
  • Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules (MODELS)
  • Understanding High-Level Behavior with a Light-Traces Visualization Metaphor (VISSOFT)
  • Checking Temporal Patterns of API Usage Without Code Execution (FormaliSE)

2020

  • Towards Assisting Developers in API Usage by Automated Recovery of Complex Temporal Patterns (Information and Software Technology)
  • Opportunities in Intelligent Modeling Assistance (SoSyM)
  • ReSIde: Reusable Service Identification from Software Families (Journal of Systems and Software)

Disciplines

  • Computer Science
  • Computer Engineering and Software Engineering

Areas of expertise

  • Software engineering
  • Automated software engineering
  • Deep learning
  • Empirical software engineering
  • Model-driven engineering
  • Search-based Software Engineering
  • Software visualization
  • Computer simulation

Aide en ligne pour votre profil | Nous joindre

Le Répertoire des professeurs est propulsé par les données du SADVR et est un projet du CENR.

Personnes-ressource dans nos équipes
Qui fait quoi?
Formulaires, procédures et systèmes
Formulaires et procédures
Occasions de financement avec PIVOT
PIVOT