Follow
Jens Van der Plas
Jens Van der Plas
Doctoral Researcher at Vrije Universiteit Brussel
Verified email at vub.be - Homepage
Title
Cited by
Cited by
Year
Incremental flow analysis through computational dependency reification
J Van der Plas, Q Stiévenart, N Van Es, C De Roover
2020 IEEE 20th International Working Conference on Source Code Analysis and…, 2020
132020
MAF: a framework for modular static analysis of higher-order languages
N Van Es, J Van der Plas, Q Stiévenart, C De Roover
2020 IEEE 20th International Working Conference on Source Code Analysis and…, 2020
52020
A parallel worklist algorithm for modular analyses
N Van Es, Q Stiévenart, J Van der Plas, C De Roover
2020 IEEE 20th International Working Conference on Source Code Analysis and…, 2020
42020
Result Invalidation for Incremental Modular Analyses
J Van der Plas, Q Stiévenart, C De Roover
International Conference on Verification, Model Checking, and Abstract…, 2023
32023
MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis
J Van der Plas, J Nicolay, W De Meuter, C De Roover
Proceedings of the 18th International Conference on Evaluation of Novel…, 2023
12023
A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses
Q Stiévenart, N Van Es, J Van der Plas, C De Roover
Journal of Systems and Software, 2021
12021
Change Pattern Detection for Optimising Incremental Static Analysis
C Wauters, J Van der Plas, Q Stiévenart, C De Roover
2023 IEEE 23rd International Working Conference on Source Code Analysis and…, 2023
2023
RacketLogger: Logging and Visualising Changes in DrRacket
TR Kursun, J Van der Plas, Q Stiévenart, C De Roover
15th European Lisp Symposium, 2022
2022
2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM)| 979-8-3503-0506-7/23/$31.00 2023 IEEE| DOI: 10.1109/SCAM59687. 2023.00040
A Abbad-Andaloussi, F Aguilar, S Apel, CP Bezemer, C Brandt, ...
SCAM 2023
D Reid, A Mockus, L Martins, H Costa, G Vale, E Fernandes, C Wauters, ...
The system can't perform the operation now. Try again later.
Articles 1–10