Volgen
Noah Van Es
Noah Van Es
Geverifieerd e-mailadres voor vub.ac.be - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Incremental flow analysis through computational dependency reification
J Van der Plas, Q Stiévenart, N Van Es, C De Roover
2020 IEEE 20th International Working Conference on Source Code Analysis and …, 2020
152020
A performant scheme interpreter in asm. js
N Van Es, J Nicolay, Q Stievenart, T D'Hondt, C De Roover
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1944-1951, 2016
82016
Garbage-free abstract interpretation through abstract reference counting
N Van Es, Q Stiévenart, C De Roover
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
72019
MAF: a framework for modular static analysis of higher-order languages
N Van Es, J Van der Plas, Q Stiévenart, C De Roover
2020 IEEE 20th International Working Conference on Source Code Analysis and …, 2020
52020
A parallel worklist algorithm for modular analyses
N Van Es, Q Stiévenart, J Van der Plas, C De Roover
2020 IEEE 20th International Working Conference on Source Code Analysis and …, 2020
42020
Implementing a performant scheme interpreter for the web in asm. js
N Van Es, Q Stievenart, J Nicolay, T D’Hondt, C De Roover
Computer Languages, Systems & Structures 49, 62-81, 2017
32017
A parallel worklist algorithm and its exploration heuristics for static modular analyses
Q Stiévenart, N Van Es, J Van der Plas, C De Roover
Journal of Systems and Software 181, 111042, 2021
12021
Abstract Slicing for Static Program Analysis
S Verbelen, B Vandenbogaerde, J Van der Plas, N Van Es, C De Roover
3rd Summer School on Security Testing and Verification, 2024
2024
Incrementalizing Abstract Interpretation.
N Van Es, M Vandercammen, C De Roover
BENEVOL, 31-35, 2017
2017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–9