Quentin Stiévenart

regular member
Professor
Computer Science Department
stievenart.quentin@uqam.ca
Page personnelle
UQAM

Biography

Quentin Stiévenart is a professor at UQAM since 2022. He obtained his PhD at the Vrije Universiteit Brussel in Belgium, with research about static analysis higher-order concurrent programs. His research interests cover programming languages, program analysis (static and dynamic), functional and concurrent programming, security, as well as the WebAssembly technology.

Subjects of interests

  • Program analysis: static and dynamic, abstract interpretation, type systems
  • Programming language semantics and interpretation
  • Competition in player systems and channels
  • Security
  • WebAssembly
  • Software Engineering
Jens Van der PlasQuentin Stiévenart and 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 and 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 and 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 and David W. Binkley, Coen De Roover
"Dynamic Slicing of WebAssembly Binaries"IEEE84-962023
Quentin Stiévenart and Dave W. Binkley, Coen De Roover
"An empirical evaluation of quasi-static executable slices"Journal of Systems and Software1116662023
Quentin Stiévenart and Dave Binkley, Coen De Roover
"Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries"ICSE 20222022
Quentin Stiévenart and 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 and 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 and Magnus Madsen
"Fuzzing Channel-Based Concurrency Runtimes Using Types and Effects"Proceedings of the ACM on Programming Languages4OOPSLA186.1-272020
Quentin Stiévenart and 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 and 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 and Jens Nicolay, Wolfgang De Meuter, Coen De Roover
"Mailbox Abstractions for Static Analysis of Actor Programs"ECOOP 20172017