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
-
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 -
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. ACMResearch output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile27 Downloads (Pure) -
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries
Stiévenart, Q., Binkley, D. & De Roover, C., 2022, The 44th International Conference on Software Engineering (ICSE 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
-
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
-
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 AccessFile3 Downloads (Pure)
Prizes
-
ICSE 2022 Best Artifact Award
Quentin Stiévenart (Recipient), Dave Binkley (Recipient) & Coen De Roover (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
-
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