Projects per year
Fingerprint
Dive into the research topics where Quentin Stiévenart is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
FWOTM1089: Modular static analysis for soft contract verification of distributed actor programs
Vandenbogaerde, B., De Roover, C. & Stiévenart, Q.
1/11/21 → 31/10/23
Project: Fundamental
-
OZR3300: Sound, Scalable and Precise Abstract Interpretation of Diverse Concurrency Models and of Combinations Thereof
Stiévenart, Q. & De Roover, C.
1/10/18 → 30/09/19
Project: Fundamental
Research output
-
A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses
Stiévenart, Q., Van Es, N., Van der Plas, J. & De Roover, C., 16 Jul 2021, In : Journal of Systems and Software. 181, 42 p., 111042.Research output: Contribution to journal › Article
Open Access -
QSES: Quasi-Static Executable Slicing
Stiévenart, Q., Binkley, D. & De Roover, C., 27 Sep 2021, 21st IEEE International Working Conference on Source Code Analysis and Manipulation (NIER Track). IEEE, p. 209-213 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access -
Wassail: a WebAssembly Static Analysis Library
Stiévenart, Q. & De Roover, C., 22 Mar 2021.Research output: Unpublished contribution to conference › Unpublished abstract
Open Access -
A Parallel Worklist Algorithm for Modular Analyses
Van Es, N., Stiévenart, Q., Van der Plas, J. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 1-12 12 p. 9252039. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access2 Citations (Scopus) -
Compositional Information Flow Analysis for WebAssembly Programs
Stiévenart, Q. & De Roover, C., 27 Sep 2020, 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, September 27-28, 2020. IEEE, p. 13-24 12 p. 9252076. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile
-
ICSE 2015
Quentin Stiévenart (Participant)2015Activity: Participating in or organising an event › Participation in conference
-
PPDP'15
Quentin Stiévenart (Participant)2015Activity: Participating in or organising an event › Participation in conference
-
BENEVOL 2014
Quentin Stiévenart (Speaker)28 Nov 2014Activity: Talk or presentation › Talk or presentation at a workshop/seminar
File
Thesis
-
Incremental Thread-Modular Static Analysis for Concurrent Programs with Futures and Atoms
Author: Van Der Plas, J., 2019Supervisor: De Roover, C. (Promotor) & Stiévenart, Q. (Advisor)
Student thesis: Master's Thesis
-
Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading
Author: Stiévenart, Q., 25 May 2018Supervisor: De Roover, C. (Promotor) & De Meuter, W. (Promotor)
Student thesis: Doctoral Thesis
File