Projects per year
Fingerprint
- 1 Similar Profiles
Network
-
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
-
An empirical evaluation of quasi-static executable slices
Stiévenart, Q., Binkley, D. & De Roover, C., Jun 2023, In: Journal of Systems and Software. 200, 13 p., 111666.Research output: Contribution to journal › Article › peer-review
-
Result Invalidation for Incremental Modular Analyses
Van der Plas, J., Stiévenart, Q. & De Roover, C., 17 Jan 2023, Proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, Boston, MA, USA, January 16-17, 2023. Dragoi, C., Emmi, M. & Wang, J. (eds.). Cham: Springer, Vol. 13881. p. 296-319 24 p. (Lecture Notes in Computer Science; vol. 13881).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access -
Developers Struggle with Authentication in Blazor WebAssembly
André, P. M., Stiévenart, Q. & Ghafari, M., 2 Oct 2022, Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022. IEEE, p. 389-393 5 p. (Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access -
RacketLogger: Logging and Visualising Changes in DrRacket
Kursun, T. R., Van der Plas, J., Stiévenart, Q. & De Roover, C., 21 Mar 2022, Proceedings of the 15th European Lisp Symposium. ELSAA, 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access -
Result Invalidation for Incremental Modular Analyses.
Van der Plas, J., Stiévenart, Q. & De Roover, C., 2022, (Unpublished).Research output: Unpublished contribution to conference › Poster
Datasets
-
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries
Stiévenart, Q. (Creator), Binkley, D. (Creator) & De Roover, C. (Creator), Zenodo, 5 Jan 2022
Dataset
Prizes
-
Best Artifact Award at SCAM 2022
Vandenbogaerde, Bram (Recipient), De Roover, Coen (Recipient) & Stiévenart, Quentin (Recipient), 12 Oct 2022
Prize: Prize (including medals and awards)
-
ICSE 2022 Best Artifact Award
Stiévenart, Quentin (Recipient), Binkley, D. (Recipient) & De Roover, Coen (Recipient), 2022
Prize: Prize (including medals and awards)
-
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
Press/Media
-
FYI: Code compiled to WebAssembly may lack standard security defenses
Quentin Stiévenart, Coen De Roover & Mohammad Ghafari
4/11/21
1 item of Media coverage
Press/Media: Research
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