Registered user since Mon 25 Aug 2014
Since October 2015, I’m a professor at the Software Languages Lab (SOFT) of the Vrije Universiteit Brussel (VUB) in Belgium, where I lead the Code Analysis and ManiPulation (CAMP) subgroup.
With this group, I’ve published over 120 peer-reviewed articles in the domain. Our research focuses on the design of program analyses, and on their application to problems in software quality.
Examples include soft verification of contracts, incremental abstract interpretation, fine-grained change analysis of individual commits, mining for change patterns in multiple commits, and vulnerability detection in infrastructure code.
Please visit http://soft.vub.ac.be/~cderoove/ for more information.
Since academic year 2019-2020, I’m also the programme director of the bachelor in Computer Science of VUB.
Contributions
2025
International Conference on Program Comprehension
2024
GPCE
ICSME
SCAM
ICFP
EASE
KLEE
Mining Software Repositories
International Conference on Technical Debt
2023
GPCE
Mining Software Repositories
- Author of Helm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks within the Technical Papers-track
- Author of Control and Data Flow in Security Smell Detection for Infrastructure as Code: Is It Worth the Effort? within the Technical Papers-track
- Committee Member in Program Committee within the Technical Papers-track
SLE
ICSME
International Conference on Program Comprehension
2022
GPCE
ECOOP
PAW
Mining Software Repositories
International Conference on Program Comprehension
‹Programming›
- Committee Member in Research Papers within the Research Papers-track
- Session Chair of Compiler Construction (part of Research Papers)
- Author of Prioritising Server Side Reachability via Inter-process Concolic Testing within the Research Papers-track
- Committee Member in Selection Committee within the Posters and Demonstrations-track
2021
GPCE
SLE
International Conference on Program Comprehension
Mining Software Repositories
‹Programming›
2020
International Conference on Program Comprehension
Mining Software Repositories
‹Programming›
- Student Research Competition Co-Chair in Organizing Committee
- Co-chair in Organizing Committee within the Student Research Competition-track
- Session Chair of Machines Thinking about Programs (part of Research Papers)
- Committee Member in Program Committee within the Research Papers-track
- Session Chair of SRC Posters Session (part of Student Research Competition)
ENIAC
2019
ASE
ECOOP
- Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Artifacts-track
- Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Posters-track
- Author of Towards Resilience Testing of Actor Programs through Test Perturbations within the Posters-track
- Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Research Papers-track