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 | 15 | 2020 |
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 | 8 | 2016 |
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 | 7 | 2019 |
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 | 5 | 2020 |
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 | 4 | 2020 |
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 | 3 | 2017 |
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 | 1 | 2021 |
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 |