conf.researchr.org / Coen De Roover
Registered user since Mon 25 Aug 2014
Name:Coen De Roover
Bio:
I’m a full professor (since 2025) 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 160 peer-reviewed articles in the domain. Our research focuses on the design of program analyses, and on their application to problems in software quality and application security. Examples include soft verification of contracts, incremental abstract interpretation, fine-grained change analysis of individual commits, mining for change patterns in multiple commits, and security analyses of infrastructure code, WebAssembly binaries and zero-knowledge proof programs.
I lead the research line on static and dynamic application security testing in the Cybersecurity Research Programme Flanders and co-chair the Summer School on Security Testing and Verification.
Since academic year 2019-2020, I’m also the programme director of the bachelor in Computer Science of VUB.
Please visit http://soft.vub.ac.be/~cderoove/ for more information.
Country:Belgium
Affiliation:Vrije Universiteit Brussel
Personal website: http://soft.vub.ac.be/~cderoove/
X (Twitter): https://x.com/CoenDeRoover
Research interests:static analysis, dynamic analysis, mining software repositories, software engineering tools, software quality, empirical studies, security
Contributions
2027
Mining Software Repositories
International Conference on Program Comprehension
2026
ICSME
SCAM
ECOOP
- ECOOP Academy Co-Chair in Organizing Committee
- Co-chair in Organizing committee within the ECOOP Academy-track
- Session Chair of ECOOP Academy Lecture 8 (part of ECOOP Academy)
- Session Chair of ECOOP Academy Lecture 4 (part of ECOOP Academy)
- Session Chair of ECOOP Academy Lecture 2 (part of ECOOP Academy)
ICST
Mining Software Repositories
International Conference on Program Comprehension
2025
Static Analysis Symposium
- Author of Abstracting Concolic Execution for Soft Contract Verification within the SAS 2025-track
- Author of Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters within the SAS 2025-track
- Author of Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell within the SAS 2025-track
ICSME
- Author of Performance Testing in Open-Source Web Projects: Adoption, Maintenance, and a Change Taxonomy within the Research Papers Track-track
- Session Chair of Session 2 - Quality Assurance 1 (part of Research Papers Track)
- Author of Onweer: Automated Resilience Testing through Fuzzing within the Research Papers Track-track
- 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)
- Author of Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis within the Research Track-track
- Steering Committee Member in Steering Committee
- Author of Smelling Secrets: Leveraging Machine Learning and Language Models for Sensitive Parameter Detection in Ansible Security Analysis within the Research Track-track
Mining Software Repositories
International Conference on Program Comprehension
- Program Co-Chair in Organizing Committee
- Session Chair of Education, Debugging, Dynamic Analysis (part of Research Track)
- Session Chair of Code Generation (part of Research Track)
- Session Chair of Empirical Findings, Future Visions, Recommendations (part of Research Track)
- Program Co-Chair in Program Committee within the Research Track-track
- Session Chair of Log Parsing, Bug Localisation, Review Comprehension (part of Research Track)
- Session Chair of Steering Committee Session (part of Research Track)
- Session Chair of Vulnerabilities, Technical Debt, Defects (part of Research Track)
- Session Chair of App Comprehension (part of Research Track)
- Session Chair of Joint ICPC-MSR Keynote (part of Research Track)
- Session Chair of ICPC Awards (part of Research Track)
- Session Chair of Summarisation, Natural Language Generation (part of Research Track)
SANER
- Committee Member in Program Committee within the Research Papers-track
- Journal First Co-Chair in Organizing Committee
- Author of Analysing Software Supply Chains of Infrastructure as Code: Extraction of Ansible Plugin Dependencies within the Research Papers-track
- Journal First Co-Chair in Program Commitee within the Journal First Track -track
- Session Chair of Software Testing & Debugging (part of Research Papers)
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