| 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 | 14 | 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 | 5 | 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 | 4 | 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 | 4 | 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 | 1 | 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 | 1 | 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 | 1 | 2021 |
| RacketLogger: Logging and Visualising Changes in DrRacket. TR Kursun, J Van der Plas, Q Stiévenart, C De Roover ELS, 61-68, 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, ... | | |
Coen De RooverSoftware Languages Lab, Vrije Universiteit BrusselGeverifieerd e-mailadres voor vub.be
