default search action
Quentin Stiévenart
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover:
Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts. Proc. ACM Program. Lang. 8(ICFP): 515-543 (2024) - 2023
- [j9]Quentin Stiévenart
, Dave W. Binkley, Coen De Roover
An empirical evaluation of quasi-static executable slices. J. Syst. Softw. 200: 111666 (2023) - [c25]Quentin Stiévenart, David W. Binkley, Coen De Roover
Dynamic Slicing of WebAssembly Binaries. ICSME 2023: 84-96 - [c24]Alexander Nicholson, Quentin Stiévenart, Arash Mazidi, Mohammad Ghafari:
Wasmizer: Curating WebAssembly-driven Projects on GitHub. MSR 2023: 130-141 - [c23]Cindy Wauters, Jens Van der Plas
Change Pattern Detection for Optimising Incremental Static Analysis. SCAM 2023: 49-60 - [c22]Jens Van der Plas
Result Invalidation for Incremental Modular Analyses. VMCAI 2023: 296-319 - [i4]Alexander Nicholson, Quentin Stiévenart, Arash Mazidi, Mohammad Ghafari:
Wasmizer: Curating WebAssembly-driven Projects on GitHub. CoRR abs/2303.09623 (2023) - 2022
- [c21]Turgut Reis Kursun, Jens Van der Plas
RacketLogger: Logging and Visualising Changes in DrRacket. ELS 2022: 61-68 - [c20]Quentin Stiévenart
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. ICSE 2022: 2031-2042 - [c19]Pascal Marc André, Quentin Stiévenart
Developers Struggle with Authentication in Blazor WebAssembly. ICSME 2022: 389-393 - [c18]Quentin Stiévenart
Security risks of porting C programs to webassembly. SAC 2022: 1713-1722 - [c17]Bram Vandenbogaerde
Summary-Based Compositional Analysis for Soft Contract Verification. SCAM 2022: 186-196 - [i3]Pascal Marc André, Quentin Stiévenart, Mohammad Ghafari:
Developers Struggle with Authentication in Blazor WebAssembly. CoRR abs/2208.00258 (2022) - 2021
- [j8]William G. J. Halfond, Quentin Stiévenart:
Front Matter - ECOOP 2021 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 7(2): 00:i-00:xi (2021) - [j7]Quentin Stiévenart
A parallel worklist algorithm and its exploration heuristics for static modular analyses. J. Syst. Softw. 181: 111042 (2021) - [c16]Quentin Stiévenart
The Security Risk of Lacking Compiler Protection in WebAssembly. QRS 2021: 132-139 - [c15]Quentin Stiévenart, David W. Binkley, Coen De Roover
QSES: Quasi-Static Executable Slices. SCAM 2021: 209-213 - [i2]Quentin Stiévenart, Coen De Roover, Mohammad Ghafari:
The Security Risk of Lacking Compiler Protection in WebAssembly. CoRR abs/2111.01421 (2021) - [i1]Quentin Stiévenart, Coen De Roover, Mohammad Ghafari:
Security Risks of Porting C Programs to WebAssembly. CoRR abs/2112.11745 (2021) - 2020
- [j6]Quentin Stiévenart
Fuzzing channel-based concurrency runtimes using types and effects. Proc. ACM Program. Lang. 4(OOPSLA): 186:1-186:27 (2020) - [c14]Noah Van Es
A Parallel Worklist Algorithm for Modular Analyses. SCAM 2020: 1-12 - [c13]Quentin Stiévenart
Compositional Information Flow Analysis for WebAssembly Programs. SCAM 2020: 13-24 - [c12]Jens Van der Plas
Incremental Flow Analysis through Computational Dependency Reification. SCAM 2020: 25-36 - [c11]Noah Van Es
MAF: A Framework for Modular Static Analysis of Higher-Order Languages. SCAM 2020: 37-42
2010 – 2019
- 2019
- [j5]Noah Van Es
Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact). Dagstuhl Artifacts Ser. 5(2): 07:1-07:2 (2019) - [j4]Quentin Stiévenart
A general method for rendering static analyses for diverse concurrency models modular. J. Syst. Softw. 147: 17-45 (2019) - [c10]Noah Van Es
Garbage-Free Abstract Interpretation Through Abstract Reference Counting. ECOOP 2019: 10:1-10:33 - [c9]Jens Nicolay
Effect-Driven Flow Analysis. VMCAI 2019: 247-274 - 2017
- [j3]Noah Van Es
Implementing a performant scheme interpreter for the web in asm.js. Comput. Lang. Syst. Struct. 49: 62-81 (2017) - [j2]Quentin Stiévenart
Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). Dagstuhl Artifacts Ser. 3(2): 11:1-11:2 (2017) - [j1]Jens Nicolay
Purity analysis for JavaScript through abstract interpretation. J. Softw. Evol. Process. 29(12) (2017) - [c8]Quentin Stiévenart
Mailbox Abstractions for Static Analysis of Actor Programs. ECOOP 2017: 25:1-25:30 - [c7]Jonas De Bleser, Quentin Stiévenart, Jens Nicolay, Coen De Roover:
Static Taint Analysis of Event-driven Scheme Programs. ELS 2017: 80-87 - 2016
- [c6]Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D'Hondt, Coen De Roover
A performant scheme interpreter in asm.js. SAC 2016: 1944-1951 - [c5]Quentin Stiévenart
Building a modular static analysis framework in Scala (tool paper). SCALA@SPLASH 2016: 105-109 - [c4]Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover
Scala-AM: A Modular Static Analysis Framework. SCAM 2016: 85-90 - 2015
- [c3]Maarten Vandercammen, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation. GTTSE 2015: 223-234 - [c2]Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Poster: Static Analysis of Concurrent Higher-Order Programs. ICSE (2) 2015: 821-822 - [c1]Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Detecting concurrency bugs in higher-order programs through abstract interpretation. PPDP 2015: 232-243
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 19:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: