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
Projects
- 1 Active
-
FWOTM979: Incremental Static Program Analysis through Modularity
De Roover, C. & Van der Plas, J.
1/11/19 → 31/10/23
Project: Fundamental
-
Result Invalidation for Incremental Modular Analyses
Van der Plas, J., Stiévenart, Q. & De Roover, C., 2023, Proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, Boston, MA, USA, January 15-17, 2023.Research output: Chapter in Book/Report/Conference proceeding › Conference paper
-
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
-
A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses
Stiévenart, Q., Van Es, N., Van der Plas, J. & De Roover, C., 16 Jul 2021, In: Journal of Systems and Software. 181, 42 p., 111042.Research output: Contribution to journal › Article › peer-review
Open Access -
A Parallel Worklist Algorithm for Modular Analyses
Van Es, N., Stiévenart, Q., Van der Plas, J. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 1-12 12 p. 9252039. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile2 Citations (Scopus)31 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
-
Summer School on Security Testing and Verification
Jens Van der Plas (Visitor)
20 Sep 2022 → 22 Sep 2022Activity: Participating in or organising an event › Participation in workshop, seminar
-
The 44th International Conference on Software Engineering
Jens Van der Plas (Visitor)
22 May 2022 → 27 May 2022Activity: Participating in or organising an event › Participation in conference
-
Incremental Static Program Analysis through Computational Dependency Reification
Jens Van der Plas (Speaker)
7 Jun 2022Activity: Talk or presentation › Talk or presentation at a workshop/seminar
-
ECOOP 2022
Jens Van der Plas (Visitor)
6 Jun 2022 → 10 Jun 2022Activity: Participating in or organising an event › Participation in conference
-
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021)
Jens Van der Plas (Visitor)
21 Jun 2021 → 25 Jun 2021Activity: 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