Bram Vandenbogaerde -

Registered user since Thu 1 Jul 2021

Name:Bram Vandenbogaerde

Contributions

2024

ECOOP/ISSTA

Speaker of Soft Verification for Actor Contract Systems within the Doctoral Symposium-track

ICFP

Author of Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts within the ICFP Papers and Events-track
Author of Blame-correct Support for Receiver Properties in Recursively-Structured Actor Contracts within the Artifact Evaluation-track

2023

SLE

Author of Cross-Level Debugging for Static Analysers within the SLE 2023-track