Bram Vandenbogaerde
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SP | Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs Via Value Inference. | Arman Kolozyan, Bram Vandenbogaerde, Janwillem Swalens, Lode Hoste, Stefanos Chaliasos, Coen De Roover |
| 2025 | SAS | Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters. | Noah Van Es, Bram Vandenbogaerde, Coen De Roover |
| 2025 | SAS | Abstracting Concolic Execution for Soft Contract Verification. | Bram Vandenbogaerde, Quentin Stivenart, Coen De Roover |
| 2025 | SAS | Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell. | Bram Vandenbogaerde, Sarah Verbelen, Noah Van Es, Coen De Roover |
| 2024 | ISSTA | Soft Verification for Actor Contract Systems. | Bram Vandenbogaerde |
| 2023 | SLE | Cross-Level Debugging for Static Analysers. | Mats Van Molle, Bram Vandenbogaerde, Coen De Roover |
| 2022 | SCAM | Summary-Based Compositional Analysis for Soft Contract Verification. | Bram Vandenbogaerde, Quentin Stivenart, Coen De Roover |