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 | 16 | 2020 |
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 | 6 | 2020 |
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 | 5 | 2023 |
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 | 5 | 2020 |
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 | 3 | 2023 |
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 | 2 | 2023 |
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 | 2 | 2021 |
RacketLogger: Logging and Visualising Changes in DrRacket. TR Kursun, J Van der Plas, Q Stiévenart, C De Roover ELS, 61-68, 2022 | 1 | 2022 |
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, ... | | |