Quentin Stiévenart

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 38

Top Topics

Static Analysis

Semi Fragile Watermarking

Symbolic Execution

Top Venues

Dagstuhl Artifacts Ser.

J. Syst. Softw.

Publications

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