| 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 | 6 | 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 |
| 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 | 3 | 2020 |
| Result Invalidation for Incremental Modular Analyses J Van der Plas, Q Stiévenart, C De Roover Verification, Model Checking, and Abstract Interpretation: 24th …, 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 |
| 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 | | 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 |
Coen De RooverSoftware Languages Lab, Vrije Universiteit BrusselVerified email at vub.be
