Volgen
Jens Van der Plas
Jens Van der Plas
Doctoral Researcher at Vrije Universiteit Brussel
Geverifieerd e-mailadres voor vub.be - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
162020
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
62020
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
52023
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
52020
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
32023
MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis.
J Van der Plas, J Nicolay, W De Meuter, C De Roover
ENASE, 420-427, 2023
22023
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
22021
RacketLogger: Logging and Visualising Changes in DrRacket.
TR Kursun, J Van der Plas, Q Stiévenart, C De Roover
ELS, 61-68, 2022
12022
Abstract Slicing for Static Program Analysis
S Verbelen, B Vandenbogaerde, J Van der Plas, N Van Es, C De Roover
3rd Summer School on Security Testing and Verification, 2024
2024
Incremental Static Program Analysis through Reified Computational Dependencies
J Van der Plas
Vrije Universiteit Brussel, 2024
2024
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, ...
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–12