🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Save the date: 3rd edition of SoftwareLanguagesLab and DistriNet (KU Leuven) Summer School on Security Testing & Verification, Sept. 9-11. Applications open in May. #security #testing #SAST #DAST More info: cybersecurity-research.be/summer-school-…

Congratulations to our new VUB PhD in CS, Dr. Velázquez-Rodríguez Camilo Velázquez Rodríguez, who defended the thesis "Extracting Library Features from Incomplete Code on Stack Overflow" on Friday! Action shots with promotor Coen De Roover included. Dissertation: shorturl.at/bORS5

Happy to announce the second edition of the @DARE summer school! The in-person week will be held from 9 to 13 September 2024 at the Technical University of Darmstadt in Germany. The application deadline is 29 May 2024. Follow up on all details here: dare-summer.github.io

An additional shot of Maarten Vandercammen presenting "State Merging for Concolic Testing of Event-Driven Applications" at the kleesymex workshop co-located with ICSE in Lisbon. More details in the final chapter of his SoftwareLanguagesLab PhD dissertation: soft.vub.ac.be/Publications/2…

Congratulations to our new VUB PhD in Computer Science, Dr. Ward Muylaert Ward Muylaert, who defended the thesis "Data Flow and Control Flow Analysis of Problematic Commits" on Monday! Action shots with promotor Coen De Roover included.

The journal on "The Art, Science, and Engineering of Programming" is still taking submissions for volume nine! Next deadline is June 1st 📫 Submitted papers have the opportunity to use the journal's artifact evaluation process to submit and publish their results of any form.

Reminder: The next submission deadline for the journal on The Art, Science, and Engineering of Programming is June 1st, 2024 🏁 You can find the journal's #CallForPapers linked on the submission website: programming25-92.hotcrp.com

Second Summer School on Distributed and Replicated Environments (DARE 2024) with application deadlines till May 29th. This year occurs in TU Darmstadt dare-summer.github.io

Lecturers of the 3rd Summer School on Security Testing and Verification (ST&V 2024), organised Sep 9-10-11 by SoftwareLanguagesLab and DistriNet at the VUB campus in Belgium, have confirmed. Early birds should register by July 21st! cybersecurity-research.be/summer-school-…

Happy to announce that DARE 2024 has obtained support from ACM Europe and emergenCITY, and we have additional spots for the summer school free of charge. We have extended the deadline to apply until 25 June 2024. See all details at: dare-summer.github.io

We are organising the first Belgian meetup on Local-First Software on August 23rd in Brussels, featuring two industrial talks followed by a PhD defence on groundbreaking research supporting its development. Reserve your spot now at: eventbrite.be/e/belgian-loca…

I'll be presenting ElectricSQL at the first Belgian meetup on Local-First Software on the 23rd of August in Brussels. The registration is free so make sure to join us if you are around!

🚀 Only 10 days left! Join us for the 1st Belgian Local-First Software Meetup on Fri, 23/08! It's free but registration is required. eventbrite.be/e/belgian-loca… #LocalFirst #SoftwareMeetup #BelgiumTech #vub

After the submission deadline is before the submission deadline: Submit to the journal on The Art, Science, and Engineering of Programming until October 1st, 2024 🏁 You can find the journal's #CallForPapers linked on the submission website: programming25-92.hotcrp.com

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

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!