
Coen De Roover
@coenderoover
Professor @ Software Languages Lab - Vrije Universiteit Brussel. Program, repository & ecosystem analysis, concolic testing, software quality, tools.
ID: 32347444
http://soft.vub.ac.be/~cderoove/ 17-04-2009 08:28:02
2,2K Tweet
1,1K Followers
2,2K Following


6 days to submit your abstract IEEE SCAM Conference. Andrea Stocco@ICSE 25 and I are waiting your contributions Coen De Roover IEEE ICSME 2025


Abstracts for the Research Track of the 24th IEEE International Conference on Source Code Analysis and Manipulation (SCAM 2024) are due today (AoE)! Check out the CfP and PC put together by Andrea Stocco@ICSE 25 + Valentina Lenarduzzi and consider submitting. Full papers due on June 21st.

July 1st AoE: abstract deadline for Engineering Track (conf.researchr.org/track/scam-202… ) & NIER Track (conf.researchr.org/track/scam-202…) of the 24th International Conference on Source Code Analysis and Manipulation (SCAM 2024). Last opportunity to submit your work for presentation in Flagstaff!

The BENEVOL'24 team is wishing you a great summer! But do not forget about the calls available here: benevol2024.github.io. B_____ V___d__ose and Gilles Perrouin look forward to your submissions in September 😎

Only 3 weeks until early bird registration deadline of 3rd Summer School on Security Testing & Verification. Don't miss the opportunity to learn from experts such as Peter Müller, Anders Møller, Michele Pasqua, Sébastien Bardin, and Cas Cremers @ Brussels! cybersecurity-research.be/summer-school-…

Action shots of Bram Vandenbogaerde presenting “Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts” at ICFP Conference in Milan. Joint work w/ Quentin Stiévenart and @coenderoover. Open-access paper dl.acm.org/doi/10.1145/36… SoftwareLanguagesLab @dinfvub


Working on Security Testing for Complex Systems? Submit your work to our special issue with emsejournal ! Find more information here: emsejournal.github.io/special_issues…

IEEE SCAM Conference officially started Coen De Roover Andrea Stocco@ICSE 25 IEEE ICSME 2025 #arizona #flagstaff M3S Oulu University of Oulu


Action shots of Cindy Wauters from SoftwareLanguagesLab presenting "Property-based Testing within ML Projects: an Empirical Study" at the NIER track of the IEEE ICSME 2025 conference in Flagstaff, AZ. Pre-print available at soft.vub.ac.be/Publications/2…. Joint work w/ Coen De Roover.


Humbled by the 2024 Most Influential Paper Award of the Working Conference on Software Visualization, for our 2014 VISSOFT paper "Visualizing the Evolution of Systems and Their Library Dependencies" by Au Gai (R. G. Kula), Coen De Roover, Daniel German, Takashi Ishio and Katsuro Inoue!


🎉 Bonjour, #SANER25 community! We are excited to announce the Journal First Track! 📚✨ If your paper has been accepted in a leading journal, this is your chance to showcase your work and engage in lively discussions. Mohammad Hamdaqa Foutse Coen De Roover Andreea Vescan

Congratulations to our freshly-minted VUB Phd in CS, Dr. Opdebeeck Ruben Opdebeeck who defended “Static Analysis for Quality Assurance of Ansible Infrastructure-as-Code Artefacts” on Friday! Action shots w/ promotor Coen De Roover included. Dissertation: soft.vub.ac.be/Publications/2…



Congratulations to our freshly-minted Phd in CS, Dr. Jens Van der Plas who defended "Incremental Static Program Analysis through Reified Computational Dependencies" on Monday! Action shots w/ promotors Coen De Roover & Quentin Stiévenart included. Dissertation copy at soft.vub.ac.be/Publications/2…



Registrations are open for the 4th Summer School on Security Testing & Verification (ST&V 2025) in Brussels July 7 till 10: cybersecurity-research.be/summer-school-… Lectures cover static analysis, abstract interpretation, formal verification, security testing, fuzzing and concolic testing!

Check out the upcoming summer school on Security Testing & Verification, July 7-10, Brussels. Organized by DistriNet KU Leuven & SoftwareLanguagesLab VUB. Aimed at researchers & PhD students. Lecturers in comments. Sign up: cybersecurity-research.be/summer-school-… #Security #verification #phdschool

