The Software Languages Lab is a research lab within the Department of Computer Science of the Vrije Universiteit Brussel (VUB).
Brussels, Belgium
Joined October 2013
- Tweets687
- Following136
- Followers598
- Likes163
SoftwareLanguagesLab retweeted
Get those contributions ready!
Most ECOOP’26 calls are now online. We have 3 co-located conferences, 8 workshops, a demo track, a poster session, a student research competition and a doctoral symposium.
Check the website for details (link in bio)!
SoftwareLanguagesLab retweeted
Registrations are open for the 4th Summer School on Security Testing & Verification (ST&V 2025) in Brussels July 7 till 10: cybersecurity-research.be/su… Lectures cover static analysis, abstract interpretation, formal verification, security testing, fuzzing and concolic testing!
Congratulations to our freshly-minted Phd in CS, Dr. @jevdplas who defended "Incremental Static Program Analysis through Reified Computational Dependencies" on Monday! Action shots w/ promotors @CoenDeRoover & @acieroid included. Dissertation copy at soft.vub.ac.be/Publications/…
Congratulations to our freshly-minted @VUBrussel Phd in CS, Dr. Opdebeeck @ROpdebee who defended “Static Analysis for Quality Assurance of Ansible Infrastructure-as-Code Artefacts” on Friday! Action shots w/ promotor @CoenDeRoover included. Dissertation: soft.vub.ac.be/Publications/…
SoftwareLanguagesLab retweeted
Humbled by the 2024 Most Influential Paper Award of the Working Conference on Software Visualization, for our 2014 @IEEEVISSOFT paper "Visualizing the Evolution of Systems and Their Library Dependencies" by @Augaiko, @CoenDeRoover, Daniel German, @IshioTakashi and @katsuroinoue!
SoftwareLanguagesLab retweeted
Action shots of @cindy_wauters from @softlab_brussel presenting "Property-based Testing within ML Projects: an Empirical Study" at the NIER track of the @IEEEICSME conference in Flagstaff, AZ. Pre-print available at soft.vub.ac.be/Publications/…. Joint work w/ @CoenDeRoover.
SoftwareLanguagesLab retweeted
Action shots of @bramvdbogaerde presenting “Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts” at @icfp_conference in Milan. Joint work w/ @acieroid and @coenderoover. Open-access paper dl.acm.org/doi/10.1145/36746… @softlab_brussel @dinfvub
SoftwareLanguagesLab retweeted
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/
ALT Poster for the <Programming> Journal. The deadline for issue 3 of volume 9 is October 1st, 2024
SoftwareLanguagesLab retweeted
🚀 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
SoftwareLanguagesLab retweeted
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!
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…
SoftwareLanguagesLab retweeted
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…
SoftwareLanguagesLab retweeted
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/
SoftwareLanguagesLab retweeted
Lecturers of the 3rd Summer School on Security Testing and Verification (ST&V 2024), organised Sep 9-10-11 by @softlab_brussel and @DistriNet at the @VUBrussel campus in Belgium, have confirmed. Early birds should register by July 21st! cybersecurity-research.be/su…
SoftwareLanguagesLab retweeted
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/
SoftwareLanguagesLab retweeted
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/
ALT Poster with the next journal submission deadlines (June 1st and October 1st 2024)
SoftwareLanguagesLab retweeted
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.
ALT Call for papers for the <Programming> journal. Submission deadline for issue 2 of volume 9 is June 1, 2024. Submission deadline for issue 3 of volume 9 is October 1, 2024
Congratulations to our new @VUBrussel PhD in Computer Science, Dr. Ward Muylaert @wardmuylaert, who defended the thesis "Data Flow and Control Flow Analysis of Problematic Commits" on Monday! Action shots with promotor @CoenDeRoover included.
SoftwareLanguagesLab retweeted
An additional shot of @mvdcamme presenting "State Merging for Concolic Testing of Event-Driven Applications" at the @kleesymex workshop co-located with @ICSEconf in Lisbon. More details in the final chapter of his @softlab_brussel PhD dissertation: soft.vub.ac.be/Publications/…
SoftwareLanguagesLab retweeted
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/
Congratulations to our new @VUBrussel PhD in CS, Dr. Velázquez-Rodríguez @cvelazquezr, who defended the thesis "Extracting Library Features from Incomplete Code on Stack Overflow" on Friday! Action shots with promotor @CoenDeRoover included. Dissertation: shorturl.at/bORS5
