Research
My primary research field of interest is in static analysis using abstract interpretation,
specifically about making scalable and precise analyses for diverse programming models. This includes but is not limited to programs annotated with software contracts, distributed applications, ...
Publications
2024
-
Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts (PDF)
Proceedings of the ACM on Programming Languages (PACMPL) International Conference on Functional Programming (ICFP) 2024
Bram Vandenbogaerde, Quentin Stiévenart and Coen De Roover
2023
-
Cross-Level Debugging for Static Analysers (PDF)
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023)
Mats Van Molle, Bram Vandenbogaerde and Coen De Roover
2022
- Summary-Based Compositional Analysis for Soft Contract Verification (PDF)
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2022)
Bram Vandenbogaerde, Quentin Stiévenart and Coen De Roover
2019
- A Graph-Based Framework for Analysing the Design of Smart Contracts (PDF) - ESEC/FSE Student Research Competion
Artifacts
- Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts (Artifact) (Zenedo)
- Summary-Based Compositional Analysis for Soft Contract Verification - Artifact (Zenedo)
SCAM 2022 Best Artifact Award
