Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

Maarten Steevens

h-index 0 View on Semantic Scholar

We have 2 of 6 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Out of the Loop No More: Online Abstract Debugging with Loop Stepping

This paper proposes online abstract debugging, which performs abstract interpretation on demand as the developer steps through the program, and instantiate this model for WebAssembly and presents a prototype implementation, demonstrating that developers can effectively draw sound conclusions about complex, potentially...

J. Alvim, Maarten Steevens, Christophe Scholliers et al. · 0 citations
2026

Remote Concolic Multiverse Debugging (Artifact)

A novel multiverse debugger capable of effectively pruning redundant paths from the state space to reduce the effect of state explosion is presented, which uses a trace-based approach which significantly reduces the overhead of multiverse de-bugging.

Maarten Steevens, Tom Lauwaerts, Christophe Scholliers · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.