Projects per year
Fingerprint
- 6 Similar Profiles
Projects
- 1 Finished
-
FWOTM867: Adaptive analysis for multi-paradigm programs through reflection
1/10/17 → 30/09/21
Project: Fundamental
Research output
-
Abstract Slicing for Static Program Analysis
Verbelen, S., Vandenbogaerde, B., Van der Plas, J., Van Es, N. & De Roover, C., 9 Sep 2024, (Unpublished).Research output: Unpublished contribution to conference › Poster
File3 Downloads (Pure) -
Abstract Slicing To Improve The Speed Of Static Program Analysis
Verbelen, S., Vandenbogaerde, B., Van der Plas, J., Van Es, N. & De Roover, C., 2024, BENEVOL24: The 23rd Belgium-Netherlands Software Evolution Workshop. 23 ed. CEUR Workshop Proceedings, Vol. 3941. p. 134-145 12 p.Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book) › Research
Open AccessFile11 Downloads (Pure) -
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 Access1 Citation (Scopus) -
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 › Research
Open AccessFile4 Citations (Scopus)132 Downloads (Pure) -
Incremental Flow Analysis through Computational Dependency Reification
Van der Plas, J., Stiévenart, Q., Van Es, N. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 25-36 12 p. 9252058. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
Open AccessFile9 Citations (Scopus)167 Downloads (Pure)
Datasets
-
Incremental Flow Analysis through Computational Dependency Reification
Van der Plas, J. (Creator), Stiévenart, Q. (Creator), Van Es, N. (Creator) & De Roover, C. (Creator), Zenodo, 14 Aug 2020
Dataset
Activities
-
Summer School on Security Testing and Verification
Noah Van Es (Chair)
20 Sep 2022 → 22 Sep 2022Activity: Participating in or organising an event › Participation in workshop, seminar
-
A Parallel Worklist Algorithm for Modular Analyses
Noah Van Es (Speaker)
27 Sep 2020Activity: Talk or presentation › Talk or presentation at a conference
-
MAF: A Framework for Modular Static Analysis of Higher-Order Languages
Noah Van Es (Speaker)
27 Sep 2020Activity: Talk or presentation › Talk or presentation at a conference
-
Garbage-Free Abstract Interpretation through Abstract Reference Counting
Noah Van Es (Speaker)
17 Jul 2019Activity: Talk or presentation › Talk or presentation at a conference
-
40th International Conference on Software Engineering
Noah Van Es (Visitor)
27 May 2018 → 3 Jun 2018Activity: Participating in or organising an event › Participation in conference