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
ICSME
- Performance Testing in Open-Source Web Projects: Adoption, Maintenance, and a Change Taxonomy
- Session Chair of Session 2 - Quality Assurance 1 (part of Research Papers Track)
- Onweer: Automated Resilience Testing through Fuzzing
- Committee Member in Program Committee within the Research Papers Track-track
SCAM
- Session Chair of Closing (part of Research Track)
- Session Chair of Analysis 3 (part of Research Track)
- Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis
- Steering Committee Member in Steering Committee
- Smelling Secrets: Leveraging Machine Learning and Language Models for Sensitive Parameter Detection in Ansible Security Analysis
View general profile