Projects per year
Fingerprint
Dive into the research topics where Jens Van der Plas is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Finished
-
FWOTM979: Incremental Static Program Analysis through Modularity
De Roover, C. & Van der Plas, J.
1/11/19 → 31/10/23
Project: Fundamental
-
Change Pattern Detection for Optimising Incremental Static Analysis
Wauters, C., Van der Plas, J., Stiévenart, Q. & De Roover, C., Oct 2023, SCAM 23rd IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE, p. 49-60 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access -
MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis
Van der Plas, J., Nicolay, J., De Meuter, W. & De Roover, C., Apr 2023, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023). Scitepress, Vol. 1. p. 420-427 8 p. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings; vol. 2023-April).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile7 Downloads (Pure) -
Result Invalidation for Incremental Modular Analyses
Van der Plas, J., Stiévenart, Q. & De Roover, C., 17 Jan 2023, Proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, Boston, MA, USA, January 16-17, 2023. Dragoi, C., Emmi, M. & Wang, J. (eds.). Cham: Springer, Vol. 13881. p. 296-319 24 p. (Lecture Notes in Computer Science; vol. 13881).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access1 Citation (Scopus) -
RacketLogger: Logging and Visualising Changes in DrRacket
Kursun, T. R., Van der Plas, J., Stiévenart, Q. & De Roover, C., 21 Mar 2022, Proceedings of the 15th European Lisp Symposium. ELSAA, 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access -
Result Invalidation for Incremental Modular Analyses
Van der Plas, J., Stiévenart, Q. & De Roover, C., 2022, (Unpublished).Research output: Unpublished contribution to conference › Poster
File2 Downloads (Pure)
Prizes
-
Brussels Engineering Alumni (BrEA) Prize for Computer Science 2019
Van der Plas, Jens (Recipient), 13 Dec 2019
Prize: Prize (including medals and awards)
-
FWO PhD Fellowship fundamental research
Van der Plas, Jens (Recipient), 1 Nov 2019
Prize: Fellowship awarded competitively
Activities
-
2nd Summer School on Security Testing and Verification
Jens Van der Plas (Visitor)
11 Sep 2023 → 13 Sep 2023Activity: Participating in or organising an event › Participation in workshop, seminar
-
Result Invalidation for Incremental Modular Analyses
Jens Van der Plas (Speaker)
16 Jan 2023Activity: Talk or presentation › Talk or presentation at a conference
-
MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis
Jens Van der Plas (Speaker)
24 Apr 2023Activity: Talk or presentation › Talk or presentation at a conference
File -
18th International Conference on Evaluation of Novel Approaches to Software Engineering
Jens Van der Plas (Participant)
25 Apr 2023Activity: Participating in or organising an event › Participation in conference
-
ECOOP 2022
Jens Van der Plas (Visitor)
6 Jun 2022 → 10 Jun 2022Activity: Participating in or organising an event › Participation in conference
Press/Media
Thesis
-
Incremental Thread-Modular Static Analysis for Concurrent Programs with Futures and Atoms
Author: Van der Plas, J., 2019Supervisor: De Roover, C. (Promotor) & Stiévenart, Q. (Advisor)
Student thesis: Master's Thesis