Projects per year
Fingerprint
- 6 Similar Profiles
Projects
- 1 Active
-
FWOTM867: Adaptive analysis for multi-paradigm programs through reflection
1/10/17 → 30/09/21
Project: Fundamental
Research output
-
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
1 Citation (Scopus) -
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
-
MAF: A Framework for Modular Static Analysis of Higher-Order Languages
Van Es, N., Van der Plas, J., Stiévenart, Q. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 37-42Research output: Chapter in Book/Report/Conference proceeding › Conference paper
-
Garbage-free Abstract Interpretation through Abstract Reference Counting
Van Es, N., Stiévenart, Q. & De Roover, C., 1 Jul 2019, Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 134. 34 p. 10Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access2 Citations (Scopus) -
Garbage-free Abstract Interpretation through Abstract Reference Counting (Artifact)
Van Es, N., Stiévenart, Q. & De Roover, C., 2019Research output: Non-textual form › Artefact
Open Access
Activities
-
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
-
A Parallel Worklist Algorithm for Modular Analyses
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
-
The 2nd Winter School in Engineering and Computer Science on Formal Verification
Noah Van Es (Participant)17 Dec 2017 → 21 Dec 2017Activity: Participating in or organising an event › Participation in workshop, seminar