Projecten per jaar
Persoonlijk profiel
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.
Vingerafdruk
- 1 Soortgelijke profielen
Netwerk
-
FWOSBO47: SBO Project : Basiskamp Zero - De weg naar volautomatisch en autonoom testen
1/10/22 → 30/09/26
Project: Toegepast
-
-
BRGRD61: Joint R&D 2022: ECOPIPE: optimalisatie van energieverbruik in pijpleiding-architecturen
De Koster, J., De Meuter, W. & De Roover, C.
1/12/21 → 30/06/25
Project: Policy Based
-
FWOTM1089: Modulaire statische analyse voor de zachte verificatie van contracten in gedistribueerde actor programma's
Vandenbogaerde, B., De Roover, C. & Stiévenart, Q.
1/11/21 → 31/10/23
Project: Fundamenteel
Onderzoeksoutput
-
An empirical evaluation of quasi-static executable slices
Stiévenart, Q., Binkley, D. & De Roover, C., 1 mrt 2023, In: Journal of Systems and Software.Onderzoeksoutput: 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., mrt 2023, (Accepted/In press) In: Science of Computer Programming.Onderzoeksoutput: 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).Onderzoeksoutput: 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, blz. 296-319 24 blz. (Lecture Notes in Computer Science; vol. 13881).Onderzoeksoutput: 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, blz. 489-493 5 blz. (Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022).Onderzoeksoutput: 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
Prijzen
-
Best Artifact Award at SCAM 2022
Vandenbogaerde, Bram (Recipient), De Roover, Coen (Recipient) & Stiévenart, Quentin (Recipient), 12 okt 2022
Prijs: Prize (including medals and awards)
-
-
Best Paper Award of Tool Demo Track
De Roover, Coen (Recipient), 16 mrt 2016
Prijs: 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 mrt 2022
Prijs: Prize (including medals and awards)
Bestand
Activiteiten
-
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 2022Activiteit: Talk or presentation at a workshop/seminar
-
Purity Analysis for Higher-Order Imperative Languages: An Abstract Interpretation Approach (Evenement)
Jens Nicolay (Presenter), Wolfgang De Meuter (Supervisor), Coen De Roover (Supervisor) & Beat Signer (Jury)
2016Activiteit: Member of PhD committee
-
Functional Programming in an Impure World: a Tool Builder's Perspective
Coen De Roover (Speaker)
31 aug 2016Activiteit: 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 2008Activiteit: 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 okt 2007 → 31 okt 2011Activiteit: Participating in or organizing a public lecture/debate
Knipsels
-
Z-Cybersecurity - Samen voor betere cyberveiligheid in Vlaanderen 20/05/22
20/05/22
1 Mediabijdrage
Pers / media: !!Expert Comment
-
Nieuw Vlaams project moet cybersecurity naar een hoger niveau tillen
1/02/22
1 item van Media-aandacht
Pers / 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 van Media-aandacht
Pers / media: !!Research
Scriptie
-
A Logic Meta Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs
Auteur: De Roover, C., De Meuter, W., Brichau, J., Lämmel, R., Godfrey, M., Vermeir, D., Jonckers, V. & D'Hondt, T., 28 aug 2009Begeleider: De Meuter, W. (Promotor), Vermeir, D. (Jury), Jonckers, V. (Jury), D'Hondt, T. (Jury), Lämmel, R. (Externe persoon) (Jury), Godfrey, M. (Externe persoon) (Jury) & Brichau, J. (Externe persoon) (Co-promotor)
Scriptie/Masterproef: Doctoral Thesis
-
Incorporating Dynamic Analysis and Approximate Reasoning in Declarative Meta-Programming to Support Software Re-engineering
Auteur: De Roover, C., D'Hondt, T., Jonckers, V., Tourwe, T. & Wuyts, R., 2004Begeleider: D'Hondt, T. (Promotor), Jonckers, V. (Jury), Tourwe, T. (Jury) & Wuyts, R. (Jury)
Scriptie/Masterproef: Master's Thesis