I’m a professeur régulier at Université du Québec à Montréal (UQÀM), since 2022. Previously, I was a post-doctoral researcher at the Software Languages Lab of the Vrije Universiteit Brussel in Belgium.
Research Interests
My research interests include, but are not limited to:
- Program analysis: static and dynamic, abstract interpretation, type systems
- Programming languages semantics, interpreters
- Concurrency with actor systems and channels
- Security
- WebAssembly
I'm looking for students!
If you want to pursue a PhD, a Master, or a Bachelor internship related to one of these topics, contact me.
Je suis à la recherche d'étudiant·e·s !
Si vous souhaitez poursuivre un doctorat, une maîtrise, ou réaliser un stage sur un de ces sujets, contactez-moi.
Tools
Here are some tools that I worked on:- Wassail is a static analysis tool oriented towards security analyses for WebAssembly
- MAF is a framework for developing modular static analyses, based on Scala-AM. It targets dynamic programming languages
- Scala-AM is a framework for developing static analyses in Scala, currently targeting Scheme-like programs
Publications
Journal Articles
- An Empirical Evaluation of Quasi-Static Executable Slices. Quentin Stiévenart, Dave Binkley, Coen De Roover. Journal of Systems and Software 200, 2023.
- A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses. Quentin Stiévenart, Noah Van Es, Jens Van der Plas, Coen De Roover. Journal of Systems and Software 180, 2021.
- A General Method for Rendering Static Analyses for Diverse Concurrency Models Modular. Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. Journal of Systems and Software 147, 2019.
- Implementing a Performant Scheme Interpreter for the Web in asm.js. Noah Van Es, Quentin Stiévenart, Jens Nicolay, Theo D’Hondt, Coen De Roover. Computer Languages, Systems & Structures 49, 2017.
- Purity Analysis for JavaScript through Abstract Interpretation. Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover. Journal of Software: Evolution and Process 29(12), 2017.
Conference and Workshop Papers
- Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contract Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover. ICFP 2024.
- Change Pattern Detection for Optimising Incremental Static Analysis. Cindy Wauters, Jens Van der Plas, Quentin Stiévenart, Coen De Roover. SCAM 2023.
- Dynamic Slicing of WebAssembly Binaries. Quentin Stiévenart, Dave Binkley, Coen De Roover. ICSME 2023.
- Wasmizer: Curating WebAssembly-driven Projects on GitHub. Alexander Nicholson, Quentin Stiévenart, Arash Mazidi, Mohammad Ghafari. MSR 2023.
- Result Invalidation for Incremental Modular Analyses. Jens Van der Plas, Quentin Stiévenart, Coen De Roover. VMCAI 2023.
- Developers Struggle with Authentication in Blazor WebAssembly. Pascal Marc André, Quentin Stiévenart, Mohammad Ghafari. ICSME 2022 (NIER Track).
- Summary-Based Compositional Analysis for Soft Contract Verification. Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover. SCAM 2022.
- RacketLogger: Logging and Visualising Changes in DrRacket. Turgut Reis Kursun, Jens Van der Plas, Quentin Stiévenart, Coen De Roover. ELS 2022.
- Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. Quentin Stiévenart, Dave Binkley, Coen De Roover. ICSE 2022.
- Security Risks of Porting C Programs to WebAssembly. Quentin Stiévenart, Coen De Roover, Mohammad Ghafari. SAC 2021.
- The Security Risk of Lacking Compiler Protection in WebAssembly. Quentin Stiévenart, Coen De Roover, Mohammad Ghafari. QRS 2021 (Short paper).
- QSES: Quasi-Static Executable Slicing. Quentin Stiévenart, David Binkley, Coen De Roover. SCAM 2021 (NIER Track).
- Fuzzing Channel-Based Concurrency Runtimes Using Types and Effects. Quentin Stiévenart and Magnus Madsen. OOPSLA 2020.
- Compositional Information Flow Analysis for WebAssembly Programs. Quentin Stiévenart and Coen De Roover. SCAM 2020 (HTML version).
- A Parallel Worklist Algorithm for Modular Analyses. Noah Van Es, Jens Van der Plas, Quentin Stiévenart, Coen De Roover. SCAM 2020.
- Incremental Flow Analysis through Computational Dependency Reification. Jens Van der Plas, Noah Van Es, Quentin Stiévenart, Coen De Roover. SCAM 2020.
- MAF: A Framework for Modular Static Analysis of Higher-Order Languages. Noah Van Es, Jens Van der Plas, Quentin Stiévenart, Coen De Roover. SCAM 2020 (Engineering Track).
- Garbage-Free Abstract Interpretation Through Abstract Reference Counting. Noah Van Es, Quentin Stiévenart, Coen De Roover. ECOOP 2019.
- Effect-Driven Flow Analysis. Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover. VMCAI 2019.
- Static Taint Analysis of Event-driven Scheme Programs. Jonas De Bleser, Quentin Stiévenart, Jens Nicolay, Coen De Roover. ELS 2017.
- Mailbox Abstractions for Static Analysis of Actor Programs. Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. ECOOP 2017.
- A Performant Scheme Interpreter in asm.js. Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D’Hondt, Coen De Roover SAC 2016.
- Building a Modular Static Analysis Framework in Scala (Tool Paper) Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. Scala@SPLASH 2016.
- Scala-AM: A Modular Static Analysis Framework. Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover. SCAM 2016.
- STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation. Maarten Vandercammen, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover. GTTSE 2015.
- Detecting Concurrency Bugs in Higher-Order Programs through Abstract Interpretation. Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. PPDP 2015.
Theses
- Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading. Quentin Stiévenart. Ph.D. Dissertation, Vrije Universiteit Brussel, 2018.
- Static Analysis of Concurrency Constructs in Higher-Order Programs. Quentin Stiévenart. Master’s Thesis, Université Libre de Bruxelles, 2014.
Academic Service
- 2024: SCAM (Engineering track co-chair), ICSR (PC member), IWSM Mensura (PC member), SEMTL (organizer), SECUTE (PC member), Programming (SRC jury member), external reviewers for multiple journals.
- 2023: ECOOP (AEC member), ICFP (AEC co-chair), SCAM (PC member, RENE track co-chair), external reviewer for multiple journals.
- 2022: SAS (external reviewer), Journal of Systems and Software (external reviewer), SCAM (PC member), ICFP (AEC member), Scala Symposium (PC member), PAW (PC chair, organizer), ECOOP (AEC member, Doctoral Symposium PC member).
- 2021: SPLASH (SRC reviewer/judge), SCAM (PC member), ICFP (AEC member), ECOOP (AEC co-chair).
- 2020: Journal of Systems and Software (external reviewer), SLE (AEC member), ICFP (AEC member), ECOOP (AEC member).
- 2019: ICFP (AEC member), OOPSLA (AEC member), ESOP (external reviewer).
- 2018: OOPSLA (AEC member).
- 2017: Science of Computer Programming Journal (external reviewer), OOPSLA (AEC member), COORDINATION (external reviewer).
- 2015: PPDP (external reviewer).