Quentin Stiévenart

Software Languages Lab
Academic, Informatics and Applied Informatics

1050
Belgium
Pleinlaan 2
1050 Brussels
Belgium

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity per year

If you made any changes in Pure these will be visible here soon.

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.

18 Similar Profiles

1 Finished

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

33 Citations
3 h-Index
12 Conference paper
4 Poster
4 Article
2 Artefact
More

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
1 Citation (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.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Fuzzing channel-based concurrency runtimes using types and effects
Stiévenart, Q. & Madsen, M., 13 Nov 2020, In : Proceedings of the ACM on Programming Languages. 4, OOPSLA, p. 1-27 27 p., 186.
Research output: Contribution to journal › Article

Open Access
File
2 Downloads (Pure)
Incremental Flow Analysis through Computational Dependency Reification
Van der Plas, J., Stiévenart, Q., Van Es, N. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 25-36 12 p. 9252058. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
MAF: A Framework for Modular Static Analysis of Higher-Order Languages
Van Es, N., Van der Plas, J., Stiévenart, Q. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 37-42
Research output: Chapter in Book/Report/Conference proceeding › Conference paper

2 Participation in conference
1 Talk or presentation at a workshop/seminar

PPDP'15
Quentin Stiévenart (Participant)
2015
Activity: Participating in or organising an event › Participation in conference
ICSE 2015
Quentin Stiévenart (Participant)
2015
Activity: Participating in or organising an event › Participation in conference
BENEVOL 2014
Quentin Stiévenart (Speaker)
28 Nov 2014
Activity: Talk or presentation › Talk or presentation at a workshop/seminar

File

Incremental Thread-Modular Static Analysis for Concurrent Programs with Futures and Atoms
Author: Van Der Plas, J., 2019
Supervisor: 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 2018
Supervisor: De Roover, C. (Promotor) & De Meuter, W. (Promotor)
Student thesis: Doctoral Thesis

File