This page is not maintained since December 2022. My current page is now hosted here.
I’m 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:

• Static analysis
• Dynamic Analysis
• Abstract interpretation
• Type systems
• Concurrent programming
• Higher-order programming languages
• Interpreters
• WebAssembly

Publications

Journal Articles

• 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

• 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.

Others

• Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact). Noah Van Es, Quentin Stiévenart, Coen De Roover. ECOOP 2019
• Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. ECOOP 2017.
• Poster: Static Analysis of Concurrent Higher-Order Programs. Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. ICSE 2015.

Academic Service

2022

• SAS 2022 (Static Analysis Symposium).
  External Reviewer.
• Journal of Systems and Software, 2022.
  External Reviewer.
• SCAM 2022 (International Working Conference on Source Code Analysis & Manipulation).
  Member of the Program Committee.
• ICFP 2022 (International Conference on Functional Programming).
  Member of the Artifact Evaluation Committee.
• Scala 2022 (Scala Symposium).
  Member of the Program Committee.
• PAW 2022 (Workshop on Program Analyses for WebAssembly).
  Program Chair.
• ECOOP 2022 (European Conference on Object-Oriented Programming).
  Member of the Doctoral Symposium Program Committee.
• ECOOP 2022 (European Conference on Object-Oriented Programming).
  Member of the Artifact Evaluation Committee.

2021

• SPLASH 2021 (ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity).
  Reviewer/judge for the student research competition.
• SCAM 2021 (International Working Conference on Source Code Analysis & Manipulation).
  Member of the Program Committee.
• ICFP 2021 (International Conference on Functional Programming).
  Member of the Artifact Evaluation Committee.
• ECOOP 2021 (European Conference on Object-Oriented Programming).
  Co-chair of the Artifact Evaluation Committee.

2020

• Journal of Systems and Software, 2020.
  External Reviewer.
• SLE 2020 (International Conference on Software Language Engineering).
  Member of the Artifact Evaluation Committee.
• ICFP 2020 (International Conference on Functional Programming).
  Member of the Artifact Evaluation Committee.
• ECOOP 2020 (European Conference on Object-Oriented Programming).
  Member of the Artifact Evaluation Committee.

2019

• ICFP 2019 (International Conference on Functional Programming).
  Member of the Artifact Evaluation Committee.
• OOPSLA 2019 (Object-Oriented Programming, Systems, Languages & Applications).
  Member of the Artifact Evaluation Committee.
• ESOP 2019 (European Symposium on Programming).
  External Reviewer.

2018

• OOPSLA 2018 (Object-Oriented Programming, Systems, Languages & Applications).
  Member of the Artifact Evaluation Committee.

2017

• Science of Computer Programming Journal, 2017.
  External Reviewer.
• OOPSLA 2017 (Object-Oriented Programming, Systems, Languages & Applications).
  Member of the Artifact Evaluation Committee.
• COORDINATION 2017 (Coordination Models and Languages).
  External Reviewer.

2015

• PPDP 2015 (International Symposium on Principles and Practice of Declarative Programming).
  External Reviewer.

Tools

• 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