Quentin Stivenart
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
9
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSE | Specification and Detection of LLM Code Smells. | Brahim Mahmoudi, Zacharie Chenail-Larcher, Naouel Moha, Quentin Stivenart, Florent Avellaneda |
| 2026 | MSR | GLiSE: A Prompt-Driven and ML-Powered Tool for Automated Grey Literature Extraction in Software Engineering. | Brahim Mahmoudi, Zacharie Chenail-Larcher, Houcine Abdelkader Cherief, Quentin Stivenart, Naouel Moha, Florent Avellaneda |
| 2025 | SAS | Abstracting Concolic Execution for Soft Contract Verification. | Bram Vandenbogaerde, Quentin Stivenart, Coen De Roover |
| 2025 | SCAM | Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis. | Jens Van der Plas, Quentin Stivenart, Coen De Roover |
| 2023 | MSR | Wasmizer: Curating WebAssembly-driven Projects on GitHub. | Alexander Nicholson, Quentin Stivenart, Arash Mazidi, Mohammad Ghafari |
| 2023 | SCAM | Change Pattern Detection for Optimising Incremental Static Analysis. | Cindy Wauters, Jens Van der Plas, Quentin Stivenart, Coen De Roover |
| 2023 | VMCAI | Result Invalidation for Incremental Modular Analyses. | Jens Van der Plas, Quentin Stivenart, Coen De Roover |
| 2022 | ICSE | Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. | Quentin Stivenart, David W. Binkley, Coen De Roover |
| 2022 | SAC | Security risks of porting C programs to webassembly. | Quentin Stivenart, Coen De Roover, Mohammad Ghafari |
| 2022 | SCAM | Summary-Based Compositional Analysis for Soft Contract Verification. | Bram Vandenbogaerde, Quentin Stivenart, Coen De Roover |
| 2021 | QRS | The Security Risk of Lacking Compiler Protection in WebAssembly. | Quentin Stivenart, Coen De Roover, Mohammad Ghafari |
| 2021 | SCAM | QSES: Quasi-Static Executable Slices. | Quentin Stivenart, David W. Binkley, Coen De Roover |
| 2020 | SCAM | MAF: A Framework for Modular Static Analysis of Higher-Order Languages. | Noah Van Es, Jens Van der Plas, Quentin Stivenart, Coen De Roover |
| 2020 | SCAM | A Parallel Worklist Algorithm for Modular Analyses. | Noah Van Es, Quentin Stivenart, Jens Van der Plas, Coen De Roover |
| 2020 | SCAM | Incremental Flow Analysis through Computational Dependency Reification. | Jens Van der Plas, Quentin Stivenart, Noah Van Es, Coen De Roover |
| 2020 | SCAM | Compositional Information Flow Analysis for WebAssembly Programs. | Quentin Stivenart, Coen De Roover |
| 2019 | ECOOP | Garbage-Free Abstract Interpretation Through Abstract Reference Counting. | Noah Van Es, Quentin Stivenart, Coen De Roover |
| 2019 | VMCAI | Effect-Driven Flow Analysis. | Jens Nicolay, Quentin Stivenart, Wolfgang De Meuter, Coen De Roover |
| 2017 | ECOOP | Mailbox Abstractions for Static Analysis of Actor Programs. | Quentin Stivenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover |
| 2016 | SAC | A performant scheme interpreter in asm.js. | Noah Van Es, Jens Nicolay, Quentin Stivenart, Theo D'Hondt, Coen De Roover |
| 2016 | SCAM | Scala-AM: A Modular Static Analysis Framework. | Quentin Stivenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover |
| 2015 | ICSE | Poster: Static Analysis of Concurrent Higher-Order Programs. | Quentin Stivenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover |
| 2015 | PPDP | Detecting concurrency bugs in higher-order programs through abstract interpretation. | Quentin Stivenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover |