Jens Van der Plas

According to our database, Jens Van der Plas authored at least 8 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Result Invalidation for Incremental Modular Analyses.

Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Change Pattern Detection for Optimising Incremental Static Analysis.

Cindy Wauters, Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023

MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis.

Jens Van der Plas, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

RacketLogger: Logging and Visualising Changes in DrRacket.

Turgut Reis Kursun, Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Proceedings of the 15th European Lisp Symposium, 2022

2021

A parallel worklist algorithm and its exploration heuristics for static modular analyses.

Quentin Stiévenart, Noah Van Es, Jens Van der Plas, Coen De Roover

J. Syst. Softw., 2021

2020

Incremental Flow Analysis through Computational Dependency Reification.

Jens Van der Plas, Quentin Stiévenart, Noah Van Es, Coen De Roover

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

A Parallel Worklist Algorithm for Modular Analyses.

Noah Van Es, Quentin Stiévenart, Jens Van der Plas, Coen De Roover

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

MAF: A Framework for Modular Static Analysis of Higher-Order Languages.

Noah Van Es, Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020