Projects per year
Fingerprint
- 18 Similar Profiles
Projects
- 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
Research output
-
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 AccessFile2 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-42Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Activities
-
PPDP'15
Quentin Stiévenart (Participant)2015Activity: Participating in or organising an event › Participation in conference
-
ICSE 2015
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