Jens Van der Plas

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 8

Top Topics

Incremental Clustering

Information Flow

Symbolic Execution

Top Venues

J. Syst. Softw.

Publications

Jens Van der Plas, Quentin Stiévenart, Coen De Roover
Result Invalidation for Incremental Modular Analyses. VMCAI (2023)
Cindy Wauters, Jens Van der Plas, Quentin Stiévenart, Coen De Roover
Change Pattern Detection for Optimising Incremental Static Analysis. SCAM (2023)
Jens Van der Plas, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis. ENASE (2023)
Turgut Reis Kursun, Jens Van der Plas, Quentin Stiévenart, Coen De Roover
RacketLogger: Logging and Visualising Changes in DrRacket. ELS (2022)
Quentin Stiévenart, Noah Van Es, Jens Van der Plas, Coen De Roover
A parallel worklist algorithm and its exploration heuristics for static modular analyses. J. Syst. Softw. 181 (2021)
Noah Van Es, Quentin Stiévenart, Jens Van der Plas, Coen De Roover
A Parallel Worklist Algorithm for Modular Analyses. SCAM (2020)
Noah Van Es, Jens Van der Plas, Quentin Stiévenart, Coen De Roover
MAF: A Framework for Modular Static Analysis of Higher-Order Languages. SCAM (2020)
Jens Van der Plas, Quentin Stiévenart, Noah Van Es, Coen De Roover
Incremental Flow Analysis through Computational Dependency Reification. SCAM (2020)