< Back to previous page
Researcher
Quentin Stiévenart
- Keywords:Computer science (incl. applied informatics)
- Disciplines:Programming languages and technologies, Theoretical computer science not elsewhere classified, Parallel programming, Language design, constructs and features, Coding tools and techniques, testing and debugging, Software engineering
Affiliations
- Software Languages Lab (Research group)
Member
From8 Dec 2015 → Today - Informatics and Applied Informatics (Department)
Member
From1 Oct 2021 → 30 Sep 2022 - Informatics and Applied Informatics (Department)
Member
From8 Apr 2019 → 14 Dec 2022 - Faculty of Sciences and Bioengineering Sciences (Faculty)
Member
From7 Aug 2015 → 25 May 2018 - Informatics and Applied Informatics (Department)
Member
From1 Aug 2014 → 20 Oct 2022
Projects
1 - 1 of 1
- Modular static analysis for soft contract verification of distributed actor programsFrom1 Nov 2021 → TodayFunding: FWO fellowships
Publications
1 - 10 of 23
- Change Pattern Detection for Optimising Incremental Static Analysis(2023)Series: Proceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023
Authors: Cindy Wauters, Jens Van der Plas, Quentin Pierre Stiévenart, Coen De Roover
Pages: 49-60Number of pages: 12 - An empirical evaluation of quasi-static executable slices(2023)
Authors: Quentin Pierre Stiévenart, Dave Binkley, Coen De Roover
- Result Invalidation for Incremental Modular Analyses(2023)Series: Lecture Notes in Computer ScienceVolume: 13881
Authors: Jens Van der Plas, Quentin Stiévenart, Coen De Roover
Pages: 296-319Number of pages: 24 - Security Risks of Porting C Programs to WebAssembly(2022)Series: Proceedings of the ACM Symposium on Applied Computing
Authors: Quentin Stiévenart, Coen De Roover, Mohammad Ghafari
Pages: 1713-1722Number of pages: 10 - Summary-Based Compositional Analysis for Soft Contract Verification(2022)Edition: 22Series: Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022
Authors: Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover
Pages: 186-196Number of pages: 11 - QSES: Quasi-Static Executable Slicing(2021)
Authors: Quentin Stiévenart, David Binkley, Coen De Roover
Pages: 209-213Number of pages: 4 - A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses(2021)
Authors: Quentin Stiévenart, Noah Van Es, Jens Van der Plas, Coen De Roover
- The Security Risk of Lacking Compiler Protection in WebAssembly(2021)Series: IEEE International Conference on Software Quality, Reliability and Security, QRS
Authors: Quentin Stiévenart, Coen De Roover, Mohammad Ghafari
Pages: 132-139Number of pages: 8 - Fuzzing channel-based concurrency runtimes using types and effects(2020)
Authors: Quentin Stiévenart, Magnus Madsen
Pages: 1-27 - Compositional Information Flow Analysis for WebAssembly Programs(2020)Series: Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020
Authors: Quentin Stiévenart, Coen De Roover
Pages: 13-24Number of pages: 12
Linked dataset
1 - 1 of 1