Coen De Roover (@coenderoover) 's Twitter Profile
Coen De Roover

@coenderoover

Professor @ Software Languages Lab - Vrije Universiteit Brussel. Program, repository & ecosystem analysis, concolic testing, software quality, tools.

ID: 32347444

linkhttp://soft.vub.ac.be/~cderoove/ calendar_today17-04-2009 08:28:02

2,2K Tweet

1,1K Takipçi

2,2K Takip Edilen

GPCE (@gpceconf) 's Twitter Profile Photo

The #GPCE24 deadlines have been extended to: Abstract Submission: June 11, 2024 Paper Submission: June 18, 2024 CfP: 2024.splashcon.org/home/gpce-2024… Please help to spread the news!

Raphaël Troncy (@rtroncy) 's Twitter Profile Photo

📢#PhD defense from Florent Moriconi: "Improving Software Development Life Cycle using Data Driven Approaches". Goal is to better understand CI/CD logs, predict failures and localize root causes for automatic fix in software development. Joint work with Amadeus

📢#PhD defense from Florent Moriconi: "Improving Software Development Life Cycle using Data Driven Approaches". Goal is to better understand CI/CD logs,  predict failures and localize root causes for automatic fix in software development. Joint work with <a href="/AmadeusITGroup/">Amadeus</a>
Coen De Roover (@coenderoover) 's Twitter Profile Photo

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.

Coen De Roover (@coenderoover) 's Twitter Profile Photo

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!

BENEVOL (@benevolworkshop) 's Twitter Profile Photo

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 😎

Coen De Roover (@coenderoover) 's Twitter Profile Photo

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-…

Coen De Roover (@coenderoover) 's Twitter Profile Photo

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

Action shots of <a href="/bramvdbogaerde/">Bram Vandenbogaerde</a> presenting “Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts” at <a href="/icfp_conference/">ICFP Conference</a> in Milan. Joint work w/ <a href="/acieroid/">Quentin Stiévenart</a> and @coenderoover. Open-access paper dl.acm.org/doi/10.1145/36… <a href="/softlab_brussel/">SoftwareLanguagesLab</a> @dinfvub
vpontillo (@vpontillo92) 's Twitter Profile Photo

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…

Coen De Roover (@coenderoover) 's Twitter Profile Photo

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.

Action shots of <a href="/cindy_wauters/">Cindy Wauters</a> from <a href="/softlab_brussel/">SoftwareLanguagesLab</a> presenting "Property-based Testing within ML Projects: an Empirical Study" at the NIER track of the <a href="/IEEEICSME/">IEEE ICSME 2025</a> conference in Flagstaff, AZ. Pre-print available at soft.vub.ac.be/Publications/2…. Joint work w/ <a href="/CoenDeRoover/">Coen De Roover</a>.
Coen De Roover (@coenderoover) 's Twitter Profile Photo

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!

Humbled by the 2024 Most Influential Paper Award of the Working Conference on Software Visualization, for our 2014 <a href="/IEEEVISSOFT/">VISSOFT</a> paper "Visualizing the Evolution of Systems and Their Library Dependencies" by <a href="/Augaiko/">Au Gai (R. G. Kula)</a>, <a href="/CoenDeRoover/">Coen De Roover</a>, Daniel German, <a href="/IshioTakashi/">Takashi Ishio</a>  and <a href="/katsuroinoue/">Katsuro Inoue</a>!
IEEE SANER (@sanerconf) 's Twitter Profile Photo

🎉 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

SoftwareLanguagesLab (@softlab_brussel) 's Twitter Profile Photo

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 <a href="/VUBrussel/">VUB</a> Phd in CS, Dr. Opdebeeck <a href="/ROpdebee/">Ruben Opdebeeck</a> who defended  “Static Analysis for Quality Assurance of Ansible Infrastructure-as-Code Artefacts” on Friday! Action shots w/ promotor <a href="/CoenDeRoover/">Coen De Roover</a> included. Dissertation: soft.vub.ac.be/Publications/2…
ICPC 2025 (@icpcconf) 's Twitter Profile Photo

⏰ Tomorrow is the day! ⏰ The abstract submission deadline for ICPC 2025 is here! Submit your abstract now and participate in the Software Engineering and Program Comprehension revolution! 🌐💡 #ICPC25 #ICSE2025 #SoftwareEngineering #ProgramComprehension

SoftwareLanguagesLab (@softlab_brussel) 's Twitter Profile Photo

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…

Congratulations to our freshly-minted Phd in CS, Dr. <a href="/jevdplas/">Jens Van der Plas</a> who defended "Incremental Static Program Analysis through Reified Computational Dependencies" on Monday! Action shots w/ promotors <a href="/CoenDeRoover/">Coen De Roover</a> &amp; <a href="/acieroid/">Quentin Stiévenart</a>  included. Dissertation copy at soft.vub.ac.be/Publications/2…
GPCE (@gpceconf) 's Twitter Profile Photo

The ACM conference on generative programming, GPCE, is now in its 24th year! In addition to old school generative programming, we welcome submissions on new techniques that incorporate LLMs especially if they support principled development. 2025.ecoop.org/home/gpce-2025…

Coen De Roover (@coenderoover) 's Twitter Profile Photo

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!

DistriNet (@distrinet) 's Twitter Profile Photo

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

Check out the upcoming summer school on Security Testing &amp; Verification, July 7-10, Brussels. Organized by <a href="/DistriNet/">DistriNet</a> KU Leuven &amp; <a href="/softlab_brussel/">SoftwareLanguagesLab</a> VUB. Aimed at researchers &amp; PhD students. Lecturers in comments. Sign up: cybersecurity-research.be/summer-school-… #Security #verification #phdschool
IEEE ICSME 2025 (@ieeeicsme) 's Twitter Profile Photo

📢 Call for Papers – SCAM2025 📍 Sept 7–8 | Auckland, NZ 🔗 Co-located with #ICSME2025 🔹 Research Track – theory & innovation 🔹 Engineering Track – tools & real-world insights Join the source code experts! 👉 conf.researchr.org/home/scam-2025 #SoftwareEngineering #SourceCode

📢 Call for Papers – SCAM2025
📍 Sept 7–8 | Auckland, NZ
🔗 Co-located with #ICSME2025

🔹 Research Track – theory &amp; innovation
🔹 Engineering Track – tools &amp; real-world insights
Join the source code experts!
👉 conf.researchr.org/home/scam-2025
#SoftwareEngineering #SourceCode