Projects per year
Fingerprint
Dive into the research topics where Noah Van Es is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Projects
- 1 Finished
-
FWOTM867: Adaptive analysis for multi-paradigm programs through reflection
De Roover, C. (Administrative Promotor) & Van Es, N. (On Behalf Of)
1/10/17 → 30/09/21
Project: Fundamental
-
Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters
Van Es, N., Vandenbogaerde, B. & De Roover, C., 2025, Static Analysis, Sas 2025. Oh, H. & Sui, Y. (eds.). Springer, Vol. 16100. p. 386–421 36 p. (Lecture Notes in Computer Science; vol. 16100 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access1 Citation (Scopus) -
Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell
Vandenbogaerde, B., Verbelen, S., Van Es, N. & De Roover, C., 6 Oct 2025, Static Analysis - 32nd International Symposium, SAS 2025, Proceedings. Oh, H. & Sui, Y. (eds.). Springer, p. 357-385 29 p. (Lecture Notes in Computer Science; vol. 16100 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access -
Abstract Slicing for Static Program Analysis
Verbelen, S., Vandenbogaerde, B., Van der Plas, J., Van Es, N. & De Roover, C., 9 Sept 2024, (Unpublished).Research output: Unpublished contribution to conference › Poster
File14 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. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)
Open AccessFile66 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 Access4 Citations (Scopus)
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
-
Artifact for 'Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters'
Van Es, N. (Creator), Vandenbogaerde, B. (Creator) & De Roover, C. (Creator), Zenodo, 3 Aug 2025
Dataset
-
Artifact for "Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell"
Vandenbogaerde, B. (Creator), Verbelen, S. (Creator), Van Es, N. (Creator) & De Roover, C. (Creator), Zenodo, 28 Jul 2025
Dataset
Activities
-
Summer School on Security Testing and Verification
Van Es, N. (Chair)
20 Sept 2022 → 22 Sept 2022Activity: Participating in or organising an event › Participation in workshop, seminar
-
A Parallel Worklist Algorithm for Modular Analyses
Van Es, N. (Speaker)
27 Sept 2020Activity: Talk or presentation › Talk or presentation at a conference
-
MAF: A Framework for Modular Static Analysis of Higher-Order Languages
Van Es, N. (Speaker)
27 Sept 2020Activity: Talk or presentation › Talk or presentation at a conference
-
Garbage-Free Abstract Interpretation through Abstract Reference Counting
Van Es, N. (Speaker)
17 Jul 2019Activity: Talk or presentation › Talk or presentation at a conference
-
40th International Conference on Software Engineering
Van Es, N. (Visitor)
27 May 2018 → 3 Jun 2018Activity: Participating in or organising an event › Participation in conference