This page lists an overview of my theses and publications. When available, links to the presentations have been added.

Theses

Van der Plas, J., (2019). Incremental Static Program Analysis through Reified Computational Dependencies. (Doctoral dissertation, Vrije Universiteit Brussel). ISBN: 978-94-6494-861-5.

Van der Plas, J., (2019). Incremental Thread-Modular Static Analysis for Concurrent Programs with Futures and Atoms. (Master’s thesis, Vrije Universiteit Brussel).

Van der Plas, J., (2017). Ondersteuning voor R5RS-Scheme in het Scala-AM Framework (Bachelor’s thesis, Vrije Universiteit Brussel).

Publications

Wauters, C., Van der Plas, J., Stiévenart, Q., & De Roover, C. (2023). Change Pattern Detection for Optimising Incremental Static Analysis. In SCAM 23rd IEEE International Working Conference on Source Code Analysis and Manipulation (pp. 49-60). IEEE. https://doi.org/10.1109/SCAM59687.2023.00016

Van der Plas, J., Nicolay, J., De Meuter, W., & De Roover, C. (2023). ModInF: Exploiting Reified Computational Dependencies for Information Flow Analysis. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023). SCITEPRESS.

Van der Plas, J., Stiévenart, Q., De Roover, C. (2023). Result Invalidation for Incremental Modular Analyses. In: Dragoi, C., Emmi, M., Wang, J. (eds) Verification, Model Checking, and Abstract Interpretation. VMCAI 2023. Lecture Notes in Computer Science, vol 13881. Springer, Cham. https://doi.org/10.1007/978-3-031-24950-1_14

Kursun, T. R., Van der Plas, J., Stiévenart, Q., & De Roover, C. (2022). RacketLogger: Logging and Visualising Changes in DrRacket. In Proceedings of the 15th European Lisp Symposium ELSAA. https://doi.org/10.5281/zenodo.6326894

Stiévenart, Q., Van Es, N., Van der Plas, J., & De Roover, C. (2021). A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses. Journal of Systems and Software, 181. https://doi.org/10.1016/j.jss.2021.111042

Van Es, N., Stiévenart, Q., Van der Plas, J., & De Roover, C. (2020). A Parallel Worklist Algorithm for Modular Analyses. In Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020) (pp. 1-12). IEEE. https://doi.org/10.1109/SCAM51674.2020.00006

Van der Plas, J., Stiévenart, Q., Van Es, N., & De Roover, C. (2020). Incremental Flow Analysis through Computational Dependency Reification. In Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020) (pp. 25-36). IEEE. https://doi.org/10.1109/SCAM51674.2020.00008

Van Es, N., Van der Plas, J., Stiévenart, Q., & De Roover, C. (2020). MAF: A Framework for Modular Static Analysis of Higher-Order Languages. In Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020) (pp. 37-42). IEEE. https://doi.org/10.1109/SCAM51674.2020.00009