Quentin Stiévenart

membre régulier
Professeur
Département d'informatique
stievenart.quentin@uqam.ca
Page personnelle
UQAM

Biographie

Quentin Stiévenart est professeur à l’UQÀM depuis Décembre 2022. Il a obtenu son doctorat à la Vrije Universiteit Brussel en Belgique, sur le sujet de l’analyse statique de programmes concurrents. Ses intérêts de recherche touchent à la sémantique des langages de programmation, l’analyse de code (statique et dynamique), les langages fonctionnels et concurrents, ainsi qu’à la technologie WebAssembly.

Sujets d'intérêts

  • Analyse de programmes : statique et dynamique, interprétation abstraite, systèmes de types
  • Sémantique des langages de programmation, interprètes
  • Concurrence avec les systèmes d’acteurs et les canaux
  • Sécurité
  • WebAssembly
  • Génie logicielle
Jens Van der PlasQuentin Stiévenart et Coen De Roover
"Result Invalidation for Incremental Modular Analyses"Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 202313881Lecture Notes in Computer ScienceSpringer296-3192023
Cindy Wauters, Jens Van der PlasQuentin Stiévenart et Coen De Roover
"Change Pattern Detection for Optimising Incremental Static Analysis"23rd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 202349-602023
Alexander NicholsonQuentin Stiévenart et Arash Mazidi, Mohammad Ghafari
"Wasmizer: Curating WebAssembly-driven Projects on GitHub"20th IEEE/ACM International Conference on Mining Software Repositories, MSR 2023IEEE130-1412023
Quentin Stiévenart et David W. Binkley, Coen De Roover
"Dynamic Slicing of WebAssembly Binaries"IEEE84-962023
Quentin Stiévenart et Dave W. Binkley, Coen De Roover
"An empirical evaluation of quasi-static executable slices"Journal of Systems and Software1116662023
Quentin Stiévenart et Dave Binkley, Coen De Roover
"Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries"ICSE 20222022
Quentin Stiévenart et Noah Van Es, Jens Van der Plas, Coen De Roover
"A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses"Journal of Systems and Software1811110422021
Quentin Stiévenart et Coen De Roover
"Compositional Information Flow Analysis for WebAssembly Programs"2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM)IEEE2020
Quentin Stiévenart et Magnus Madsen
"Fuzzing Channel-Based Concurrency Runtimes Using Types and Effects"Proceedings of the ACM on Programming Languages4OOPSLA186.1-272020
Quentin Stiévenart et Jens Nicolay, Wolfgang De Meuter, Coen De Roover
"A General Method for Rendering Static Analyses for Diverse Concurrency Models Modular"Journal of Systems and Software1472019
Jens NicolayQuentin Stiévenart et Wolfgang De Meuter, Coen De Roover
"Effect-Driven Flow Analysis"VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation2019
Quentin Stiévenart et Jens Nicolay, Wolfgang De Meuter, Coen De Roover
"Mailbox Abstractions for Static Analysis of Actor Programs"ECOOP 20172017
Étudiant(e)s Statut Sujets
Azizi, Walid Stagiaire (Depuis 2024)

Similarité de code binaire WebAssembly
Maneshti, Hamidreza Maîtrise (Depuis 2024)
Sané, Kémo Maîtrise (Depuis 2024)

Support de types algébriques pour l’exécution symbolique