conf.researchr.org / Bram Vandenbogaerde
Registered user since Thu 1 Jul 2021
Name:Bram Vandenbogaerde
Country:Belgium
Affiliation:Software Languages Lab, Vrije Universiteit Brussel
Personal website: https://vdb.space
Research interests:Static analysis
Contributions
2025
Static Analysis Symposium
- Author of Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell within the SAS 2025-track
- Author of Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters within the SAS 2025-track
- Author of Abstracting Concolic Execution for Soft Contract Verification within the SAS 2025-track