Projecten per jaar
Vingerafdruk
- 1 Soortgelijke profielen
Netwerk
-
FWOTM1089: Modulaire statische analyse voor de zachte verificatie van contracten in gedistribueerde actor programma's
Vandenbogaerde, B., De Roover, C. & Stiévenart, Q.
1/11/21 → 31/10/23
Project: Fundamenteel
-
OZR3300: Solide, Schaalbare, en Precieze Abstracte Interpretatie van Diverse Concurrentiemodellen en Modelcombinaties
Stiévenart, Q. & De Roover, C.
1/10/18 → 30/09/19
Project: Fundamenteel
Onderzoeksoutput
-
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. Cham: Springer, blz. 296-319 24 blz. (Lecture Notes in Computer Science; vol. 13881).Onderzoeksoutput: Conference paper
Open Access -
Developers Struggle with Authentication in Blazor WebAssembly389
André, P. M., Stiévenart, Q. & Ghafari, M., 2 okt 2022, 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, blz. 389-393Onderzoeksoutput: 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 mrt 2022, Proceedings of the 15th European Lisp Symposium. ELSAA, 8 blz.Onderzoeksoutput: Conference paper
Open Access -
Result Invalidation for Incremental Modular Analyses
Van der Plas, J., Stiévenart, Q. & De Roover, C., 2022, (Unpublished).Onderzoeksoutput: Poster
-
Security Risks of Porting C Programs to WebAssembly
Stiévenart, Q., De Roover, C. & Ghafari, M., 2022, The 37th ACM/SIGAPP Symposium On Applied Computing. ACM, blz. 1713-1722 10 blz. (Proceedings of the ACM Symposium on Applied Computing).Onderzoeksoutput: Conference paper
Open AccessBestand2 Citaten (Scopus)46 Downloads (Pure)
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
Prijzen
-
ICSE 2022 Best Artifact Award
Stiévenart, Quentin (Recipient), Binkley, D. (Recipient) & De Roover, Coen (Recipient), 2022
Prijs: Prize (including medals and awards)
-
-
-
BENEVOL 2014
Quentin Stiévenart (Speaker)
28 nov 2014Activiteit: Talk or presentation at a workshop/seminar
Bestand
Knipsels
-
FYI: Code compiled to WebAssembly may lack standard security defenses
Quentin Stiévenart, Coen De Roover & Mohammad Ghafari
4/11/21
1 item van Media-aandacht
Pers / media: !!Research
Scriptie
-
Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading
Auteur: Stiévenart, Q., 25 mei 2018Begeleider: De Roover, C. (Promotor) & De Meuter, W. (Promotor)
Scriptie/Masterproef: Doctoral Thesis
Bestand