Quentin Stiévenart

According to our database, Quentin Stiévenart authored at least 35 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts.

Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover

Proc. ACM Program. Lang., 2024

2023

An empirical evaluation of quasi-static executable slices.

Quentin Stiévenart, Dave W. Binkley, Coen De Roover

J. Syst. Softw., June, 2023

Result Invalidation for Incremental Modular Analyses.

Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Change Pattern Detection for Optimising Incremental Static Analysis.

Cindy Wauters, Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023

Wasmizer: Curating WebAssembly-driven Projects on GitHub.

Alexander Nicholson, Quentin Stiévenart, Arash Mazidi, Mohammad Ghafari

Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

Dynamic Slicing of WebAssembly Binaries.

Quentin Stiévenart, David W. Binkley, Coen De Roover

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

2022

Summary-Based Compositional Analysis for Soft Contract Verification.

Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover

Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

Security risks of porting C programs to webassembly.

Quentin Stiévenart, Coen De Roover, Mohammad Ghafari

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Developers Struggle with Authentication in Blazor WebAssembly.

Pascal Marc André, Quentin Stiévenart, Mohammad Ghafari

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries.

Quentin Stiévenart, David W. Binkley, Coen De Roover

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

RacketLogger: Logging and Visualising Changes in DrRacket.

Turgut Reis Kursun, Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Proceedings of the 15th European Lisp Symposium, 2022

2021

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

J. Syst. Softw., 2021

Front Matter - ECOOP 2021 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.

William G. J. Halfond, Quentin Stiévenart

Dagstuhl Artifacts Ser., 2021

QSES: Quasi-Static Executable Slices.

Quentin Stiévenart, David W. Binkley, Coen De Roover

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

The Security Risk of Lacking Compiler Protection in WebAssembly.

Quentin Stiévenart, Coen De Roover, Mohammad Ghafari

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

Fuzzing channel-based concurrency runtimes using types and effects.

Quentin Stiévenart, Magnus Madsen

Proc. ACM Program. Lang., 2020

Compositional Information Flow Analysis for WebAssembly Programs.

Quentin Stiévenart, Coen De Roover

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

Incremental Flow Analysis through Computational Dependency Reification.

Jens Van der Plas, Quentin Stiévenart, Noah Van Es, Coen De Roover

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

A Parallel Worklist Algorithm for Modular Analyses.

Noah Van Es, Quentin Stiévenart, Jens Van der Plas, Coen De Roover

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 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

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

2019

A general method for rendering static analyses for diverse concurrency models modular.

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

J. Syst. Softw., 2019

Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact).

Noah Van Es, Quentin Stiévenart, Coen De Roover

Dagstuhl Artifacts Ser., 2019

Effect-Driven Flow Analysis.

Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Garbage-Free Abstract Interpretation Through Abstract Reference Counting.

Noah Van Es, Quentin Stiévenart, Coen De Roover

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2017

Purity analysis for JavaScript through abstract interpretation.

Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover

J. Softw. Evol. Process., 2017

Mailbox Abstractions for Static Analysis of Actor Programs (Artifact).

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Dagstuhl Artifacts Ser., 2017

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

Comput. Lang. Syst. Struct., 2017

Static Taint Analysis of Event-driven Scheme Programs.

Jonas De Bleser, Quentin Stiévenart, Jens Nicolay, Coen De Roover

Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017

Mailbox Abstractions for Static Analysis of Actor Programs.

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Scala-AM: A Modular Static Analysis Framework.

Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Building a modular static analysis framework in Scala (tool paper).

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

A performant scheme interpreter in asm.js.

Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D'Hondt, Coen De Roover

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Detecting concurrency bugs in higher-order programs through abstract interpretation.

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Poster: Static Analysis of Concurrent Higher-Order Programs.

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation.

Maarten Vandercammen, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover

Proceedings of the Grand Timely Topics in Software Engineering, 2015