Quentin Stiévenart

43 papers A* 1A 5B 3C 11Misc 2Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
Abstracting Concolic Execution for Soft Contract Verification.
SAS
Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover
2025 J jnl
An empirical evaluation of static, dynamic, and hybrid slicing of WebAssembly binaries.
J. Syst. Softw.
Quentin Stiévenart, Dave W. Binkley, Coen De Roover
2025 C conf
Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis.
SCAM
Jens Van der Plas, Quentin Stiévenart, Coen De Roover
2025 J jnl
Specification and Detection of LLM Code Smells.
CoRR
Brahim Mahmoudi, Zacharie Chenail-Larcher, Naouel Moha, Quentin Stiévenart, Florent Avellaneda
2024 J jnl
Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts.
Proc. ACM Program. Lang.
Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover
2023 J jnl
An empirical evaluation of quasi-static executable slices.
J. Syst. Softw.
Quentin Stiévenart, Dave W. Binkley, Coen De Roover
2023 C conf
Change Pattern Detection for Optimising Incremental Static Analysis.
SCAM
Cindy Wauters, Jens Van der Plas, Quentin Stiévenart, Coen De Roover
2023 A conf
Dynamic Slicing of WebAssembly Binaries.
ICSME
Quentin Stiévenart, David W. Binkley, Coen De Roover
2023 B conf
Result Invalidation for Incremental Modular Analyses.
VMCAI
Jens Van der Plas, Quentin Stiévenart, Coen De Roover
2023 A conf
Wasmizer: Curating WebAssembly-driven Projects on GitHub.
MSR
Alexander Nicholson, Quentin Stiévenart, Arash Mazidi, Mohammad Ghafari
2023 J jnl
Wasmizer: Curating WebAssembly-driven Projects on GitHub.
CoRR
Alexander Nicholson, Quentin Stiévenart, Arash Mazidi, Mohammad Ghafari
2022 A conf
Developers Struggle with Authentication in Blazor WebAssembly.
ICSME
Pascal Marc André, Quentin Stiévenart, Mohammad Ghafari
2022 J jnl
Developers Struggle with Authentication in Blazor WebAssembly.
CoRR
Pascal Marc André, Quentin Stiévenart, Mohammad Ghafari
2022 — conf
RacketLogger: Logging and Visualising Changes in DrRacket.
ELS
Turgut Reis Kursun, Jens Van der Plas, Quentin Stiévenart, Coen De Roover
2022 Misc conf
Security risks of porting C programs to webassembly.
SAC
Quentin Stiévenart, Coen De Roover, Mohammad Ghafari
2022 A* conf
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries.
ICSE
Quentin Stiévenart, David W. Binkley, Coen De Roover
2022 C conf
Summary-Based Compositional Analysis for Soft Contract Verification.
SCAM
Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover
2021 J jnl
A parallel worklist algorithm and its exploration heuristics for static modular analyses.
J. Syst. Softw.
Quentin Stiévenart, Noah Van Es, Jens Van der Plas, Coen De Roover
2021 J jnl
Front Matter - ECOOP 2021 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser.
William G. J. Halfond, Quentin Stiévenart
2021 C conf
QSES: Quasi-Static Executable Slices.
SCAM
Quentin Stiévenart, David W. Binkley, Coen De Roover
2021 J jnl
Security Risks of Porting C Programs to WebAssembly.
CoRR
Quentin Stiévenart, Coen De Roover, Mohammad Ghafari
2021 C conf
The Security Risk of Lacking Compiler Protection in WebAssembly.
QRS
Quentin Stiévenart, Coen De Roover, Mohammad Ghafari
2021 J jnl
The Security Risk of Lacking Compiler Protection in WebAssembly.
CoRR
Quentin Stiévenart, Coen De Roover, Mohammad Ghafari
2020 C conf
A Parallel Worklist Algorithm for Modular Analyses.
SCAM
Noah Van Es, Quentin Stiévenart, Jens Van der Plas, Coen De Roover
2020 C conf
Compositional Information Flow Analysis for WebAssembly Programs.
SCAM
Quentin Stiévenart, Coen De Roover
2020 J jnl
Fuzzing channel-based concurrency runtimes using types and effects.
Proc. ACM Program. Lang.
Quentin Stiévenart, Magnus Madsen
2020 C conf
Incremental Flow Analysis through Computational Dependency Reification.
SCAM
Jens Van der Plas, Quentin Stiévenart, Noah Van Es, Coen De Roover
2020 C conf
MAF: A Framework for Modular Static Analysis of Higher-Order Languages.
SCAM
Noah Van Es, Jens Van der Plas, Quentin Stiévenart, Coen De Roover
2019 J jnl
A general method for rendering static analyses for diverse concurrency models modular.
J. Syst. Softw.
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
2019 B conf
Effect-Driven Flow Analysis.
VMCAI
Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
2019 J jnl
Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact).
Dagstuhl Artifacts Ser.
Noah Van Es, Quentin Stiévenart, Coen De Roover
2019 A conf
Garbage-Free Abstract Interpretation Through Abstract Reference Counting.
ECOOP
Noah Van Es, Quentin Stiévenart, Coen De Roover
2017 J jnl
Implementing a performant scheme interpreter for the web in asm.js.
Comput. Lang. Syst. Struct.
Noah Van Es, Quentin Stiévenart, Jens Nicolay, Theo D'Hondt, Coen De Roover
2017 J jnl
Mailbox Abstractions for Static Analysis of Actor Programs (Artifact).
Dagstuhl Artifacts Ser.
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
2017 A conf
Mailbox Abstractions for Static Analysis of Actor Programs.
ECOOP
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
2017 J jnl
Purity analysis for JavaScript through abstract interpretation.
J. Softw. Evol. Process.
Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
2017 — conf
Static Taint Analysis of Event-driven Scheme Programs.
ELS
Jonas De Bleser, Quentin Stiévenart, Jens Nicolay, Coen De Roover
2016 Misc conf
A performant scheme interpreter in asm.js.
SAC
Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D'Hondt, Coen De Roover
2016 — conf
Building a modular static analysis framework in Scala (tool paper).
SCALA@SPLASH
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
2016 C conf
Scala-AM: A Modular Static Analysis Framework.
SCAM
Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover
2015 C conf
Detecting concurrency bugs in higher-order programs through abstract interpretation.
PPDP
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
2015 — conf
Poster: Static Analysis of Concurrent Higher-Order Programs.
ICSE (2)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
2015 — conf
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation.
GTTSE
Maarten Vandercammen, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover