I agree that this site is using cookies. You can find further informations here.
X
Stievenart, Quentin
42  results:
Search for persons X
?
1

Change Pattern Detection for Optimising Incremental Static ..:

, In: 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM),
Wauters, Cindy ; Plas, Jens Van der ; Stievenart, Quentin. - p. 49-60 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Dynamic Slicing of WebAssembly Binaries:

, In: 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME),
Stievenart, Quentin ; Binkley, David ; De Roover, Coen - p. 84-96 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Wasmizer: Curating WebAssembly-driven Projects on GitHub:

, In: 2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR),
Nicholson, Alexander ; Stievenart, Quentin ; Mazidi, Arash. - p. 130-141 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Result Invalidation for Incremental Modular Analyses:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Van der Plas, Jens ; Stiévenart, Quentin ; De Roover, Coen - p. 296-319 , 2023
Link: https://doi.org/10.1007/..
 
?
5

An empirical evaluation of quasi-static executable slices:

Stiévenart, Quentin ; Binkley, David ; De Roover, Coen
Journal of Systems and Software.  200 (2023)  - p. 111666 , 2023
Link: https://doi.org/10.1016/..
 
?
6

Developers Struggle with Authentication in Blazor WebAssemb..:

, In: 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME),
Andre, Pascal Marc ; Stievenart, Quentin ; Ghafari, Mohammad - p. 389-393 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Static Stack-Preserving Intra-Procedural Slicing of WebAsse..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),
Stievenart, Quentin ; Binkley, David W. ; De Roover, Coen - p. 2031-2042 , 2022
Link: https://doi.org/10.1145/..
 
?
8

Static stack-preserving intra-procedural slicing of webasse..:

, In: Proceedings of the 44th International Conference on Software Engineering,
Stiévenart, Quentin ; Binkley, David W. ; De Roover, Coen - p. 2031-2042 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

Security risks of porting C programs to webassembly:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,
Stiévenart, Quentin ; De Roover, Coen ; Ghafari, Mohammad - p. 1713-1722 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Summary-Based Compositional Analysis for Soft Contract Veri..:

, In: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM),
Vandenbogaerde, Bram ; Stievenart, Quentin ; De Roover, Coen - p. 186-196 , 2022
Link: https://doi.org/10.1109/..
 
?
11

The Security Risk of Lacking Compiler Protection in WebAsse..:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS),
Stievenart, Quentin ; De Roover, Coen ; Ghafari, Mohammad - p. 132-139 , 2021
Link: https://doi.org/10.1109/..
 
?
12

A parallel worklist algorithm and its exploration heuristic..:

Stiévenart, Quentin ; Van Es, Noah ; Van der Plas, Jens.
Journal of Systems and Software.  181 (2021)  - p. 111042 , 2021
Link: https://doi.org/10.1016/..
 
?
13

Fuzzing channel-based concurrency runtimes using types and ..:

Stiévenart, Quentin ; Madsen, Magnus
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-27 , 2020
Link: https://dl.acm.org/doi/1..
 
?
14

Fuzzing channel-based concurrency runtimes using types and ..:

Stiévenart, Quentin ; Madsen, Magnus
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-27 , 2020
Link: https://doi.org/10.1145/..
 
?
15

MAF: A Framework for Modular Static Analysis of Higher-Orde..:

, In: 2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM),
Van Es, Noah ; Van der Plas, Jens ; Stievenart, Quentin. - p. 37-42 , 2020
Link: https://doi.org/10.1109/..
 
1-15