Deze pagina geeft een overzicht van mijn thesissen en publicaties. Links naar presentaties zijn toegevoegd indien beschikbaar.
Thesissen
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).
Publicaties
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