Jens Van der Plas

Orcid: 0000-0002-7475-576X

According to our database1, Jens Van der Plas authored at least 10 papers between 2020 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis.
Proceedings of the 2025 IEEE International Conference on Source Code Analysis & Manipulation, 2025

2024
Abstract Slicing To Improve The Speed Of Static Program Analysis.
Proceedings of the 23nd Belgium-Netherlands Software Evolution Workshop, 2024

2023
Result Invalidation for Incremental Modular Analyses.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Change Pattern Detection for Optimising Incremental Static Analysis.
Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023

MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis.
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022
RacketLogger: Logging and Visualising Changes in DrRacket.
Proceedings of the 15th European Lisp Symposium, 2022

2021
A parallel worklist algorithm and its exploration heuristics for static modular analyses.
J. Syst. Softw., 2021

2020
Incremental Flow Analysis through Computational Dependency Reification.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

A Parallel Worklist Algorithm for Modular Analyses.
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.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020


  Loading...