Sarah Verbelen

According to our database, Sarah Verbelen authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell.

Bram Vandenbogaerde, Sarah Verbelen, Noah Van Es, Coen De Roover

Proceedings of the Static Analysis - 32nd International Symposium, 2025

2024

Abstract Slicing To Improve The Speed Of Static Program Analysis.

Sarah Verbelen, Bram Vandenbogaerde, Jens Van der Plas, Noah Van Es, Coen De Roover

Proceedings of the 23nd Belgium-Netherlands Software Evolution Workshop, 2024

FERRARI: FailurE RepRoduction through automatic test cAse generation and stack tRace analysIs.

Valeria Pontillo, Maarten Vandercammen, Sarah Verbelen, Coen De Roover

Proceedings of the 23nd Belgium-Netherlands Software Evolution Workshop, 2024