A performant scheme interpreter in asm.js. - Noah Van Es; Jens Nicolay; Quentin Stiévenart; Theo D'Hondt; Coen De Roover (SAC, 2016)

Incrementalizing Abstract Interpretation. - Noah Van Es; Maarten Vandercammen; Coen De Roover (BENEVOL, 2017)

Implementing a performant scheme interpreter for the web in asm.js. - Noah Van Es; Quentin Stiévenart; Jens Nicolay; Theo D'Hondt; Coen De Roover (Comput. Lang. Syst. Struct., 2017)

Garbage-Free Abstract Interpretation Through Abstract Reference Counting. - Noah Van Es; Quentin Stiévenart; Coen De Roover (ECOOP, 2019)

Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact). - Noah Van Es; Quentin Stiévenart; Coen De Roover (Dagstuhl Artifacts Ser., 2019)

MAF: A Framework for Modular Static Analysis of Higher-Order Languages. - Noah Van Es; Jens Van der Plas; Quentin Stiévenart; Coen De Roover (SCAM, 2020)

A Parallel Worklist Algorithm for Modular Analyses. - Noah Van Es; Quentin Stiévenart; Jens Van der Plas; Coen De Roover (SCAM, 2020)

Incremental Flow Analysis through Computational Dependency Reification. - Jens Van der Plas; Quentin Stiévenart; Noah Van Es; Coen De Roover (SCAM, 2020)

A parallel worklist algorithm and its exploration heuristics for static modular analyses. - Quentin Stiévenart; Noah Van Es; Jens Van der Plas; Coen De Roover (J. Syst. Softw., 2021)

Abstract Slicing To Improve The Speed Of Static Program Analysis. - Sarah Verbelen; Bram Vandenbogaerde; Jens Van der Plas; Noah Van Es; Coen De Roover (BENEVOL, 2024)