Projects per year
Personal profile
Expertise
Coen De Roover is a professor at the Software Languages Lab of the Vrije Universiteit Brussel. The central theme of his research is the design and application of source code analysis and transformation techniques. These form the foundation of tool support for quality assurance problems as pressing as program comprehension, program validation, and program modernization.
Fingerprint
Dive into the research topics where Coen De Roover is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
FWOSBO47: SBO Project : BaseCamp Zero - Towards Zero-Touch Testing
1/10/22 → 30/09/26
Project: Applied
-
VLAAI4: CS ICON Project APAX : Automated Posture Analysis that Scales
1/03/22 → 29/02/24
Project: Applied
-
IOF3023: IOF GEAR Project AST4S3 : Advanced Software Technologies for Developing Smart, Sustainable and Secure Systems
De Meuter, W., De Roover, C. & Nicolay, J.
1/01/22 → 31/12/26
Project: Applied
-
BRGRD61: Joint R&D 2022: ECOPIPE: Energy Consumption Optimization in Pipeline-architectures
De Koster, J., De Meuter, W. & De Roover, C.
1/12/21 → 30/06/25
Project: Policy Based
-
FWOTM1089: Modular static analysis for soft contract verification of distributed actor programs
Vandenbogaerde, B., De Roover, C. & Stiévenart, Q.
1/11/21 → 31/10/23
Project: Fundamental
Research output
-
An empirical evaluation of quasi-static executable slices
Stiévenart, Q., Binkley, D. & De Roover, C., 1 Mar 2023, In: Journal of Systems and Software.Research output: Contribution to journal › Article › peer-review
-
A Text Classification Approach to API Type Resolution for Incomplete Code Snippets
Velazquez Rodriguez, C. E., Di Nucci, D. & De Roover, C., Mar 2023, (Accepted/In press) In: Science of Computer Programming.Research output: Contribution to journal › Article › peer-review
-
MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis
Van der Plas, J., Nicolay, J., De Meuter, W. & De Roover, C., 2023, (Accepted/In press) Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
-
Result Invalidation for Incremental Modular Analyses
Van der Plas, J., Stiévenart, Q. & De Roover, C., 17 Jan 2023, Proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, Boston, MA, USA, January 16-17, 2023. Cham: Springer, p. 296-319 24 p. (Lecture Notes in Computer Science; vol. 13881).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open Access -
LIFUSO: A Tool for Library Feature Unveiling based on Stack Overflow Posts
Velazquez Rodriguez, C. E., Constantinou, E. & De Roover, C., 2022, LIFUSO: A Tool for Library Feature Unveiling based on Stack Overflow Posts. IEEE, p. 489-493 5 p. (Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Datasets
-
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries
Stiévenart, Q. (Creator), Binkley, D. (Creator) & De Roover, C. (Creator), Zenodo, 5 Jan 2022
Dataset
-
Back to the Past - Analysing Backporting Practices in Package Dependency Networks
Decan, A. (Creator), Mens, T. (Creator), Zerouali, A. (Creator) & De Roover, C. (Creator), Zenodo, 1 Jul 2021
Dataset
-
Ansible Galaxy roles, versions, and metadata
Opdebeeck, R. (Creator), Zerouali, A. (Creator), Velazquez Rodriguez, C. E. (Creator) & De Roover, C. (Creator), Zenodo, 20 Sep 2020
Dataset
-
Replication Package for "On the Practice of Semantic Versioning for Ansible Galaxy Roles: An Empirical Study and a Change Classification Model"
Opdebeeck, R. (Creator), Zerouali, A. (Creator), Velazquez Rodriguez, C. E. (Creator) & De Roover, C. (Creator), Zenodo, 2021
Dataset
-
Back to the Past - Analysing Backporting Practices in Package Dependency Networks
Decan, A. (Creator), Mens, T. (Creator), Zerouali, A. (Creator) & De Roover, C. (Creator), Zenodo, 2021
Dataset
Prizes
-
Best Artifact Award at SCAM 2022
Vandenbogaerde, Bram (Recipient), De Roover, Coen (Recipient) & Stiévenart, Quentin (Recipient), 12 Oct 2022
Prize: Prize (including medals and awards)
-
-
Best Paper Award of Tool Demo Track
De Roover, Coen (Recipient), 16 Mar 2016
Prize: Prize (including medals and awards)
-
-
Distinguished Paper Award to: Uncovering Library Features from API Usage on Stack Overflow
Velazquez Rodriguez, Camilo Ernesto (Recipient), Constantinou, E. (Recipient) & De Roover, Coen (Recipient), 15 Mar 2022
Prize: Prize (including medals and awards)
File
Activities
-
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
Sander Huyghebaert (Speaker), Steven Keuchel (Contributor), Coen De Roover (Contributor) & Dominique Devriese (Contributor)
12 Dec 2022Activity: Talk or presentation › Talk or presentation at a workshop/seminar
-
Purity Analysis for Higher-Order Imperative Languages: An Abstract Interpretation Approach (Event)
Jens Nicolay (Presenter), Wolfgang De Meuter (Supervisor), Coen De Roover (Supervisor) & Beat Signer (Jury)
2016Activity: Membership › Member of PhD committee
-
Functional Programming in an Impure World: a Tool Builder's Perspective
Coen De Roover (Speaker)
31 Aug 2016Activity: Talk or presentation › Talk at an external academic organisation
-
Talk "Logic Program Queries using Source Code Templates" at Seminar on Advanced Tools & Techniques for Software Evolution (SATTOSE08)
Coen De Roover (Speaker)
3 Feb 2008 → 9 Feb 2008Activity: Talk or presentation › Talk or presentation at a workshop/seminar
-
Workshop titled "Computers Zintuigen Geven" for "Herfstkamp van de Wetenschappen en Bio-ingenieurswetenschappen"
Coen De Roover (Participant)
29 Oct 2007 → 31 Oct 2011Activity: Participating in or organising an event › Participating in or organizing a public lecture/debate
Press/Media
-
Z-Cybersecurity - Samen voor betere cyberveiligheid in Vlaanderen 20/05/22
20/05/22
1 Media contribution
Press/Media: Expert Comment
-
Nieuw Vlaams project moet cybersecurity naar een hoger niveau tillen
1/02/22
1 item of Media coverage
Press/Media: Research
-
FYI: Code compiled to WebAssembly may lack standard security defenses
Quentin Stiévenart, Coen De Roover & Mohammad Ghafari
4/11/21
1 item of Media coverage
Press/Media: Research
Thesis
-
A Logic Meta Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs
Author: De Roover, C., De Meuter, W., Brichau, J., Lämmel, R., Godfrey, M., Vermeir, D., Jonckers, V. & D'Hondt, T., 28 Aug 2009Supervisor: De Meuter, W. (Promotor), Vermeir, D. (Jury), Jonckers, V. (Jury), D'Hondt, T. (Jury), Lämmel, R. (External person) (Jury), Godfrey, M. (External person) (Jury) & Brichau, J. (External person) (Co-promotor)
Student thesis: Doctoral Thesis
-
Incorporating Dynamic Analysis and Approximate Reasoning in Declarative Meta-Programming to Support Software Re-engineering
Author: De Roover, C., D'Hondt, T., Jonckers, V., Tourwe, T. & Wuyts, R., 2004Supervisor: D'Hondt, T. (Promotor), Jonckers, V. (Jury), Tourwe, T. (Jury) & Wuyts, R. (Jury)
Student thesis: Master's Thesis