Noah Van Es

12 papers A 1B 2C 3Misc 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters.
SAS
Noah Van Es, Bram Vandenbogaerde, Coen De Roover
2025 B conf
Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell.
SAS
Bram Vandenbogaerde, Sarah Verbelen, Noah Van Es, Coen De Roover
2024 — conf
Abstract Slicing To Improve The Speed Of Static Program Analysis.
BENEVOL
Sarah Verbelen, Bram Vandenbogaerde, Jens Van der Plas, Noah Van Es, Coen De Roover
2021 J jnl
A parallel worklist algorithm and its exploration heuristics for static modular analyses.
J. Syst. Softw.
Quentin Stiévenart, Noah Van Es, Jens Van der Plas, Coen De Roover
2020 C conf
A Parallel Worklist Algorithm for Modular Analyses.
SCAM
Noah Van Es, Quentin Stiévenart, Jens Van der Plas, Coen De Roover
2020 C conf
Incremental Flow Analysis through Computational Dependency Reification.
SCAM
Jens Van der Plas, Quentin Stiévenart, Noah Van Es, Coen De Roover
2020 C conf
MAF: A Framework for Modular Static Analysis of Higher-Order Languages.
SCAM
Noah Van Es, Jens Van der Plas, Quentin Stiévenart, Coen De Roover
2019 J jnl
Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact).
Dagstuhl Artifacts Ser.
Noah Van Es, Quentin Stiévenart, Coen De Roover
2019 A conf
Garbage-Free Abstract Interpretation Through Abstract Reference Counting.
ECOOP
Noah Van Es, Quentin Stiévenart, Coen De Roover
2017 J jnl
Implementing a performant scheme interpreter for the web in asm.js.
Comput. Lang. Syst. Struct.
Noah Van Es, Quentin Stiévenart, Jens Nicolay, Theo D'Hondt, Coen De Roover
2017 — conf
Incrementalizing Abstract Interpretation.
BENEVOL
Noah Van Es, Maarten Vandercammen, Coen De Roover
2016 Misc conf
A performant scheme interpreter in asm.js.
SAC
Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D'Hondt, Coen De Roover